Difference between revisions of "Research in Model-Based Testing and Verification"

From CERES
Jump to: navigation, search
Line 47: Line 47:
 
* [http://www.cs.ru.nl/~tretmans/ Dr. Jan Tretmans], ESI by TNO and Radboud University Nijmegen, The Netherlands
 
* [http://www.cs.ru.nl/~tretmans/ Dr. Jan Tretmans], ESI by TNO and Radboud University Nijmegen, The Netherlands
 
* [http://www.win.tue.nl/~timw/ Dr. Tim Willemse], Eindhoven University of Technology, The Netherlands
 
* [http://www.win.tue.nl/~timw/ Dr. Tim Willemse], Eindhoven University of Technology, The Netherlands
 +
 +
 +
== Visitors (Past and Present) ==
 +
 +
 +
* Sofia de Costa, Ph.D. Student, Instituto de Ciências Matemáticas e de Computação, Departamento de Ciências da Computação, Universidade de São Paulo, Brasil (June 2015)
 +
* Arend Aerts, Masters Intern, Department of Mechanical Engineering, Control Systems Technology Group, Eindhoven University of Technology, Netherlands (February - April 2015)
 +
* Bartjan Volmers, Masters Intern, Department of Mechanical Engineering, Control Systems Technology Group, Eindhoven University of Technology, Netherlands (October - December 2014)
 +
* Morteza Mohaqeqi, Ph.D. Student, School of Electrical and Computer Engineering, Univ. of Tehran, Iran (May - June 2014)
 +
 +
 +
  
 
== Contact ==
 
== Contact ==
  
 
[[Mohammad Mousavi]], Professor of Computer Systems Engineering
 
[[Mohammad Mousavi]], Professor of Computer Systems Engineering

Revision as of 14:45, 26 May 2015

Subject Area

Testing and debugging account for more than half of the software development costs and are becoming serious bottlenecks in the software development process. The problem is intensified in embedded systems due to the tight coupling between software and its hardware platform; hence, embedded software is often tested too late and too little and in an ad-hoc and unstructured manner. Concurrency faults are particularly difficult to find and are extremely difficult to reproduce. Due to their critical application areas, faults in embedded systems may turn into failures with very severe consequence.

A promising solution to testing issues lies in automated Model-Based Testing (MBT) processes, which provide a structured approach to testing from high-level behavioral models. Our vision is that MBT is instrumental in mechanizing and integrating the test process in the development cycle. Moreover, embedded software is particularly suitable for MBT, because operational (behavioral and reactive) aspects play a prominent role in its correctness. Our research agenda is to provide practical industrial strength MBT solutions, that can deal with product lines of embedded systems.

Selected Publications

Group Members


Collaborators


Visitors (Past and Present)

  • Sofia de Costa, Ph.D. Student, Instituto de Ciências Matemáticas e de Computação, Departamento de Ciências da Computação, Universidade de São Paulo, Brasil (June 2015)
  • Arend Aerts, Masters Intern, Department of Mechanical Engineering, Control Systems Technology Group, Eindhoven University of Technology, Netherlands (February - April 2015)
  • Bartjan Volmers, Masters Intern, Department of Mechanical Engineering, Control Systems Technology Group, Eindhoven University of Technology, Netherlands (October - December 2014)
  • Morteza Mohaqeqi, Ph.D. Student, School of Electrical and Computer Engineering, Univ. of Tehran, Iran (May - June 2014)



Contact

Mohammad Mousavi, Professor of Computer Systems Engineering