1. Identity statement | |
Reference Type | Book Section |
Site | mtc-m21b.sid.inpe.br |
Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identifier | 8JMKD3MGP3W34P/3PF77ML |
Repository | sid.inpe.br/mtc-m21b/2017/08.17.18.21 (restricted access) |
Last Update | 2017:10.05.16.47.10 (UTC) administrator |
Metadata Repository | sid.inpe.br/mtc-m21b/2017/08.17.18.21.12 |
Metadata Last Update | 2018:06.04.02.27.44 (UTC) administrator |
Secondary Key | INPE--/ |
ISBN | 978-331962406-8 |
Citation Key | AlarconSant:2017:TeCaMi |
Title | Test case/step minimization for visual programming language models and its application to space systems |
Year | 2017 |
Access Date | 2024, Apr. 18 |
Secondary Type | PRE LI |
Number of Files | 1 |
Size | 1392 KiB |
|
2. Context | |
Author | 1 Alarcon, Paulo Nolberto dos Santos 2 Santiago Júnior, Valdivino Alexandre de |
Resume Identifier | 1 2 8JMKD3MGP5W/3C9JJB5 |
Group | 1 CAP-COMP-SESPG-INPE-MCTIC-GOV-BR 2 LABAC-COCTE-INPE-MCTIC-GOV-BR |
Affiliation | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) |
Author e-Mail Address | 1 paulonsalarcon@gmail.com 2 valdivino.santiago@inpe.br |
Editor | Gervasi, Osvaldo Murgante, Beniamino Misra, Sanjay Borruso, Giuseppe Torre, Carmelo M. Rocha, Ana Maria A. C. Tanjar, David Apduhan, Bernady O. Stankova, Elena Cuzzocrea, Alfredo |
Book Title | Computational Science and Its Applications – ICCSA 2017 |
Publisher | Springer |
Pages | 160-175 |
Series Title | Lecture Notes in Computer Science , 10409 |
History (UTC) | 2017-08-17 18:21:43 :: simone -> administrator :: 2017 2017-08-24 09:30:39 :: administrator -> simone :: 2017 2017-10-05 16:47:10 :: simone -> administrator :: 2017 2018-06-04 02:27:44 :: administrator -> simone :: 2017 |
|
3. Content and structure | |
Is the master or a copy? | is the master |
Content Stage | completed |
Transferable | 1 |
Content Type | External Contribution |
Version Type | publisher |
Keywords | Model-Based Testing Test case/step minimization Model Checking Specification patterns |
Abstract | 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 |
Arrangement 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Test case/step minimization... |
Arrangement 2 | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Test case/step minimization... |
doc Directory Content | access |
source Directory Content | there are no files |
agreement Directory Content | |
|
4. Conditions of access and use | |
Language | en |
User Group | simone |
Visibility | shown |
Read Permission | deny from all and allow from 150.163 |
Update Permission | not transferred |
|
5. Allied materials | |
Next Higher Units | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPCW/3F2PHGS |
Dissemination | BNDEPOSITOLEGAL |
Host Collection | sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 |
|
6. Notes | |
Empty Fields | archivingpolicy archivist callnumber city copyholder copyright creatorhistory descriptionlevel doi e-mailaddress edition format issn label lineage mark mirrorrepository nextedition notes numberofvolumes orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject targetfile tertiarymark tertiarytype translator url volume |
|
7. Description control | |
e-Mail (login) | simone |
update | |
|