Close

1. Identity statement
Reference TypeJournal Article
Sitemtc-m21b.sid.inpe.br
Holder Codeisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identifier8JMKD3MGP3W34P/3P2FUML
Repositorysid.inpe.br/mtc-m21b/2017/05.31.19.15   (restricted access)
Last Update2017:05.31.19.15.52 (UTC) administrator
Metadata Repositorysid.inpe.br/mtc-m21b/2017/05.31.19.15.52
Metadata Last Update2018:06.04.02.27.30 (UTC) administrator
DOI10.1007/s11219-015-9300-8
ISSN0963-9314
Citation KeySouzaSantVija:2017:NeTeCr
TitleH-Switch Cover: a new test criterion to generate test case from finite state machines
Year2017
MonthJune
Access Date2024, June 15
Type of Workjournal article
Secondary TypePRE PI
Number of Files1
Size2361 KiB
2. Context
Author1 Souza, Érica Ferreira de
2 Santiago Júnior, Valdivino Alexandre de
3 Vijaykumar, Nandamudi Lankalapalli
Resume Identifier1
2 8JMKD3MGP5W/3C9JJB5
3 8JMKD3MGP5W/3C9JHTU
Group1
2 LABAC-COCTE-INPE-MCTIC-GOV-BR
3 LABAC-COCTE-INPE-MCTIC-GOV-BR
Affiliation1 Universidade Tecnológica Federal do Paraná (UTFPR)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 Instituto Nacional de Pesquisas Espaciais (INPE)
Author e-Mail Address1 ericasouza@utfpr.edu.br
2 valdivino.santiago@inpe.br
3 vijay.nl@inpe.br
JournalSoftware Quality Journal
Volume25
Number2
Pages373-405
Secondary MarkA2_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 Stagecompleted
Transferable1
Content TypeExternal Contribution
Version Typepublisher
KeywordsFSM test criteria
H-Switch Cover
Model-based testing
Software testing
AbstractTest 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.
AreaCOMP
Arrangementurlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > H-Switch Cover: a...
doc Directory Contentaccess
source Directory Contentthere are no files
agreement Directory Content
agreement.html 31/05/2017 16:15 1.0 KiB 
4. Conditions of access and use
Languageen
Target Filesouza_hswitch.pdf
User Groupsimone
Reader Groupadministrator
simone
Visibilityshown
Archiving Policydenypublisher denyfinaldraft12
Read Permissiondeny from all and allow from 150.163
Update Permissionnot transferred
5. Allied materials
Linking8JMKD3MGP7W/3FK67N8
Mirror Repositorysid.inpe.br/mtc-m21b/2013/09.26.14.25.22
Next Higher Units8JMKD3MGPCW/3ESGTTP
Citing Item Listsid.inpe.br/bibdigital/2013/09.22.23.14 3
sid.inpe.br/mtc-m21/2012/07.13.15.01.24 2
sid.inpe.br/mtc-m21/2012/07.13.14.56.50 2
DisseminationWEBSCI; PORTALCAPES.
Host Collectionsid.inpe.br/mtc-m21b/2013/09.26.14.25.20
6. Notes
Empty Fieldsalternatejournal 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 


Close