ACM Computing Surveys (CSUR)
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation
PLILP '92 Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming
Abstract Interpretation Based Formal Methods and Future Challenges
Informatics - 10 Years Back. 10 Years Ahead.
Design and code inspections to reduce errors in program development
IBM Systems Journal
Hi-index | 0.00 |
Software in critical embedded systems used in aerospace, military, and transport applications, that is, systems where quality and reliability are imperative, continues to become more complex. For example, the Boeing 787 aircraft flight control system will have about 6.5 million lines of code, the avionics software for the F-22 Raptor consists of 1.7 million lines of code and avionics software for the F-35 Joint Strike Fighter is expected to have 5.7 million lines of code. The Ada programming language has been a key component in these applications and is a language of choice for critical systems where reliability matters. As these systems are becoming more sophisticated, software development organizations must meet stringent software quality objectives that are mandated by the organization itself or required by customers or by government regulations. For software teams to meet these objectives, and to ideally achieve software with minimal defects, the Ada programming language alone may not provide sufficient reliability margins. Coupling the Ada language with state of the art testing and verification solutions may improve the predictability of risk. This paper examines software verification and testing approaches that have been applied to Ada programs.