Systematic Unit-Testing of Ada Programs

13 years 9 months ago
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.
Joachim Wegener, Ines Fey
Added 07 Aug 2010
Updated 07 Aug 2010
Type Conference
Year 1997
Authors Joachim Wegener, Ines Fey
Comments (0)