%0 Journal Article
%@nexthigherunit 8JMKD3MGPCW/446B2HE
%@resumeid
%@resumeid
%@resumeid
%@resumeid 8JMKD3MGP5W/3C9JGH7
%X 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.
%8 Jan.
%9 journal article
%T Integrating model checking and model based testing for industrial software development
%@electronicmailaddress evillani@ita.br
%@electronicmailaddress rpastl@gmail.com
%@electronicmailaddress guilherme.coracini@gmail.com
%@electronicmailaddress aambrosio27@gmail.com
%@secondarytype PRE PI
%@archivingpolicy denypublisher denyfinaldraft24
%@usergroup simone
%@group
%@group
%@group
%@group DIDSS-CGETE-INPE-MCTIC-GOV-BR
%3 1-s2.0-S0166361518302173-main.pdf
%@secondarymark A2_INTERDISCIPLINAR A2_ENGENHARIAS_III A2_CIÊNCIA_DA_COMPUTAÇÃO
%@issn 0166-3615
%2 sid.inpe.br/mtc-m21c/2018/11.09.12.46.35
%@affiliation Instituto Tecnologico de Aeronáutica (ITA)
%@affiliation Fraunhofer Institute for Production Machines and Design Technology (IPK)
%@affiliation Instituto Tecnologico de Aeronáutica (ITA)
%@affiliation Instituto Nacional de Pesquisas Espaciais (INPE)
%B Computers in Industry
%@versiontype publisher
%P 88-102
%4 sid.inpe.br/mtc-m21c/2018/11.09.12.46
%@documentstage not transferred
%D 2019
%V 104
%@doi 10.1016/j.compind.2018.08.003
%A Villani, Emília,
%A Pontes, Rodrigo Pastl,
%A Coracini, Guilherme Kisselofl,
%A Ambrósio, Ana Maria,
%@dissemination WEBSCI
%@area ETES
%@holdercode {isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S}