Paper Info
Title
A Model-Based Testing Process for Enhancing Structural Coverage in Functional Testing.
Abstract
Developing complex safety-critical systems usually involves developing models as abstractions in the upstream phases of design. It is still today often challenging to convince the industry that performing functional testing on models of systems may help reducing the cost of system testing. This article presents a new model-based testing process. Part of the "CONNEXION" French I&C methodology project, it combines a vast number of verification tools. In this article, we focus on the integration of a specification-based test generation tool, a model-checker and an environment for model test execution to enhance structural coverage rate. To this end, we define a novel process describing how to extend the functional test bed to enhance structural coverage by generating new test cases reaching so far uncovered branches using model-checking.
Year
DOI
Venue
2016
10.1007/978-3-319-29643-2_13
COMPLEX SYSTEMS DESIGN & MANAGEMENT ASIA: SMART NATIONS - SUSTAINING AND DESIGNING, CSD&M ASIA 2016
DocType
Volume
ISSN
Conference
426
2194-5357
Citations 
PageRank 
References 
1
0.36
0
Authors
3
Name
Order
Citations
PageRank
Yanjun Sun110.36
Gérard Memmi215818.54
Sylvie Vignes3146.61