In this document, we discuss the power of semantic analysis, a breakthrough technique that has been successfully applied to solve traditional software testing challenges in the embedded software industry. This approach radically departs from conventional testing techniques as it does not rely on random testing or human reviewers to analyze code robustness. This paper addresses what semantic analysis is, how the technique works and why it is a more effective solution to run-time error detection and debugging than conventional testing techniques.
Extension of static verification techniques by semantic analysis
24th Digital Avionics Systems Conference ; 2 ; 9 pp. Vol. 2
2005-01-01
251994 byte
Conference paper
Electronic Resource
English
Extension of Static Verification Techniques by Semantic Analysis
British Library Conference Proceedings | 2005
|Verification of Flag Usage Patterns by Static Analysis Techniques
SAE Technical Papers | 2014
|Verification of Flag Usage Patterns by Static Analysis Techniques
British Library Conference Proceedings | 2014
|Static Verification of Spacecraft Procedures
British Library Conference Proceedings | 2009
|Static Verification of Spacecraft Procedures
AIAA | 2009
|