Systematic Unit-Testing of Ada Programs

The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a single Ada testing tool. Hence, a combination of powerful testing tools is necessary to provide systematic and complete test process automation for the examination of Ada programs. The classification-tree editor CTE supports the systematic design of functional test cases. The strengths of AdaTEST are the comprehensive support for test execution and coverage analysis. The combination of both tools leads to systematic and well-documented test procedures. It has already been successfully applied to several real world examples including aerospace applications.

• Type: Conference
• Year: 1997
• Where: ADAEUROPE
• Authors: Joachim Wegener, Ines Fey
• Keywords: ADAEUROPE 1997, Software Engineering, Systematic, Systematic Test, Testing Tools