Systematic testing of the continuous behavior of automotive systems

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2006, Pages 13-19

  Bringmann, Eckard ^a   Krämer, Andreas ^a  

^a DAIMLER AG   (Germany)

Author keywords

continuous behavior testing; reactive test; real time test; systematic test case design; test automation; test specification language

Indexed keywords

DESIGN TESTS; REAL-TIME TEST; SYSTEMATIC TEST; TEST AUTOMATION; TEST SPECIFICATIONS;

AUTOMATION; COMPUTER SOFTWARE; EMBEDDED SYSTEMS; LINGUISTICS; SPECIFICATION LANGUAGES; SPECIFICATIONS;

TESTING;

EID: 48349097301     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1138474.1138479     Document Type: Conference Paper

References (7)

1. Manfred Broy. Refinement of Time. In Transformation-Based Reactive System Development, Volume 1231 of LNCS, pages 44-63. Springer-Verlag, 1997.
2. Matthias Grochtmann and Klaus Grimm. Classification Trees for Partition Testing. Software Testing, Verification & Reliablity, 3(2):63-82, 1993.
3. Eckard Lehmann (Bringmann). Time Partition Testing - Systematischer Test des kontinuierlichen Verhaltens eingebetteter Systeme, Ph.D. Thesis, Technical University of Berlin, Nov, 2003.
4. th European International Conference on Software Testing, Analysis, and Review (EuroSTAR), Copenhagen, 2000.
5. Oded Maler, Zhar Manna, and Amir Pnueli. From Timed to Hybrid Systems. In RealTime: Theory in Practice. LNCS, pages 447-484. Springer Verlag, 1992.
6. Olaf Müller and Peter Scholz. Functional Specification of Real-Time and Hybrid Systems. In Proc. Hybrid and Real- Time Systems, LNCS. Springer Verlag, 1997.
7. Harmen Sthamer, Joachim Wegener, and Andre Baresel. Using Evolutionary Testing to improve Efficiency and Quality in Software Testing. In Proc. of the 2nd Asia-Pacific Conference on Software Testing Analysis & Review. Melbourne, 2002.