Fechar

1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34P/3PUKS65
Repositóriosid.inpe.br/mtc-m21b/2017/11.08.14.47
Última Atualização2017:11.08.14.47.59 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m21b/2017/11.08.14.47.59
Última Atualização dos Metadados2018:06.04.02.27.58 (UTC) administrator
Chave SecundáriaINPE--PRE/
ISBN978-145035302-1
Chave de CitaçãoSantiagoJúniorSilv:2017:HiTrSp
TítuloFrom statecharts into model checking: A hierarchy-based translation and specification patterns properties to generate test cases
Ano2017
Data de Acesso28 mar. 2024
Tipo SecundárioPRE CN
Número de Arquivos1
Tamanho333 KiB
2. Contextualização
Autor1 Santiago Júnior, Valdivino Alexandre de
2 Silva, Felipe Elias Costa da
Identificador de Curriculo1 8JMKD3MGP5W/3C9JJB5
Grupo1 LABAC-COCTE-INPE-MCTIC-GOV-BR
2 LABAC-COCTE-INPE-MCTIC-GOV-BR
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
Nome do EventoBrazilian Symposium on Systematic and Automated Software Testing, 2. (SAST)
Localização do EventoFortaleza, CE
Data18-19 Sept.
Título do LivroProceedings
Histórico (UTC)2017-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
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteúdoExternal Contribution
Tipo de Versãopublisher
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.
ÁreaCOMP
Arranjourlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > From statecharts into...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 08/11/2017 12:47 1.0 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP3W34P/3PUKS65
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34P/3PUKS65
Idiomaen
Arquivo Alvosantiago_from.pdf
Grupo de Usuáriossimone
Grupo de Leitoresadministrator
simone
Visibilidadeshown
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
6. Notas
Campos Vaziosarchivingpolicy 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 schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url volume
7. Controle da descrição
e-Mail (login)simone
atualizar 


Fechar