Difference between revisions of "Research in Model-Based Testing and Verification"
| Line 12: | Line 12: | ||
* H. Beohar and M.R. Mousavi. [[media:mousavi_svt_2014.pdf|Input-Output Conformance Testing Based on Featured Transition Systems]]. Proceedings of the 29th ACM Symposium on Applied Computing, Software Verification and Testing Track (SAC-SVT 2014), ACM Press, 2014. | * H. Beohar and M.R. Mousavi. [[media:mousavi_svt_2014.pdf|Input-Output Conformance Testing Based on Featured Transition Systems]]. Proceedings of the 29th ACM Symposium on Applied Computing, Software Verification and Testing Track (SAC-SVT 2014), ACM Press, 2014. | ||
| − | + | ||
| + | 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, M.R. Mousavi, and T.A.C. Willemse. [[media:mousavi_facs_2013.pdf|On the Complexity of Input Output Conformance Testing]]. Proceedings of the 10th International Symposium on Formal Aspects of Component Software (FACS 2013), Lecture Notes in Computer Science, Springer, 2013. | * N. Noroozi, M.R. Mousavi, and T.A.C. Willemse. [[media:mousavi_facs_2013.pdf|On the Complexity of Input Output Conformance Testing]]. Proceedings of the 10th International Symposium on Formal Aspects of Component Software (FACS 2013), Lecture Notes in Computer Science, Springer, 2013. | ||
Revision as of 22:33, 6 March 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
- H. Beohar and M.R. Mousavi. Spinal Test Suites for Software Product Lines. Proceedings of the 9th Workshop on Model-Based Testing (MBT 2014), volume 141 of Electronic Proceedings in Theoretical Computer Science, pages 44--55, 2014.
- H. Beohar and M.R. Mousavi. Input-Output Conformance Testing Based on Featured Transition Systems. Proceedings of the 29th ACM Symposium on Applied Computing, Software Verification and Testing Track (SAC-SVT 2014), ACM Press, 2014.
N. Noroozi, R. Khosravi, M.R. Mousavi, and T.A.C. Willemse. Synchrony and Asynchrony in Conformance Testing. Software and Systems Modeling (SoSym) 14(1): 149-172, , Springer, 2015.
- N. Noroozi, M.R. Mousavi, and T.A.C. Willemse. On the Complexity of Input Output Conformance Testing. Proceedings of the 10th International Symposium on Formal Aspects of Component Software (FACS 2013), Lecture Notes in Computer Science, Springer, 2013.
- S. Keshishzadeh, A. Mooij, and M.R. Mousavi. 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. 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. 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.
- M. Woehrle, R. Bakhshi, and M.R. Mousavi. Mechanized Extraction of Topology Anti-patterns in Wireless Networks. Proceedings of the 9th International Conference on Integrated Formal Methods (iFM 2012), volume 7321 of Lecture Notes in Computer Science, pages 158--173, Springer, 2012.
- H.R. Asaadi, R. Khosravi, M.R. Mousavi, and N. Noroozi. Towards Model-Based Testing of Electronic Funds Transfer Systems. Proceedings of the 4th International Conference on Fundamentals of Software Engineering (FSEN 2011), volume 7141 of Lecture Notes in Computer Science, Springer, 2012.
Group Members
- Mohammad Mousavi, Group Leader
- Harsh Beohar, Postdoctoral Researcher, MBT4SPL Project
- Xu Fei, Programmer and Assistant, FAR-EIS Project
- Mahsa Varshosaz, Ph.D. Student, MBT4SPL Project
- Vacancy_for_an_Assistant_Professor_/_Postdoctoral_Researcher_in_Computer_Science, AUTO-CAAS Project
- Vacancy_for_Ph.D._Student_MBT_2015, EFFEMBAC Project
Collaborators
- Prof.dr. Holger Hermanns, Saarland University, Germany
- Prof.dr. Jan Peleska, University of Bremen and Verified Systems International GMBH, Germany
- Dr. Jan Tretmans, ESI by TNO and Radboud University Nijmegen, The Netherlands
- Dr. Tim Willemse, Eindhoven University of Technology, The Netherlands
Contact
Mohammad Mousavi, Professor of Computer Systems Engineering
