Test automation meets static analysis

INFORMATIK 2007 - Informatik Trifft Logistik, Beitrage der 37. Jahrestagung der Gesellschaft fur Informatik e.V. (GI)

Volumn 2, Issue , 2007, Pages 280-286

  Peleska, Jan ^a   Löding, Helge ^a   Kotas, Tatiana ^b  

^a UNIVERSITY OF BREMEN   (Germany)

^b VERIFIED SYSTEMS INTERNATIONAL GMBH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT INTERPRETATIONS; AUTOMATED TEST; DATA GENERATION; FALSE ALARMS; INTEGRATED APPROACH; INTERVAL ANALYSIS; POTENTIAL ERRORS; PROGRAM STATE; REACHABILITY; SOFTWARE INTEGRATION; TEST AUTOMATION; TEST DATA; TEST DATA GENERATION; UNIT UNDER TEST;

ABSTRACTING; AUTOMATION; ERRORS;

STATIC ANALYSIS;

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

References (9)

1. Bahareh Badban, Martin Fränzle, Jan Peleska, and Tino Teige. Test Automation for Hybrid Systems. In Proceedings of the Third International Workshop on SOFTWARE QUALITY ASSURANCE (SOQUA 2006), Portland Oregon, USA, November 2006.
2. P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, D. Monniaux, and X. Rival. Combination of Abstractions in the ASTRÉE Static Analyzer. In M. Okada and I. Satoh, editors, Eleventh Annual Asian Computing Science Conference (ASIAN'06), pages 1-24, Tokyo, Japan, LNCS, December 6-8 2006. Springer, Berlin, (to appear).
3. Luc Jaulin, Michel Kieffer, Olivier Didrit, and Éric Walter. Applied Interval Analysis. Springer-Verlag, London, 2001.
4. Peter Liggesmeyer. Software-Qualität. Spektrum Akademischer Verlag, Heidelberg, Berlin, 2002.
5. Helge Löding. Behandlung komplexer Datentypen in der automatischen Testdaten-generierung. Master's thesis, University of Bremen. To appear in May 2007.
6. C. V. Ramamoorthy, S.-B. F. Ho, and W. T. Chen. On the Automated Generation of Program Test Data. IEEE Transaction on Software Engineering, SE-2(4):293-300, 1976.
7. S. Ranise and C. Tinelli. Satisfiability Modulo Theories. TRENDS and CONTROVERSIES-IEEE Magazine on Intelligent Systems, 21(6):71-81, 2006.
8. SC-167. Software Considerations in Airborne Systems and Equipment Certification. RTCA, 1992.
9. Verified Systems International GmbH, Bremen. RT-Tester 6.2 - User Manual, 2007.