Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
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.
Gerlich, R. (1995). DARTT User's Manual Version 2.0, 1995, Dornier GmbH, Friedrichshafen, Germany.
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.
Graham, D., Herzlich, P., and Morelli, C. (1995). CAST Report — Computer Aided Software Testing. 1995, Cambridge Market Intelligence, London, UK.
Grochtmann, M., and Grimm, K. (1993). Classification Trees for Partition Testing. Software Testing, Verification and Reliability, Vol. 3, No. 2, pp. 63–82.
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.
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.
LDRA (1993). LDRA Testbed Technical Description, 1993, Liverpool Data Research Associates Ltd., Liverpool, UK.
Ostrand, T., and Baker, M. (1988). The Category-Partition Method for Specifying and Generating Functional Tests. Communications of the ACM, 31 (6), 1988, pp. 676–686.
Richardson, D.J. (1994). TAOS: Testing with Analysis and Oracle Support. ACM SIGSOFT Software Engineering Notes: Proceedings of the 1994 International Symposium on Software Testing and Analysis. 1994, Seattle, Washington, USA.
Testwell Oy (1996). What's new in TBGEN 5.0?, 1996, Testwell Oy, Tampere, Finland.
Vector Engineering (1995). AdaCAST Product Overview, 1995, Vector Engineering, North Kingstown, USA.
Verilog (1993). LOGISCOPE Ada Analyzer 2.0 Reference Manual, 1993, Verilog SA, Toulouse, France.
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.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wegener, J., Fey, I. (1997). Systematic unit-testing of Ada programs. In: Hardy, K., Briggs, J. (eds) Reliable Software Technologies — Ada-Europe '97. Ada-Europe 1997. Lecture Notes in Computer Science, vol 1251. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63114-3_7
Download citation
DOI: https://doi.org/10.1007/3-540-63114-3_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63114-9
Online ISBN: 978-3-540-69150-1
eBook Packages: Springer Book Archive