CAPABILITY OF TODAY’S PROGRAM VERIFICATION: A PRACTICAL APPROACH FOR BETTER QUALITY AND RELIABILITY IN INDUSTRIAL APPLICATIONS

Research output: Chapter in Book/Report/Conference proceedingsConference contribution

Abstract

Software programs are an essential part of our everyday's life. Starting with large software programs on the PC, via complex control systems for the industrial area, to safety-critical software solutions for the automotive and aerospace industry; software is almost everywhere. Especially nowadays a high degree of reliability and security is essential. But due to the constantly growing size and complexity of such software programs the verification effort is increasing too. For this reasons, beneath dynamic testing and manual reviews, automatic verification methods became more and more popular. This paper deals with the expected benefits and the effectiveness of static code analysis and especially shows the limitations of this technique. Empirical tests have been developed and various code analysis tools employed. The paper discusses the obtained results. It becomes apparent that current code analysis tools can already find a variety of potential errors and weaknesses while critical cases are still undetected.

Original languageEnglish
Title of host publication24th European Modeling and Simulation Symposium, EMSS 2012
Pages115-120
Number of pages6
Publication statusPublished - 2012
EventThe 24th European Modeling & Simulation Symposium (EMSS 2012) - Vienna, Austria
Duration: 19 Sept 201221 Sept 2012
http://www.msc-les.org/conf/EMSS2012/

Publication series

Name24th European Modeling and Simulation Symposium, EMSS 2012

Conference

ConferenceThe 24th European Modeling & Simulation Symposium (EMSS 2012)
Country/TerritoryAustria
CityVienna
Period19.09.201221.09.2012
Internet address

Keywords

  • C++
  • Goanna Studio
  • PC-lint
  • Software
  • Static code analysis
  • Testing
  • Verification
  • Yasca

Fingerprint

Dive into the research topics of 'CAPABILITY OF TODAY’S PROGRAM VERIFICATION: A PRACTICAL APPROACH FOR BETTER QUALITY AND RELIABILITY IN INDUSTRIAL APPLICATIONS'. Together they form a unique fingerprint.

Cite this