Improving test automation by deterministic methods in statistical testing

European Space Agency, (Special Publication) ESA SP

Volumn , Issue 630, 2006, Pages

  Gerlich, Ralf ^a,b   Gerlich, Rainer ^c   Boll, Thomas ^c   Chevalley, Philippe ^d  

^a UNIVERSITY OF ULM   (Germany)

^b BSSE ^*  (Germany)

^c BSSE System and Software Engineering   (Germany)

^d EUROPEAN SPACE AGENCY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ORACLE PROBLEMS; PROTOTYPE SPECIFICATION; TARGET PROBLEMS; TEST AUTOMATION;

AEROSPACE APPLICATIONS; AUTOMATION; COMPUTER OPERATING SYSTEMS; COMPUTER SOFTWARE; INFORMATION RETRIEVAL; OPTIMIZATION; PROBABILITY; STATISTICAL METHODS;

STATISTICAL TESTS;

EID: 84888836619     PISSN: 03796566     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. [ACG] DARTT Test Results ACG-MSU, ACG-TR1-BSSE, Nov. 2005 Automatic Code Generation (ACG), ESTEC contract no.18670/05/NL/GLC
2. [AISVV1] DARTT Test Results AISVV-FAS, AISVV-TN2-BSSE, 2005, Automated ISVV, ESTEC contract no.18056//04/NL/JA
3. R.Gerlich, R.Gerlich, Th.Boll, K.Ludwig, Ph.Chevalley, N.Langmead: "Software Diversity by Automation", DASIA'05 "Data Systems in Aerospace", 30 May - 2 June, 2005, Edingburgh, Scotland
4. [AISVV2] Report on AutoPorting and DARTT Module Tests, AISVV-TN5-BSSE, 2005, Summary Report, AISVV-TN4-BSSE, 2005, Automated ISVV, ESTEC contract no.18056//04/NL/JA
5. [Bin02] E. Bin, R. Emek, G. Shurek, A. Ziv: "Using a constraint satisfaction formulation and solution techniques for random test program generation", IBM Systems Journal, Vol. 41, No. 3, 2002
6. [Chen] T.Y. Chen, R. Merkel, G. Eddy, P.K. Wong: Adaptive Random Testing Through Dynamic Partitioning, Fourth International Conference on Quality Software (QSIC'04), 2004, pp. 79-86
7. [Durrieu] G. Durrieu, O. Laurent, C. Seguin, and V. Wiels: Automatic Test Case Generation for Critical Embedded Systems, Proceedings of Data Systems In Aerospace (DASIA 2004), Nice, France, June 2004.
8. [DARTT] Dynamic Ada Random Test Tool, http://www.bsse.biz → Products → DARTT DARTT User's Manual, BSSE, 2005
9. [DCRTT] Dynamic C Random Test Tool, http://www.bsse.biz → Products → DCRTT DCRTT User's Manual, BSSE, 2006
10. [FSMana] see TCinjCT, the information is included in the same report
11. [Gotlieb00] A. Gotlieb, B. Botella, M. Rueher, A CLP Framework for Computing Structural Test Data, Lecture Notes in Computer Science, Volume 1861, Jan 2000, Page 399
12. [Gotlieb01] A. Gotlieb: InKa: An Automatic Software Test Data Generator, Proceedings of Data Systems In Aerospace (DASIA 2001), Nice, France, May 2001.
13. [TCinjCT] TCinjector, Statistical generation of telecommands, "Report on System Tests", Automated ISVV, ESTEC contract no.18670/05/NL/GLC, AISVV-TN3-BSSE, Nov. 2005 TCinjCT User's Manual, BSSE, 2005
14. [ISG] Instantaneous System and SoftwareGeneration (incl. test generation), http://www.bsse.biz → Products → ISG ISG User's Manual, BSSE, 2000
15. [Mayer] Mayer, J. 2005. Lattice-based adaptive random testing, Proceedings of the 20th IEEE/ACM international Conference on Automated Software Engineering (Long Beach, CA, USA, November 07-11, 2005). ASE '05. ACM Press, New York, NY, 333-336.
16. [SCADE] SCADE tool, ESTEREL Technologies, Toulouse, France
17. [SmartG] Ralf Gerlich, diploma thesis: Size-optimising Automatic Random Testcase Set Generation for Verification and Validation, University of Ulm, July 2005