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

From CERES
Jump to: navigation, search
Line 8: Line 8:
  
 
== Selected Publications ==
 
== Selected Publications ==
−
 
−
* A. Aerts, M.A. Reniers, and M.R. Mousavi. [[media:mousavi_ictac_2015.pdf|A Tool Prototype for Model-Based Testing of Cyber-Physical Systems]].  Proceedings of the 12th International Colloquium on Theoretical Aspects of Computing ([http://www.ictac2015.co/ ICTAC 2015]), Lecture Notes in Computer Science, Springer, 2015.
 
  
 
* N. Khakpour and M.R. Mousavi. [[media:mousavi_concur_2015.pdf|Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper)]]. Proceedings of the 26th International Conference on Concurrency Theory ([http://mafalda.fdi.ucm.es/concur2015/ CONCUR 2015]),. LIPIcs–Leibniz International Proceedings in Informatics, 2015.  
 
* N. Khakpour and M.R. Mousavi. [[media:mousavi_concur_2015.pdf|Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper)]]. Proceedings of the 26th International Conference on Concurrency Theory ([http://mafalda.fdi.ucm.es/concur2015/ CONCUR 2015]),. LIPIcs–Leibniz International Proceedings in Informatics, 2015.  
−
 
−
* M. Varshosaz, H. Beohar, and M.R. Mousavi. [[media:mousavi_icfem_2015.pdf|Delta-Oriented FSM-Based Testing]]. Proceedings of the 17th International Conference on Formal Engineering Methods ([http://icfem2015.lri.fr/ ICFEM 2015]), Lecture Notes in Computer Science, Springer, 2015. 
 
  
 
* H. Beohar, M. Varshosaz, and M.R. Mousavi. [[media:mousavi_scp_2015.pdf|Basic Behavioral Models for Software Product Lines: Expressiveness and Testing Pre-Orders]]. Science of Computer Programming, Elsevier, 2015. (*)   
 
* H. Beohar, M. Varshosaz, and M.R. Mousavi. [[media:mousavi_scp_2015.pdf|Basic Behavioral Models for Software Product Lines: Expressiveness and Testing Pre-Orders]]. Science of Computer Programming, Elsevier, 2015. (*)   
−
 
−
* T. Arts and M.R. Mousavi. [[media:mousavi_wasa_2015.pdf|Automatic Consequence Analysis of Automotive Standards (AUTO-CAAS) [Position Paper] ]]. First International Workshop on Automotive Software Architectures ([http://www.win.tue.nl/wasa2015/ WASA 2015]), ACM Press, 2015.
 
  
 
* N. Noroozi, R. Khosravi, M.R. Mousavi, and T.A.C. Willemse. [[media:mousavi_sosym_2013.pdf|Synchrony and Asynchrony in Conformance Testing]]. Software and Systems Modeling (SoSym) 14(1): 149-172, Springer, 2015.  
 
* N. Noroozi, R. Khosravi, M.R. Mousavi, and T.A.C. Willemse. [[media:mousavi_sosym_2013.pdf|Synchrony and Asynchrony in Conformance Testing]]. Software and Systems Modeling (SoSym) 14(1): 149-172, Springer, 2015.  
−
 
−
* M. Mohaqeqi, M.R.  Mousavi and W. Taha. [[media:mousavi_avocs_2014.pdf|Conformance Testing of Cyber-Physical Systems: A Comparative Study]], Proceedings of the 14th International Workshop on Automated Verification of Critical Systems  ([http://fmt.cs.utwente.nl/conferences/avocs2014/ AVOCS 2014]), volume 70 of Electronic Communications of the EASST, 2014.
 
  
 
* H. Beohar and M.R. Mousavi. [[media:mousavi_mbt_2014.pdf|Spinal Test Suites for Software Product Lines]]. Proceedings of the 9th Workshop on Model-Based Testing  ([http://www.mbt-workshop.org/ MBT 2014]), volume 141 of Electronic Proceedings in Theoretical Computer Science, pages 44--55, 2014.
 
* H. Beohar and M.R. Mousavi. [[media:mousavi_mbt_2014.pdf|Spinal Test Suites for Software Product Lines]]. Proceedings of the 9th Workshop on Model-Based Testing  ([http://www.mbt-workshop.org/ MBT 2014]), volume 141 of Electronic Proceedings in Theoretical Computer Science, pages 44--55, 2014.
Line 30: Line 22:
  
 
* S. Keshishzadeh, A. Mooij, and M.R. Mousavi. [[media:mousavi_sefm_2013.pdf|Early Fault Detection in DSLs using SMT Solving and Automated Debugging]].  Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM 2013),  Lecture Notes in Computer Science, Springer, 2013.  
 
* S. Keshishzadeh, A. Mooij, and M.R. Mousavi. [[media:mousavi_sefm_2013.pdf|Early Fault Detection in DSLs using SMT Solving and Automated Debugging]].  Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM 2013),  Lecture Notes in Computer Science, Springer, 2013.  
−
 
−
* N. Noroozi, M.R. Mousavi, and T.A.C. Willemse. [[media:mousavi_mbt_2013.pdf|Decomposability in Input Output Conformance Testing]]. Proceedings of the 8th Workshop on Model-Based Testing (MBT 2013), Electronic Proceedings in Theoretical Computer Science, 2013.
 
  
 
* V. Vishal, M. Kovacioglu, R. Kherazi, and M.R. Mousavi. [[media:mousavi_motip_2012.pdf|Integrating Model-Based and Constraint-Based Testing Using SpecExplorer]]. Proceedings of the 4th Workshop on Model-based Testing in Practice (MoTiP 2012). IEEE CS, 2012.
 
* V. Vishal, M. Kovacioglu, R. Kherazi, and M.R. Mousavi. [[media:mousavi_motip_2012.pdf|Integrating Model-Based and Constraint-Based Testing Using SpecExplorer]]. Proceedings of the 4th Workshop on Model-based Testing in Practice (MoTiP 2012). IEEE CS, 2012.

Revision as of 13:52, 9 March 2016

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


Past Members and Associates

  • Harsh Beohar, Postdoctoral Researcher, Halmstad University (MBT4SPL Project) (Currently: Postdoctoral Researcher at Universität Duisburg-Essen)
  • Neda Noroozi, Ph.D. Graduate, Eindhoven University of Technology Ph.D. thesis (Currently: Test Specialist at NSpyre)
  • Muhammad Atif, Ph.D. Graduate, Eindhoven University of Technology (Cuurently: Assistant Professor at Lahore University)
  • Matthias Raffelsieper, Ph.D. Graduate, Eindhoven University of Technology (Currently: Technical Solution Engineer at Google)


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)
  • Jeroen Keiren, Assistant Professor, Open Universiteit Nederland, The Netherlands (August-September 2014 and June 2015)
  • Arend Aerts, Masters Intern, Department of Mechanical Engineering, Control Systems Technology Group, Eindhoven University of Technology, The Netherlands (February - April 2015)
  • Bartjan Volmers, Masters Intern, Department of Mechanical Engineering, Control Systems Technology Group, Eindhoven University of Technology, The Netherlands (October - December 2014)
  • Morteza Mohaqeqi, Ph.D. Student, School of Electrical and Computer Engineering, Univ. of Tehran, Iran (May - June 2014)
  • Jan Friso Groote, Professor of Embedded Systems, Eindhoven University of Technology, The Netherlands (August 2013)



Contact

Mohammad Mousavi, Professor of Computer Systems Engineering

Retrieved from "https://wiki.hh.se/ceres/index.php?title=Research_in_Model-Based_Testing_and_Verification&oldid=5781"