A Model-based Integration and Testing Method to Reduce System Development Effort

Electronic Notes in Theoretical Computer Science

Volumn 164, Issue 4 SPEC. ISS., 2006, Pages 13-28

  Braspenning, N C W M ^a   van de Mortel Fronczak, J M ^a   Rooda, J E ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

industrial case study; Model based integration; model based testing

Indexed keywords

COMPUTER SCIENCE; COST ACCOUNTING; INTEGRATION; MATHEMATICAL MODELS; PROBLEM SOLVING;

INDUSTRIAL CASE STUDY; MODEL BASED INTEGRATION; MODEL BASED TESTING; TESTING METHOD;

SYSTEMS ENGINEERING;

EID: 33750082376     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.09.003     Document Type: Article

References (25)

1. ASML. Website. http://www.asml.com
2. Baeten J.C.M., and Weijland W.P. Process Algebra. Cambridge Tracts in Theoretical Computer Science 18 (1990), Cambridge University Press
3. Boehm B.W., and Basili V.R. Software defect reduction top 10 list. IEEE Computer 34 (2001) 135-137
4. Bohnenkamp H., and Belinfante A. Timed testing with TorX. FM 2005: Formal Methods: International Symposium of Formal Methods Europe. Newcastle, UK. Lecture Notes in Computer Science 3582 (2005)
5. Bortnik E.M., Trčka N., Wijs A.J., Luttik S.P., van de Mortel-Fronczak J.M., Baeten J.C.M., Fokkink W.J., and Rooda J.E. Analyzing a χ model of a turntable system using SPIN, CADP and Uppaal. Journal of Logic and Algebraic Programming 65 (2005) 51-104
6. Bratthall L.G., Runeson P., Ädelsward K., and Eriksson W. A survey of lead-time challenges in the development and evolution of distributed real-time systems. Information and Software Technology 42 (2000) 947-958
7. Brinksma E., and Tretmans J. Testing transition systems: An annotated bibliography. MOVEP 2000 - Modelling and Verification of Parallel Processes. Lecture Notes in Computer Science 2067 (2001) 187-195
8. Broy, M. and O. Slotosch, From requirements to validated embedded systems, in: Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA (2001), pp. 51-65
9. Budinsky F.J., Finnie M.A., Vlissides J.M., and Yu P.S. Automatic code generation from design patterns. IBM Systems Journal 35 (1996) 151-171
10. de Vries R.G., and Tretmans J. On-the-fly conformance testing using Spin. Fourth Workshop on Automata Theoretic Verification with the Spin Model Checker. ENST 98 S 002 (1998) 115-128
11. de Vries R.G., and Tretmans J. Towards formal test purposes. Proceedings of the Workshop on Formal Approaches to Testing of Software. FATES '01, Aalborg, Denmark. BRICS Notes Series NS-01-4 (2001), University of Aarhus 61-76
12. Frantzen L., Tretmans J., and Willemse T.A.C. Test generation based on symbolic specifications. Proceedings of the Workshop on Formal Approaches to Software Testing. (FATES 2004), Linz, Austria. Lecture Notes in Computer Science 3395 (2004) 1-15
13. Gomaa H. Designing Concurrent, Distributed, and Real-Time Applications with UML. 1st edition (2000), Addison-Wesley Professional
14. Hartman, A., Model-based test generation tools, AGEDIS report, AGEDIS project (2002)
15. Holzmann G.J. The model checker SPIN. Software Engineering Journal 23 (1997) 279-295
16. Kleppe A., Bast W., and Warmer J. MDA Explained: The Model Driven Architecture: Practice and Promise. 1st edition (2003), Addison-Wesley Professional
17. Liu X., Liu J., Eker J., and Lee E.A. Heterogeneous modeling and design of control systems. Software-Enabled Control: Information Technology for Dynamical Systems (2003), Wiley-IEEE Press 105-122
18. Ogren I. On principles for model-based systems engineering. Systems Engineering 3 (2000) 38-49
19. Rowson, J.A., Hardware/software co-simulation, in: DAC '94: Proceedings of the 31st annual conference on Design automation (1994), pp. 439-440
20. TANGRAM Project. Website. http://www.esi.nl/tangram
21. Tretmans, J. and E. Brinksma, TorX: Automated model based testing, in: First European Conference on Model-Driven Software Engineering, AGEDIS project, 2003
22. Trčka, N., Verifying χ models of industrial systems with Spin, Computer Science Reports 05-12, Eindhoven University of Technology (2005)
23. van Beek, D.A., K.L. Man, M.A. Reniers, J.E. Rooda and R.R.H. Schiffelers, Syntax and semantics of timed Chi, Computer Science Reports 05-09, Eindhoven University of Technology (2005)
24. van Beek D.A., Man K.L., Reniers M.A., Rooda J.E., and Schiffelers R.R.H. Syntax and consistent equation semantics of hybrid Chi. Journal of Logic and Algebraic Programming 68 (2006) 129-210
25. van der Bijl M., Rensink A., and Tretmans J. Compositional testing with ioco. Formal Approaches to Software Testing: 3rd Int. Workshop. FATES 2003, Montreal, Quebec, Canada. Lecture Notes in Computer Science 2931 (2003) 86-100