Towards a Method for Combined Model-based Testing and Analysis
Brian Nielsen
2014
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.
DownloadPaper Citation
in Harvard Style
Nielsen B. (2014). Towards a Method for Combined Model-based Testing and Analysis . In Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MBAT, (MODELSWARD 2014) ISBN 978-989-758-007-9, pages 609-618. DOI: 10.5220/0004873106090618
in Bibtex Style
@conference{mbat14,
author={Brian Nielsen},
title={Towards a Method for Combined Model-based Testing and Analysis},
booktitle={Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MBAT, (MODELSWARD 2014)},
year={2014},
pages={609-618},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004873106090618},
isbn={978-989-758-007-9},
}
in EndNote Style
TY - CONF
JO - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MBAT, (MODELSWARD 2014)
TI - Towards a Method for Combined Model-based Testing and Analysis
SN - 978-989-758-007-9
AU - Nielsen B.
PY - 2014
SP - 609
EP - 618
DO - 10.5220/0004873106090618