Generating test inputs for embedded control systems

Embedded control systems are growing rapidly, and there is a need for short design cycles. As a result, there is increasing interest in effective methods for automatic test generation. The authors present a new method for leveraging existing simulation models, involving genetic algorithms, for embedded control system designs to generate test inputs automatically, thereby eliminating the time-consuming task of creating them manually.

[1]  Thomas Bäck,et al.  Extended Selection Mechanisms in Genetic Algorithms , 1991, ICGA.

[2]  Melvin A. Breuer,et al.  Digital systems testing and testable design , 1990 .

[3]  Pravin Varaiya,et al.  What's decidable about hybrid automata? , 1995, STOC '95.

[4]  Paul Ammann,et al.  Using model checking to generate tests from specifications , 1998, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).

[5]  Seongwon Kim,et al.  Hierarchical ATPG for Analog Circuits and Systems , 2001, IEEE Des. Test Comput..

[6]  Seongwon Kim,et al.  Efficient test set design for analog and mixed-signal circuits and systems , 1999, Proceedings Eighth Asian Test Symposium (ATS'99).

[7]  Angelo Gargantini,et al.  Using model checking to generate tests from requirements specifications , 1999, ESEC/FSE-7.

[8]  Paul Ammann,et al.  Abstracting formal specifications to generate software tests via model checking , 1999, Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033).

[9]  John J. Grefenstette,et al.  Learning to break things: Adaptive testing of intelligent controllers , 1997 .

[10]  Thomas A. Henzinger,et al.  Automatic symbolic verification of embedded systems , 1993, 1993 Proceedings Real-Time Systems Symposium.

[11]  Gordon W. Roberts,et al.  An Introduction to Mixed-Signal IC Test and Measurement , 2000 .

[12]  Lalit M. Patnaik,et al.  A Simulation-Based Test Generation Scheme Using Genetic Algorithms , 1993, The Sixth International Conference on VLSI Design.

[13]  Kwang-Ting Cheng,et al.  Characterization of a pseudo-random testing technique for analog and mixed-signal built-in-self-test , 2000, Proceedings 18th IEEE VLSI Test Symposium.

[14]  Peter J. Fleming,et al.  GENETIC ALGORITHMS IN CONTROL SYSTEMS ENGINEERING , 2001 .

[15]  Michael L. Bushnell,et al.  Effect of Noise on Analog Circuit Testing , 1999, J. Electron. Test..

[16]  Bapiraju Vinnakota,et al.  Analog and mixed-signal test , 1998 .

[17]  Alden H. Wright,et al.  Genetic Algorithms for Real Parameter Optimization , 1990, FOGA.

[18]  Elizabeth M. Rudnick,et al.  A genetic algorithm framework for test generation , 1997, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[19]  Sharad Malik,et al.  Toward formalizing a validation methodology using simulation coverage , 1997, DAC.