Towards a Method for Combined Model-based Testing and Analysis

Brian Nielsen

doi:10.5220/0004873106090618

Towards a Method for Combined Model-based Testing and Analysis

Department of Computer Science

Research output: Contribution to conference without publisher/journal › Paper without publisher/journal › Research › peer-review

704 Downloads (Pure)

Abstract

Efficient and effective verification and validation of complex embedded systems is challenging, and requires the use of various tools and techniques, such as model-based testing and analysis. The aim of this paper is to devise an overall \method{} for how analysis and testing may be used in combination to increase the quality of embedded systems, and reduce development cost. The method is centered on a common verification planning and iteratively exploiting the established results to strengthen the verification activities. We conclude that the proposed method is general enough to capture most interesting combinations and workflows, but also that formulation of more specific combination patterns will be useful to encourage future tool collaborations.

Original language	English
Publication date	9 Jan 2014
Number of pages	10
DOIs	https://doi.org/10.5220/0004873106090618
Publication status	Published - 9 Jan 2014
Event	Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Lissabon, Portugal Duration: 7 Jan 2014 → 9 Jan 2014 Conference number: 2

Conference

Conference	Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development
Number	2
Country/Territory	Portugal
City	Lissabon
Period	07/01/2014 → 09/01/2014

Access to Document

10.5220/0004873106090618

method_main-ppSubmitted manuscript, 0.98 MB

AUB Link

Search for the material in Aalborg University Library's search engine

MBAT: Model-based Analysis and Testing of Embedded Systems
Nielsen, B. (Project Participant), Larsen, K. G. (Project Participant), David, A. (Project Participant), Mikučionis, M. (Project Participant) & Skou, A. (Project Participant)
Artemis JU
01/11/2011 → 31/10/2014
Project: Research

Cite this

@conference{1d6668694f324d1bb1acaed60c91680e,

title = "Towards a Method for Combined Model-based Testing and Analysis",

abstract = "Efficient and effective verification and validation of complex embedded systems is challenging, and requires the use of various tools and techniques, such as model-based testing and analysis. The aim of this paper is to devise an overall \method{} for how analysis and testing may be used in combination to increase the quality of embedded systems, and reduce development cost. The method is centered on a common verification planning and iteratively exploiting the established results to strengthen the verification activities. We conclude that the proposed method is general enough to capture most interesting combinations and workflows, but also that formulation of more specific combination patterns will be useful to encourage future tool collaborations.",

keywords = "Verification, Validation, Combined Formal Methods, Applied Formal Methods, Model-based Testing, Static Analysis, Abstract Interpretation, Model-checking, Simulation.",

author = "Brian Nielsen",

year = "2014",

month = jan,

day = "9",

doi = "10.5220/0004873106090618",

language = "English",

note = " Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development ; Conference date: 07-01-2014 Through 09-01-2014",

}

TY - CONF

T1 - Towards a Method for Combined Model-based Testing and Analysis

AU - Nielsen, Brian

N1 - Conference code: 2

PY - 2014/1/9

Y1 - 2014/1/9

N2 - Efficient and effective verification and validation of complex embedded systems is challenging, and requires the use of various tools and techniques, such as model-based testing and analysis. The aim of this paper is to devise an overall \method{} for how analysis and testing may be used in combination to increase the quality of embedded systems, and reduce development cost. The method is centered on a common verification planning and iteratively exploiting the established results to strengthen the verification activities. We conclude that the proposed method is general enough to capture most interesting combinations and workflows, but also that formulation of more specific combination patterns will be useful to encourage future tool collaborations.

AB - Efficient and effective verification and validation of complex embedded systems is challenging, and requires the use of various tools and techniques, such as model-based testing and analysis. The aim of this paper is to devise an overall \method{} for how analysis and testing may be used in combination to increase the quality of embedded systems, and reduce development cost. The method is centered on a common verification planning and iteratively exploiting the established results to strengthen the verification activities. We conclude that the proposed method is general enough to capture most interesting combinations and workflows, but also that formulation of more specific combination patterns will be useful to encourage future tool collaborations.

KW - Verification, Validation, Combined Formal Methods, Applied Formal Methods, Model-based Testing, Static Analysis, Abstract Interpretation, Model-checking, Simulation.

U2 - 10.5220/0004873106090618

DO - 10.5220/0004873106090618

M3 - Paper without publisher/journal

T2 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development

Y2 - 7 January 2014 through 9 January 2014

ER -

Towards a Method for Combined Model-based Testing and Analysis

Abstract

Conference

Access to Document

AUB Link

Projects

MBAT: Model-based Analysis and Testing of Embedded Systems

Cite this