Reusing test-cases on different levels of abstraction in a model based development tool

Electronic Proceedings in Theoretical Computer Science, EPTCS

Volumn 80, Issue , 2012, Pages 13-27

  Blech, Jan Olaf ^a   Mou, Dongyue ^a   Ratiu, Daniel ^a  

^a FORTISS GMBH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; ADAPTIVE CONTROL SYSTEMS; CONCRETES; MODEL CHECKING;

ABSTRACTION LEVEL; COMPONENT BASED APPROACH; DEVELOPMENT PROCESS; ENGINEERING COMPONENTS; LEVELS OF ABSTRACTION; MODEL BASED DEVELOPMENT; MODEL DRIVEN DEVELOPMENT; SYSTEM COMPONENTS;

ADAPTIVE CRUISE CONTROL;

EID: 84868284575     PISSN: 20752180     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4204/EPTCS.80.2     Document Type: Conference Paper

References (11)

1. B. K. Aichernig. Test-design through abstraction-A systematic approach based on the refinement calculus. Journal of Universal Computer Science, /(8):710-735, August 2001, doi:10.3217/jucs-007-08-0710.
2. The AutoFocus 3 Development Team, http://af3. fortiss. org .
3. J. O. Blech, A. Hattendorf, J. Huang. An Invariant Preserving Transformation for PLC Models. IEEE International Workshop on Model-Based Engineering for Real-Time Embedded Systems Design, 2011, doi:10.1109/ISORCW.2011.46.
4. M. Broy, I. H. Krüger, and M. Meisinger. A formal model of services. ACM Transactions on Software Engineering and Methodology, ACM 2007 (TOSEM), doi:10.1145/1189748.1189753.
5. M. Broy, K. Stølen. Specification and development of interactive systems: FOCUS on streams, interfaces, and refinement. Springer-Verlag, 2001.
6. P. Cousot and R. Cousot. Abstract Interpretation Based Program Testing. In Proceedings of the SSGRR 2000 Computer & eBusiness International Conference, Compact disk paper 248 and electronic proceedings http://www.ssgrr.it/en/ssgrr2000/proceedings.htm, L'Aquila, Italy, July 31-August 6 2000. Scuola Superiore G. Reiss Romoli.
7. A. Harhurin, J. Hartmann and D. Ratiu Motivation and Formal Foundations of a Comprehensive Modeling Theory for Embedded Systems. Technical Report, TUM-I0924, Technische Universität München, 2009.
8. C. Loiseaux and S. Graf and J. Sifakis and A. Bouajjani and S. Bensalem. Property Preserving Abstractions for the Verification of Concurrent Systems. Formal Methods in System Design, 1995, doi:10.1007/BF01384313.
9. C. Pfaller. Anforderungsorientierter modellbasierter Softwaretest reaktiver Systeme (Requirements-Oriented Model-Based Software Test of Reactive Systems) Phd thesis, Technische Universität München, 2010.
10. W. Prenninger, A. Pretschner. Abstractions for Model-Based Testing. Proc. 2nd Intl. Workshop on Test and Analysis of Component Based Systems (TACoS'04), Barcelona, March 2004. Electronic Notes in Theoretical Computer Science 116:59-71, 2005, doi:10.1016/j.entcs.2004.02.086.
11. M. Utting, A. Pretschner, and B. Legeard. A Taxonomy of model-based testing. Working paper series. University of Waikato, Department of Computer Science. No. 04/2006. Hamilton, New Zealand: University of Waikato. 2006.