Close

1. Identity statement
Reference TypeConference Paper (Conference Proceedings)
Sitemtc-m21c.sid.inpe.br
Holder Codeisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identifier8JMKD3MGP3W34R/3TFE4HS
Repositorysid.inpe.br/mtc-m21c/2019/06.14.15.13   (restricted access)
Last Update2019:06.14.15.13.55 (UTC) administrator
Metadata Repositorysid.inpe.br/mtc-m21c/2019/06.14.15.13.55
Metadata Last Update2020:01.06.11.42.14 (UTC) administrator
Secondary KeyINPE--PRE/
ISBN978-172811756-0
Citation KeyMarianoSouzEndoVija:2019:AnGrAl
TitleAnalyzing graph-based algorithms employed to generate test cases from finite state machines
Year2019
Access Date2024, June 15
Secondary TypePRE CI
Number of Files1
Size1193 KiB
2. Context
Author1 Mariano, Matheus Monteiro
2 Souza, Érica F.
3 Endo, André T.
4 Vijaykumar, Nandamudi Lankalapalli
Resume Identifier1
2
3
4 8JMKD3MGP5W/3C9JHTU
Group1 CAP-COMP-SESPG-INPE-MCTIC-GOV-BR
2
3
4 LABAC-COCTE-INPE-MCTIC-GOV-BR
Affiliation1 Instituto Nacional de Pesquisas Espaciais (INPE)
2 Universidade Tecnológica Federal do Paraná (UFTPR)
3 Universidade Tecnológica Federal do Paraná (UFTPR)
4 Instituto Nacional de Pesquisas Espaciais (INPE)
Author e-Mail Address1 matheus.mariano@inpe.br
2 ericasouza@utfpr.edu.br
3 andreendo@utfpr.edu.br
4 vijay.nl@inpe.br
Conference NameIEEE Latin American Test Symposium, 20 (LATS)
Conference LocationSantiago, Chile
Date11-13 mar.
PublisherIEEE
Book TitleProceedings
History (UTC)2019-06-14 15:15:33 :: simone -> administrator :: 2019
2020-01-06 11:42:14 :: administrator -> simone :: 2019
3. Content and structure
Is the master or a copy?is the master
Content Stagecompleted
Transferable1
Content TypeExternal Contribution
Version Typepublisher
Keywords—Software Testing
Model Based Testing
Finite State Machine
Graph-based algorithms
AbstractContext: Model-Based Testing (MBT) is a technique that employs formal models to represent reactive systems behavior and generates test cases. Such systems are mostly specified and verified using Finite State Machines (FSMs). There is a plethora of test generation algorithms in the literature. Most of them are graph-based once an FSM can be formally defined as a graph. Nevertheless, there is a lack of studies on analyzing cost and efficiency of FSM-based test generation algorithms. Objective: This study aims to compare graph-based algorithms employed to generate test cases from FSM models. In particular, we compare the Chinese Postman Problem (CPP) and H-Switch Cover (HSC) algorithms with the well-known depth-first and breadth-first searches algorithms in the context of covering all-transitions and all-transition-pairs criteria in an FSM. Method: First, a systematic literature mapping was conducted to summarize the algorithms that have been adopted in MBT, considering FSM. The main algorithms found were implemented and analyzed in different experiments. Results: CPP presented better results with the FSMs used in terms of number of test cases and test suite size. In addition, CPP also presented low distribution of average length compared to other algorithms.
AreaCOMP
Arrangement 1urlib.net > LABAC > Analyzing graph-based algorithms...
Arrangement 2urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Analyzing graph-based algorithms...
doc Directory Contentaccess
source Directory Contentthere are no files
agreement Directory Content
agreement.html 14/06/2019 12:13 1.0 KiB 
4. Conditions of access and use
Languageen
User Groupself-uploading-INPE-MCTI-GOV-BR
simone
Visibilityshown
Read Permissiondeny from all and allow from 150.163
Update Permissionnot transferred
5. Allied materials
LinkingTrabalho não Vinculado à Tese/Dissertação
Next Higher Units8JMKD3MGPCW/3ESGTTP
8JMKD3MGPCW/3F2PHGS
Host Collectionurlib.net/www/2017/11.22.19.04
6. Notes
Empty Fieldsarchivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format issn label lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisheraddress readergroup rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject targetfile tertiarytype type url volume
7. Description control
e-Mail (login)simone
update 


Close