Towards a Method for Combined Model-based Testing and Analysis

Brian Nielsen

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

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, 609-618, 2014 , Lisbon, Portugal

Author: Brian Nielsen

Affiliation: Aalborg University, Denmark

Keyword(s): Verification, Validation, Combined Formal Methods, Applied Formal Methods, Model-based Testing, Static Analysis, Abstract Interpretation, Model-checking, Simulation.

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.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 3.141.2.96

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

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 (MODELSWARD 2014) - MBAT; ISBN 978-989-758-007-9; ISSN 2184-4348, SciTePress, pages 609-618. DOI: 10.5220/0004873106090618

@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 (MODELSWARD 2014) - MBAT},
year={2014},
pages={609-618},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004873106090618},
isbn={978-989-758-007-9},
issn={2184-4348},
}

TY - CONF

JO - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2014) - MBAT
TI - Towards a Method for Combined Model-based Testing and Analysis
SN - 978-989-758-007-9
IS - 2184-4348
AU - Nielsen, B.
PY - 2014
SP - 609
EP - 618
DO - 10.5220/0004873106090618
PB - SciTePress