Análisis estático de código en el ciclo de desarrollo de software de seguridad crítica

Content Provider	Semantic Scholar
Author	Lluna, Eduardo
Copyright Year	2011
Abstract	The software is a key element of control systems, including safety-critical, where failure could cause irreparable damage to persons or the environment. Software does not get aged or broken so its quality will largely depend on the number of defects introduced in the coding phase. Therefore any technique to avoid defects in the coding phase will increase software quality at a lower cost. Static Analysis techniques perform this function locating defects on the code without running it. There are several techniques but all of them cannot always be applied due to cost and time reasons. This article presents a minimum selection of static analysis techniques required for a safety critical system according a norm and, since these techniques are more efficiently applied by automated tools, a tool selection process based on project requirements is presented.
Starting Page	26
Ending Page	38
Page Count	13
File Format	PDF HTM / HTML
Volume Number	7
Alternate Webpage(s)	http://www.redalyc.org/pdf/922/92222551004.pdf
Language	English
Access Restriction	Open
Content Type	Text
Resource Type	Article