%0 Book Section
%@holdercode {isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S}
%4 sid.inpe.br/mtc-m21b/2017/08.17.18.21
%A Alarcon, Paulo Nolberto dos Santos,
%A Santiago Júnior, Valdivino Alexandre de,
%@secondarytype PRE LI
%B Computational Science and Its Applications – ICCSA 2017
%D 2017
%E Gervasi, Osvaldo,
%E Murgante, Beniamino,
%E Misra, Sanjay,
%E Borruso, Giuseppe,
%E Torre, Carmelo M.,
%E Rocha, Ana Maria A. C.,
%E Tanjar, David,
%E Apduhan, Bernady O.,
%E Stankova, Elena,
%E Cuzzocrea, Alfredo,
%@secondarykey INPE--/
%I Springer
%K Model-Based Testing, Test case/step minimization, Model Checking, Specification patterns.
%P 160-175
%S Lecture Notes in Computer Science , 10409
%T Test case/step minimization for visual programming language models and its application to space systems
%X Visual Programming Languages have been widely used in the context of Model-Based Development, and they find a particular appeal for the design of satellite subsystems, such as the Attitude and Orbit Control Subsystem (AOCS) which is an extremely complex part of a spacecraft. The software testing community has been trying to ensure high quality products with as few defects as possible. Given that exhaustive generation and execution of software test cases are unfeasible in practice, one of the initiatives is to reduce the sets of test cases required to test a Software/System Under Test, while still maintaining the efficiency (ability to find product defects, code coverage). This paper presents a new methodology to generate test cases for Visual Programming Language models, aiming at minimizing the set of test cases/steps but maintaining efficiency. The approach, called specification Patterns, modified Condition/Decision coverage, and formal Verification to support Testing (PCDVT), combines the Modified Decision/Condition Coverage (MC/DC) criterion, Model Checking, specification patterns, and a minimization approach by identifying irreplaceable tests in a single method, taking advantage of the benefits of all these efforts in a unified strategy. Results showed that two instances of PCDVT presented a lower cost (smaller number of test steps) and, basically, the same efficiency (model coverage) if compared with a specialist ad hoc approach. We used the AOCS model of a Brazilian satellite in order to make the comparison between the methods.
%@area COMP
%@electronicmailaddress paulonsalarcon@gmail.com
%@electronicmailaddress valdivino.santiago@inpe.br
%@documentstage not transferred
%@group CAP-COMP-SESPG-INPE-MCTIC-GOV-BR
%@group LABAC-COCTE-INPE-MCTIC-GOV-BR
%@dissemination BNDEPOSITOLEGAL
%@isbn 978-331962406-8
%@usergroup simone
%@resumeid
%@resumeid 8JMKD3MGP5W/3C9JJB5
%@nexthigherunit 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPCW/3F2PHGS
%@affiliation Instituto Nacional de Pesquisas Espaciais (INPE)
%@affiliation Instituto Nacional de Pesquisas Espaciais (INPE)
%@versiontype publisher
%2 sid.inpe.br/mtc-m21b/2017/08.17.18.21.12