@Article{VillaniPontCoraAmbr:2019:InMoCh,
author = "Villani, Em{\'{\i}}lia and Pontes, Rodrigo Pastl and Coracini,
Guilherme Kisselofl and Ambr{\'o}sio, Ana Maria",
affiliation = "{Instituto Tecnologico de Aeron{\'a}utica (ITA)} and {Fraunhofer
Institute for Production Machines and Design Technology (IPK)} and
{Instituto Tecnologico de Aeron{\'a}utica (ITA)} and {Instituto
Nacional de Pesquisas Espaciais (INPE)}",
title = "Integrating model checking and model based testing for industrial
software development",
journal = "Computers in Industry",
year = "2019",
volume = "104",
pages = "88--102",
month = "Jan.",
abstract = "With the purpose of making the use of model based techniques in
industrial software development more efficient, this work proposes
the combined application of two verification techniques: model
checking with UPPAAL and CoFI (Conformance and Fault Injection)
model based testing with ConData. This combination is supported by
ConTEA, a software tool for automatically connecting UPPAAL to
ConData, and, therefore, explore both techniques simultaneously.
We present the tool and discuss the use of ConTEA in two different
development processes. The first process investigates how CoFI can
contribute to identify gaps in the specification and implicit
assumptions made by engineers when applying model checking. The
second process focuses on how model checking can improve the
development and verification of the models that are used for model
based testing. The proposed processes were applied to three case
studies. Based on them, we compare the proposed processes to the
traditional CoFI and UPPAAL stand-alone processes. The results
indicate that the combined use of the two verification technique
contributes to the identification of a large range of diversified
errors and problems early in the development cycle.",
doi = "10.1016/j.compind.2018.08.003",
url = "http://dx.doi.org/10.1016/j.compind.2018.08.003",
issn = "0166-3615",
language = "en",
targetfile = "1-s2.0-S0166361518302173-main.pdf",
urlaccessdate = "29 mar. 2024"
}