Optimisation-based black-box testing of assertions in Simulink models

  title={Optimisation-based black-box testing of assertions in Simulink models},
  author={Jerker Bj{\"o}rkqvist},
Complicated control systems are used in many safety critical applications, such as in cars and airplanes. Due to the nature of these systems veri cation can be very di cult to do analytically or algorithmically. The only feasible analysis and veri cation method is often simulation. The generation of good test cases that can expose aws in models of the system is, therefore, of great importance. In this paper we investigate the use of optimisation methods for nding such test cases automatically… CONTINUE READING
2 Citations
12 References
Similar Papers


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 12 references

Automatic Software Testing by Genetic Algorithms

  • T. Mantere
  • University of Vaasa, PhD thesis,
  • 2003
1 Excerpt

Modeling and Verifying Hybrid Dynamic Systems Using Checkmate

  • B. I. Silva, K. Richeson, B Krogh, A. Chutinan
  • editors, proceedings of the 4th international…
  • 2000
2 Excerpts

Applying genetic algorithms to software testing

  • S. Xanthakis, C. Ellis, C. Skourlas, A. LeCall, S. Katsikas
  • In proceedings of the 5th International…
  • 1992
1 Excerpt

Similar Papers

Loading similar papers…