1. Identity statement | |
Reference Type | Journal Article |
Site | mtc-m21b.sid.inpe.br |
Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identifier | 8JMKD3MGP3W34P/3P2FUML |
Repository | sid.inpe.br/mtc-m21b/2017/05.31.19.15 (restricted access) |
Last Update | 2017:05.31.19.15.52 (UTC) administrator |
Metadata Repository | sid.inpe.br/mtc-m21b/2017/05.31.19.15.52 |
Metadata Last Update | 2018:06.04.02.27.30 (UTC) administrator |
DOI | 10.1007/s11219-015-9300-8 |
ISSN | 0963-9314 |
Citation Key | SouzaSantVija:2017:NeTeCr |
Title | H-Switch Cover: a new test criterion to generate test case from finite state machines |
Year | 2017 |
Month | June |
Access Date | 2024, July 27 |
Type of Work | journal article |
Secondary Type | PRE PI |
Number of Files | 1 |
Size | 2361 KiB |
|
2. Context | |
Author | 1 Souza, Érica Ferreira de 2 Santiago Júnior, Valdivino Alexandre de 3 Vijaykumar, Nandamudi Lankalapalli |
Resume Identifier | 1 2 8JMKD3MGP5W/3C9JJB5 3 8JMKD3MGP5W/3C9JHTU |
Group | 1 2 LABAC-COCTE-INPE-MCTIC-GOV-BR 3 LABAC-COCTE-INPE-MCTIC-GOV-BR |
Affiliation | 1 Universidade Tecnológica Federal do Paraná (UTFPR) 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Instituto Nacional de Pesquisas Espaciais (INPE) |
Author e-Mail Address | 1 ericasouza@utfpr.edu.br 2 valdivino.santiago@inpe.br 3 vijay.nl@inpe.br |
Journal | Software Quality Journal |
Volume | 25 |
Number | 2 |
Pages | 373-405 |
Secondary Mark | A2_ADMINISTRAÇÃO,_CIÊNCIAS_CONTÁBEIS_E_TURISMO B1_INTERDISCIPLINAR B1_ENGENHARIAS_III B1_ENGENHARIAS_I B2_CIÊNCIA_DA_COMPUTAÇÃO |
History (UTC) | 2017-05-31 19:15:52 :: simone -> administrator :: 2017-05-31 19:15:52 :: administrator -> simone :: 2017 2017-06-02 15:15:22 :: simone -> administrator :: 2017 2018-06-04 02:27:30 :: 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 | FSM test criteria H-Switch Cover Model-based testing Software testing |
Abstract | Test cases generation based on Finite State Machines (FSMs) has been addressed for quite some time. Model-based testing has drawn attention from researchers and practitioners as one of the approaches to support software verification and validation. Several test criteria have been proposed in the literature to generate test cases based on formal methods, such as FSM. However, there is still a lot to be done on this aspect in order to clearly direct a test designer to choose a test criterion most suitable to generate test cases for a certain application domain. This work presents a new test criterion for model-based test case generation based on FSM, H-Switch Cover. H-Switch Cover relies on the traditional Switch Cover test criterion, but H-Switch Cover uses new heuristics to improve its performance, for example, adoption of rules to optimize graph balancing and traverse the graph for test cases generation. We conducted an investigation of cost and efficiency of this new test criterion by comparing it with unique input/output and distinguishing sequence. We used two embedded software products (space application software products) and mutation analysis for assessing efficiency. In general, for the case studies proposed in this paper in terms of cost (amount of events) and efficiency (mutation score), H-Switch Cover test criterion presented an average and a standard deviation better than the other two test criteria. |
Area | COMP |
Arrangement | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > H-Switch Cover: a... |
doc Directory Content | access |
source Directory Content | there are no files |
agreement Directory Content | |
|
4. Conditions of access and use | |
Language | en |
Target File | souza_hswitch.pdf |
User Group | simone |
Reader Group | administrator simone |
Visibility | shown |
Archiving Policy | denypublisher denyfinaldraft12 |
Read Permission | deny from all and allow from 150.163 |
Update Permission | not transferred |
|
5. Allied materials | |
Linking | 8JMKD3MGP7W/3FK67N8 |
Mirror Repository | sid.inpe.br/mtc-m21b/2013/09.26.14.25.22 |
Next Higher Units | 8JMKD3MGPCW/3ESGTTP |
Citing Item List | sid.inpe.br/mtc-m21/2012/07.13.14.56.50 4 sid.inpe.br/bibdigital/2013/09.22.23.14 4 sid.inpe.br/mtc-m21/2012/07.13.15.01.24 2 |
Dissemination | WEBSCI; PORTALCAPES. |
Host Collection | sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 |
|
6. Notes | |
Empty Fields | alternatejournal archivist callnumber copyholder copyright creatorhistory descriptionlevel e-mailaddress format isbn label lineage mark nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder schedulinginformation secondarydate secondarykey session shorttitle sponsor subject tertiarytype url |
|
7. Description control | |
e-Mail (login) | simone |
update | |
|