Quantitative testing

Proceedings of the 8th ACM International Conference on Embedded Software, EMSOFT'08

Volumn , Issue , 2008, Pages 227-236

  Bohnenkamp, Henrik ^a   Stoelinga, Mariëlle ^b  

^a RWTH AACHEN UNIVERSITY   (Germany)

^b UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

Conformance relations; Robustness; Specification based testing; Test case generation; Test execution

Indexed keywords

EMBEDDED SOFTWARE; ROBUSTNESS (CONTROL SYSTEMS);

CONFORMANCE RELATIONS; CONSERVATIVE EXTENSIONS; IMPLEMENTATION RELATION; NUMERICAL INSTABILITY; REQUIREMENT SPECIFICATION; SPECIFICATION BASED TESTING; TEST CASE GENERATION; TEST EXECUTION;

SPECIFICATIONS;

EID: 70349235660     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1450058.1450089     Document Type: Conference Paper

References (17)

1. H. Bohnenkamp and A. Belinfante. Timed testing with TorX. In Proc. FME 2005, volume 3582 of LNCS, pages 173-188. Springer-Verlag, 2005.
2. H. Bohnenkamp and M. Stoelinga. Quantitative testing. Technical Report AIB-2008-02, RWTH Aachen, Jan. 2008.
3. L. B. Briones and H. Brinksma. A test generation framework for quiescent real-time systems. In Proc. FATES '04, volume 3395 of LNCS, pages 64-78. Springer-Verlag, 2005.
4. C. Daws and P. Kordy. Symbolic robustness analysis of timed automata. In FORMATS, volume 4202 of LNCS, pages 143-155. Springer-Verlag, 2006.
5. L. de Alfaro, M. Faella, and M. Stoelinga. Linear and branching metrics for quantatative transition systems. In Proc. ICALP'04, volume 3142 of LNCS, pages 97-109. Springer-Verlag, 2004.
6. J.-C. Fernandez, C. Jard, T. Jeron, and C. Viho. Using on-the-fly verification techniques for the generation of test suites. In Proc. CAV '96, volume 1102 of LNCS, pages 348-359. Springer-Verlag, 1996.
7. L. Frantzen, J. Tretmans, and T. Willemse. Test generation based on symbolic specifications. In FATES 2004, number 3395 in LNCS, pages 1-15. Springer-Verlag, 2005.
8. L. Frantzen, J. Tretmans, and T. Willemse. A symbolic framework for model-based testing. In FATES/RV 2006, number 4262 in LNCS, pages 40-54. Springer-Verlag, 2006.
9. V. Gupta, T. A. Henzinger, and R. Jagadeesan. Robust timed automata. In HART '97: Proceedings of the International Workshop on Hybrid and Real-Time Systems, pages 331-345. Springer-Verlag, 1997.
10. M. Krichen and S. Tripakis. Black-box conformance testing for real-time systems. In S. Graf and L. Mounier, editors, Proc. 11th Int. SPIN Workshop (SPIN 2004), volume 2989 of LNCS, pages 109-126. Springer-Verlag, 2004.
11. M. Krichen and S. Tripakis. An expressive and implementable formal framework for testing real-time systems. In Proc. TESTCOM'05, number 3502 in LNCS. Springer-Verlag, 2005.
12. K. G. Larsen, M. Mikucionis, and B. Nielsen. Online testing of real-time systems using uppaal. In E. Brinksma, W. Grieskamp, and J. Tretmans, editors, Proceedings of FATES'04, volume 3395 of LNCS, pages 79-94, 2005.
13. A. Puri. Dynamical properties of timed automata. Discrete Event Dynamic Systems, 10(1-2):87-113, 2000.
14. J. Tretmans. Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools, 17(3):103-120, 1996.
15. J. Tretmans and H. Brinksma. Torx: Automated model based testing. In A. Hartman and K. Dussa-Ziegler, editors, Proc. 1st European Conf. on Model-Driven Software Engineering, Nürnberg, 2003.
16. M. v. d. Bijl, A. Rensink, and J. Tretmans. Compositional testing with ioco. In Proc FATES '03, volume 2931 of LNCS, pages 89-103. Springer-Verlag, 2004.
17. M. v. Osch. Hybrid input-output conformance and test generation. In Proc. FATES/RV '06, volume 4262 of LNCS, pages 70-84. Springer-Verlag, 2006.