Skip to Main Content
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.
Digital Avionics Systems Conference, 2005. DASC 2005. The 24th (Volume:2 )
Date of Conference: 30 Oct.-3 Nov. 2005