1. Identity statement | |
Reference Type | Conference Paper (Conference Proceedings) |
Site | mtc-m21c.sid.inpe.br |
Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identifier | 8JMKD3MGP3W34R/3TFE4HS |
Repository | sid.inpe.br/mtc-m21c/2019/06.14.15.13 (restricted access) |
Last Update | 2019:06.14.15.13.55 (UTC) administrator |
Metadata Repository | sid.inpe.br/mtc-m21c/2019/06.14.15.13.55 |
Metadata Last Update | 2020:01.06.11.42.14 (UTC) administrator |
Secondary Key | INPE--PRE/ |
ISBN | 978-172811756-0 |
Citation Key | MarianoSouzEndoVija:2019:AnGrAl |
Title | Analyzing graph-based algorithms employed to generate test cases from finite state machines |
Year | 2019 |
Access Date | 2024, May 08 |
Secondary Type | PRE CI |
Number of Files | 1 |
Size | 1193 KiB |
|
2. Context | |
Author | 1 Mariano, Matheus Monteiro 2 Souza, Érica F. 3 Endo, André T. 4 Vijaykumar, Nandamudi Lankalapalli |
Resume Identifier | 1 2 3 4 8JMKD3MGP5W/3C9JHTU |
Group | 1 CAP-COMP-SESPG-INPE-MCTIC-GOV-BR 2 3 4 LABAC-COCTE-INPE-MCTIC-GOV-BR |
Affiliation | 1 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 Address | 1 matheus.mariano@inpe.br 2 ericasouza@utfpr.edu.br 3 andreendo@utfpr.edu.br 4 vijay.nl@inpe.br |
Conference Name | IEEE Latin American Test Symposium, 20 (LATS) |
Conference Location | Santiago, Chile |
Date | 11-13 mar. |
Publisher | IEEE |
Book Title | Proceedings |
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 Stage | completed |
Transferable | 1 |
Content Type | External Contribution |
Version Type | publisher |
Keywords | —Software Testing Model Based Testing Finite State Machine Graph-based algorithms |
Abstract | Context: 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. |
Area | COMP |
Arrangement 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Analyzing graph-based algorithms... |
Arrangement 2 | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Analyzing graph-based algorithms... |
doc Directory Content | access |
source Directory Content | there are no files |
agreement Directory Content | |
|
4. Conditions of access and use | |
Language | en |
User Group | self-uploading-INPE-MCTI-GOV-BR simone |
Visibility | shown |
Read Permission | deny from all and allow from 150.163 |
Update Permission | not transferred |
|
5. Allied materials | |
Linking | Trabalho não Vinculado à Tese/Dissertação |
Next Higher Units | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPCW/3F2PHGS |
Host Collection | urlib.net/www/2017/11.22.19.04 |
|
6. Notes | |
Empty Fields | archivingpolicy 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 | |
|