Systematic unit-testing of Ada programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1251, Issue , 1997, Pages 64-75

  Wegener, Joachim ^a   Fey, Ines ^a  

^a DAIMLER AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ADA (PROGRAMMING LANGUAGE); AEROSPACE APPLICATIONS; VERIFICATION;

CLASSIFICATION TREES; COVERAGE ANALYSIS; FUNCTIONAL TEST; SYSTEMATIC DESIGNS; SYSTEMATIC TEST; TEST EXECUTION; TEST PROCEDURES; VERIFICATION-AND-VALIDATION;

SOFTWARE TESTING;

EID: 84957704360     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63114-3_7     Document Type: Conference Paper

References (15)

1. Dassault Electronique (1994). DEVISOR System Tutorial and User Manual, DEVISOR System Test Language Reference Manual Version 9.4, DEVISOR Software debug and test system, 1994, Dassault Electronique, Saint-Cloud, France.
2. Gerlich, R. (1995). DARTT User's Manual Version 2.0,1995, Domier GmbH, Friedrichshafen, Germany.
3. Gerlich, R., and Fercher, G. (1993). A Random Testing Environment for Ada Programs. Contribution to Forth EUROSPACE symposium on "Ada in Aerospace", 8-11 November 1993, Brussels, Belgium.
4. Graham, D., Herzlich, R, and Morelli, C. (1995). CAST Report - Computer Aided Software Testing. 1995, Cambridge Market Intelligence, London, UK.
5. Grochtmann, M., and Grimm, K. (1993). Classification Trees for Partition Testing. Software Testing, Verification and Reliability, Vol. 3, No. 2, pp. 63 - 82.
6. Grochtmann, M., and Wegener, J. (1995). Test Case Design Using Classification Trees and the Classification-Tree Editor CTE. Proceedings of Quality Week '95, 30 May - 2 June 1995, San Francisco, USA.
7. IPL (1995). AdaTEST Harness Version 3.0 User Guide & Reference Manual, AdaTEST Analysis Version 3.0 User Guide & Reference Manual, 1995, Information Processing Ltd., Bath, UK.
8. LDRA (1993). LDRA Testbed Technical Description, 1993, Liverpool Data Research Associates Ltd., Liverpool, UK.
9. Ostrand, T., and Balcer, M. (1988). The Category-Partition Method for Specifying and Generating Functional Tests. Communications of the ACM, 31 (6), 1988, pp. 676 - 686.
10. Richardson, D.J. (1994). TAOS: Testing with Analysis and Oracle Support. ACM SIG- SOFT Software Engineering Notes: Proceedings of the 1994 International Symposium on Software Testing and Analysis. 1994, Seattle, Washington, USA.
11. Testwell Oy (1996). What's new in TBGEN 5.0?, 1996, Testwell Oy, Tampere, Finland.
12. Vector Engineering (1995). AdaCAST Product Overview, 1995, Vector Engineering, North Kingstown, USA.
13. Verilog (1993). LOGISCOPE Ada Analyzer 2.0 Reference Manual, 1993, Verilog SA, Toulouse, France.
14. Wegener, J., and Pitschinetz, R. (1995). TESSY - An Overall Unit Testing Tool. Proceedings of Quality Week '95, 30 May - 2 June 1995, San Francisco, USA.
15. Ziegler, J., Grasso, J.M., and Burgermeister, L. (1989). An Ada Based Real-Time Closed-Loop Integration and Regression Test Tool. 1989, ITT Avionics, Washington, USA.