EFFEMBAC - Revision history

Ceres at 10:08, 19 June 2018

2018-06-19T10:08:12Z

Ceres at 05:26, 15 April 2015

2015-04-15T05:26:54Z

Ceres at 05:26, 15 April 2015

2015-04-15T05:26:37Z

Ceres at 15:11, 14 April 2015

2015-04-14T15:11:46Z

Ceres at 15:10, 14 April 2015

2015-04-14T15:10:24Z

Ceres at 20:36, 24 January 2015

2015-01-24T20:36:56Z

Ceres at 07:01, 17 January 2015

2015-01-17T07:01:55Z

Ceres: Created page with "== Effective Model-Based Testing of Concurrent Systems== '''a research project funded by the [http://www.vr.se/ Swedish Research Council]''' == Summary == Testing and debug..."

2015-01-17T06:57:15Z

Created page with "== Effective Model-Based Testing of Concurrent Systems== '''a research project funded by the [http://www.vr.se/ Swedish Research Council]''' == Summary == Testing and debug..."

New page

== Effective Model-Based Testing of Concurrent Systems==

'''a research project funded by the [http://www.vr.se/ Swedish Research Council]'''

== Summary ==

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 and the increasing level of concurrency and distribution; 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 consequences; see for several instances of failures in the healthcare domain.

A promising solution to testing issues lies in Model-Based Testing (MBT), which provides a structured approach to testing from high-level behavioral models. Our vision is that MBT is instrumental in mechanizing the test process. Embedded software is particularly suitable for MBT, because behavioral and reactive aspects, emphasized by MBT, play a prominent role in its correctness.
Three issues hamper the application of MBT: First, abstract models of interface behavior are rarely available. Second, even when models are available, selecting and generating concrete test-cases (including test-data selection), with sufficient coverage is far from trivial. Third, current MBT practices do not scale up to distributed and concurrent systems.
We overcome these major obstacles by exploiting structural information from the specification and the system under test in order to enrich the initial test models, to structure the test suite in a compositional manner and to effectively choose data and increase model and implementation coverage.
The general objectives of our research agenda are summarized below:

* Using domain-specific abstractions as starting points for test models,
* Augmenting behavioral models with structural information from the implementation domain in order to generate effective concrete test-cases,
* Devising effective mechanized test-data-selection criteria, by integrating model- and implementation-based information as well as redefining test-adequacy in this hybrid setting,
* Enabling compositional testing for concurrent systems in order to manage complexity,
* Devising concrete design for testability guidelines for a semantic model of specification languages and translating them to examples of domain-specific languages.

To our knowledge, no solution integrating the above-mentioned aspects has been provided hitherto; once provided, such a solution will remove the above-mentioned three obstacles in applying MBT. The proposed research is very timely, witnessed by the constant developments in the proposed areas and recent partial solutions.

← Older revision		Revision as of 10:08, 19 June 2018
Line 30:		Line 30:

	To our knowledge, no solution integrating the above-mentioned aspects has been provided hitherto; once provided, such a solution will remove the above-mentioned three obstacles in applying MBT. The proposed research is very timely, witnessed by the constant developments in the proposed areas and recent partial solutions.		To our knowledge, no solution integrating the above-mentioned aspects has been provided hitherto; once provided, such a solution will remove the above-mentioned three obstacles in applying MBT. The proposed research is very timely, witnessed by the constant developments in the proposed areas and recent partial solutions.
		+
		+
		+
		+	== Selected Publications ==
		+
		+	* Hugo Araujo, Gustavo Carvalho, Morteza Mohaqeqi, Mohammad Reza Mousavi, and Augusto Sampaio. [[media:mousavi_scp_2017.pdf\|Sound Conformance Testing for Cyber-Physical Systems: Theory and Implementation]]. Science of Computer Programming. Elsevier, 2017.
		+
		+	* V. Hafemann Fragal, A. Simao, A.T. Endo and M.R. Mousavi, [[media:mousavi_amost_2017.pdf\|Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines]], Proceedings of the 13th Workshop on Advances in Model Based Testing ([http://a-most17.zen-tools.com/ A-MOST 2017]), IEEE, 2017.
		+
		+	* H. Beohar and M.R. Mousavi. [[media:mousavi_jlamp2_2016.pdf\|Input-Output Conformance Testing for Software Product Lines]]. Journal of Logic and Algebraic Methods in Programming, 85(6): 1131-1153. Elsevier, 2016.
		+
		+	* A. Aerts, M. Reniers, and M.R. Mousavi. Model-Based Testing of Cyber-Physical Systems. Chapter 19 of H. Song, D.B. Rawat, S. Jeschke, and Ch. Brecher, Cyber-Physical Systems Foundations, Principles and Applications. pp. 287--304, Elsevier, 2016.
		+
		+	* 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.
		+
		+	* 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.
		+

← Older revision		Revision as of 05:26, 15 April 2015
Line 34:		Line 34:
	== Project Team ==		== Project Team ==

−
−	~~== Group Members ==~~

	* Sebastian Kunze, Ph.D. Student		* Sebastian Kunze, Ph.D. Student

← Older revision		Revision as of 05:26, 15 April 2015
Line 30:		Line 30:

	To our knowledge, no solution integrating the above-mentioned aspects has been provided hitherto; once provided, such a solution will remove the above-mentioned three obstacles in applying MBT. The proposed research is very timely, witnessed by the constant developments in the proposed areas and recent partial solutions.		To our knowledge, no solution integrating the above-mentioned aspects has been provided hitherto; once provided, such a solution will remove the above-mentioned three obstacles in applying MBT. The proposed research is very timely, witnessed by the constant developments in the proposed areas and recent partial solutions.
		+
		+
		+	== Project Team ==
		+
		+
		+	== Group Members ==
		+
		+	* Sebastian Kunze, Ph.D. Student
		+	* [[Mohammad Mousavi]], Principal Investigator
		+	* Masoumeh Taromi Rad, Postdoctoral Researcher

@@ Line 1: / Line 1: @@
 {{ResearchProjInfo
-|Title=Effective Model-Based Testing of Concurrent Systems (EFFEMBAC)
+|Title=EFFEMBAC
 |ContactInformation=false
-|Description=A research project funded by the [http://www.vr.se/ Swedish Research Council]
+|Description=Effective Model-Based Testing of Concurrent Systems (EFFEMBAC)
 |LogotypeFile=Vetenskapsradet-logotyp.png
 |ProjectStart=2015/01/01

@@ Line 3: / Line 3: @@
 |ContactInformation=false
 |Description=A research project funded by the [http://www.vr.se/ Swedish Research Council]
 |ProjectStart=2015/01/01
 |ProjectEnd=2020/01/01

← Older revision		Revision as of 20:36, 24 January 2015
Line 27:		Line 27:

	To our knowledge, no solution integrating the above-mentioned aspects has been provided hitherto; once provided, such a solution will remove the above-mentioned three obstacles in applying MBT. The proposed research is very timely, witnessed by the constant developments in the proposed areas and recent partial solutions.		To our knowledge, no solution integrating the above-mentioned aspects has been provided hitherto; once provided, such a solution will remove the above-mentioned three obstacles in applying MBT. The proposed research is very timely, witnessed by the constant developments in the proposed areas and recent partial solutions.
		+
		+
		+	== Contact ==
		+
		+	[[Mohammad Mousavi]], Professor of Computer Systems Engineering

← Older revision		Revision as of 07:01, 17 January 2015
Line 1:		Line 1:
		+	{{ResearchProjInfo
		+	\|Title=Effective Model-Based Testing of Concurrent Systems (EFFEMBAC)
		+	\|ContactInformation=false
		+	\|Description=A research project funded by the [http://www.vr.se/ Swedish Research Council]
		+	\|ProjectStart=2015/01/01
		+	\|ProjectEnd=2020/01/01
		+	\|Lctitle=No
		+	}}
	== Effective Model-Based Testing of Concurrent Systems==		== Effective Model-Based Testing of Concurrent Systems==