Towards a Method for Combined Model-based Testing and Analysis

Publikation: Konferencebidrag uden forlag/tidsskriftPaper uden forlag/tidsskriftForskningpeer review

7 Citationer (Scopus)
413 Downloads (Pure)

Resumé

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.
OriginalsprogEngelsk
Publikationsdato9 jan. 2014
Antal sider10
DOI
StatusUdgivet - 9 jan. 2014
Begivenhed Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Lissabon, Portugal
Varighed: 7 jan. 20149 jan. 2014
Konferencens nummer: 2

Konference

Konference Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development
Nummer2
LandPortugal
ByLissabon
Periode07/01/201409/01/2014

Emneord

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

Citer dette

Nielsen, B. (2014). Towards a Method for Combined Model-based Testing and Analysis. Afhandling præsenteret på Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lissabon, Portugal. https://doi.org/10.5220/0004873106090618
Nielsen, Brian. / Towards a Method for Combined Model-based Testing and Analysis. Afhandling præsenteret på Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lissabon, Portugal.10 s.
@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 = "1",
day = "9",
doi = "10.5220/0004873106090618",
language = "English",
note = "null ; Conference date: 07-01-2014 Through 09-01-2014",

}

Nielsen, B 2014, 'Towards a Method for Combined Model-based Testing and Analysis', Paper fremlagt ved Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lissabon, Portugal, 07/01/2014 - 09/01/2014. https://doi.org/10.5220/0004873106090618

Towards a Method for Combined Model-based Testing and Analysis. / Nielsen, Brian.

2014. Afhandling præsenteret på Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lissabon, Portugal.

Publikation: Konferencebidrag uden forlag/tidsskriftPaper uden forlag/tidsskriftForskningpeer review

TY - CONF

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

AU - Nielsen, Brian

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

ER -

Nielsen B. Towards a Method for Combined Model-based Testing and Analysis. 2014. Afhandling præsenteret på Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lissabon, Portugal. https://doi.org/10.5220/0004873106090618