LNCS Homepage
CD ContentsAuthor IndexSearch

Search Based Automatic Test-Data Generation at an Architectural Level

Yuan Zhan and John Clark

Department of Computer Science University of York York YO10 5DD, UK
yuan@cs.york.ac.uk
jac@cs.york.ac.uk

Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural description languages, there remains a lack of practical techniques in many application domains. We present a simulation-based testing framework that applies optimisation-based search to achieve high-performance testing for a type of architectural model. The search based automatic test-data generation technique forms the core of the framework. Matlab/Simulink is popularly used in embedded systems engineering as an architectural-level design notation. Our prototype framework is built on Matlab for testing Simulink models. The technology involved should apply to the other architectural notations provided that the notation supports execution or simulation.

LNCS 3103, p. 1413 ff.

Full article in PDF


lncs@springer.de
© Springer-Verlag Berlin Heidelberg 2004