• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Optimisation Based Black-Box Testing of Assertions in Simulink Models

Pontus Boström, Jerker Björkqvist, Optimisation Based Black-Box Testing of Assertions in Simulink Models. TUCS Technical Reports 711, Turku Centre for Computer Science, 2005.

Abstract:

Complicated control systems are used in many safety critical applications,
such as in cars and airplanes. Due to the nature of these systems
verification can be very difficult to do analytically or algorithmically.
The only feasible analysis and verification method is often simulation.
The generation of good test cases that can expose flaws in models
of the system is, therefore, of great importance. In this paper we
investigate the use of optimisation methods for finding such test
cases automatically. For this purpose we give a language to express
assertions in these systems, as well as a translation of the assertions
to a form suitable for optimisation. We also discuss different ways
to generate the input signals for the system to maximise performance
of the optimisation. To evaluate the approach, we provide a case study
demonstrating that optimisation methods are beneficial for investigating
properties of models of control systems.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tBoBj05a,
  title = {Optimisation Based Black-Box Testing of Assertions in Simulink Models},
  author = {Boström, Pontus and Björkqvist, Jerker},
  number = {711},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2005},
  keywords = {Control Systems, Simulation, Optimisation, Automated Validation, Testing},
  ISBN = {952-12-1607-7},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab), Embedded Systems Laboratory (ESLAB)

Edit publication