Corpus ID: 15070294

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

  title={Optimisation-based black-box testing of assertions in Simulink models},
  author={J. Bj{\"o}rkqvist},
  • J. Björkqvist
  • Published 2005
  • 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

    Figures and Tables from this paper.

    Hybrides Testverfahren für Simulink/TargetLink-Modelle
    • 1
    • Open Access


    Publications referenced by this paper.
    Modeling and Verifying Hybrid Dynamic Systems Using CheckMate
    • 86
    • Open Access
    Translating discrete-time simulink to lustre
    • 193
    • Open Access
    Hardware-in-the-loop environment for servo system controller design, tuning and testing
    • 45
    • Highly Influential
    Automated program flaw finding using simulated annealing
    • 233
    • Open Access
    Genetic Algorithms and Simulated Annealing
    • 1,382
    • Highly Influential
    • Open Access
    Neural and Adaptive Systems: Fundamentals Through Simulations
    • 603
    • Highly Influential
    • Open Access
    A mathematical introduction to logic
    • 2,145
    • Open Access
    Practical Methods of Optimization
    • 8,298
    • Open Access
    An Interior Trust Region Approach for Nonlinear Minimization Subject to Bounds
    • 2,761
    • Open Access
    Global Optimization by Multilevel Coordinate Search
    • 514
    • Open Access