Fechar
Metadados

Tipo da ReferênciaConference Proceedings
IdentificadorJ8LNKAN8RW/34DNU6S
Repositóriodpi.inpe.br/plutao@80/2008/12.18.15.55   (acesso restrito)
Metadadosdpi.inpe.br/plutao@80/2008/12.18.15.55.13
Siteplutao.sid.inpe.br
DOI10.1109/ICSTW.2008.7
Rótulolattes: 9311443298836689 3 SantiagoVijGuiAmaFer:2008:EnAuTe
Chave SecundáriaINPE--PRE/
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoSantiagoVijGuiAmaFer:2008:EnAuTe
Autor1 Santiago, Valdivino
2 Vijaykumar, Nandamudi L.
3 Guimarães, Danielle Souza
4 Amaral, Ana Silvia
5 Ferreira, Érica
Grupo1 DAS-CEA-INPE-MCT-BR
2 LAC-CTE-INPE-MCT-BR
3
4 LAC-CTE-INPE-MCT-BR
Afiliação1 Instituto Nacional de Pesquisas Espaciais (INPE)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3
4 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1 valdivino@das.inpe.br
2 vijay@lac.inpe.br
3 dani.guimaraes@gmail.com
4 anasil@lac.inpe.br
5 ericaferrso@cea.inpe.br
TítuloAn Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models
Nome do EventoSoftware Testing Verification and Validation Workshop, 2008. ICSTW '08. IEEE International Conference on Software Testing Verification and Validation Workshop.
Ano2008
Título do LivroProceedings
Data2008
Localização do EventoLillehammer
Palavras-Chavestatecharts, test case generation, Finite State Machine.
ResumoAutomated test case generation from behavioral models like Finite State Machines (FSMs) and Statecharts has long been studied. Environments that enable a test designer to model a real complex software and to obtain test cases to validate such a software are mandatory in an automated test approach. This paper presents an environment, GTSC, which enables test sequences to be obtained from both Statechart-based and FSM-based behavioral models. The environment supports test case generation from some test methods for FSM, such as switch cover, DS and UIO methods, and also from some test criteria for Statecharts based on the SCCF family. Two case studies involving embedded software developed for two computers of scientific experiments of a satellite under development at National Institute for Space Research (INPE) are presented in order to show the usefulness of the environment.
Páginas63-72
Idiomaen
Tipo SecundárioPRE CI
Tipo TerciárioPaper
AreaCOMP
Tamanho288 KiB
Número de Arquivos1
Arquivo Alvosantiago_environment.pdf
Última Atualização2015:04.16.18.57.29 dpi.inpe.br/plutao@80/2008/08.19.15.01 administrator
Última Atualização dos Metadados2018:06.05.00.20.19 dpi.inpe.br/plutao@80/2008/08.19.15.01 administrator {D 2008}
Estágio do Documentoconcluido
É a matriz ou uma cópia?é a matriz
Endereço de e-Maildani.guimaraes@gmail.com
e-Mail (login)marciana
Grupo de Usuárioslattes
marciana
administrator
marciana
Grupo de Leitoresadministrator
marciana
Visibilidadeshown
Transferível1
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
Tipo do ConteudoExternal Contribution
Estágio do Documentonot transferred
Tipo de Versãopublisher
Permissão de Leituradeny from all and allow from 150.163
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
Histórico2008-12-18 18:47:51 :: lattes -> marciana ::
2009-01-06 12:07:13 :: marciana -> administrator ::
2018-06-05 00:20:19 :: administrator -> marciana :: 2008
Campos Vaziosaccessionnumber archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination edition editor format isbn issn lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress resumeid rightsholder secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url volume
Data de Acesso14 ago. 2020
atualizar 

Fechar