Tipo da ReferênciaConference Proceedings
Chave SecundáriaINPE--PRE/
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoSantiagoJúniorSilv:2017:HiTrSp
Autor1 Santiago Júnior, Valdivino Alexandre de
2 Silva, Felipe Elias Costa da
Identificador de Curriculo1 8JMKD3MGP5W/3C9JJB5
Afiliação1 Instituto Nacional de Pesquisas Espaciais (INPE)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1 valdivino.santiago@inpe.br
2 felipe.eliascs@hotmail.com
TítuloFrom statecharts into model checking: A hierarchy-based translation and specification patterns properties to generate test cases
Nome do EventoBrazilian Symposium on Systematic and Automated Software Testing, 2. (SAST)
Título do LivroProceedings
Data18-19 Sept.
Localização do EventoFortaleza, CE
Palavras-ChaveSoftware Testing, Model Checking, Statecharts, Specification Patterns System, Quasiexperiment.
ResumoComplexity and notation of formal methods are still major impediments for a wider use of these mathematical-based ap- proaches in Software Engineering which include its adoption in software testing. While formal, Statecharts are relatively simple to use and many projects in different domains have been relying on them. In this paper, we present a hierarchy- based translation method, HiMoST, to generate software test cases via Model Checking. Starting with a behavio- ral modeling in Harel's Statecharts, we propose a method to translate from Statecharts into a general structure based on the NuSMV language, and we formalize CTL properties by means of specification patterns and a Combinatorial Interac- tion Testing algorithm. We also present a cost-effectiveness evaluation (quasiexperiment) to compare four different pat- terns/pattern scopes. Results indicate that the Precedence Chain (P precedes S, T) pattern with Global scope presents the best performance. © 2017 Association for Computing Machinery.
Tipo SecundárioPRE CN
Tamanho333 KiB
Número de Arquivos1
Arquivo Alvosantiago_from.pdf
Última Atualização2017: sid.inpe.br/mtc-m21b/2013/ administrator
Última Atualização dos Metadados2018: sid.inpe.br/mtc-m21b/2013/ administrator {D 2017}
Estágio do Documentoconcluido
É a matriz ou uma cópia?é a matriz
e-Mail (login)simone
Grupo de Usuáriossimone
Grupo de Leitoresadministrator
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/
Tipo do ConteudoExternal Contribution
Estágio do Documentonot transferred
Tipo de Versãopublisher
Permissão de Leituraallow from all
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 08/11/2017 12:47 1.0 KiB 
Histórico2017-11-08 14:48:19 :: simone -> administrator :: 2017
2017-11-14 09:10:11 :: administrator -> simone :: 2017
2017-12-15 14:26:11 :: simone -> administrator :: 2017
2018-06-04 02:27:58 :: administrator -> simone :: 2017
Campos Vaziosaccessionnumber 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 publisher publisheraddress rightsholder secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url volume
Data de Acesso14 ago. 2020