Fechar
Metadados

Tipo da ReferênciaConference Proceedings
IdentificadorJ8LNKAN8RW/34BEP7K
Repositóriodpi.inpe.br/plutao@80/2008/12.04.11.55.29   (acesso restrito)
Metadadosdpi.inpe.br/plutao@80/2008/12.04.11.55.30
Siteplutao.sid.inpe.br
Rótulolattes: 9922863822347014 2 SantiagoJúniorVijGuiAmaSou:2008:EnTeCa
ISBN9780769533
Chave SecundáriaINPE--PRE/
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoSantiagoJúniorVijGuiAmaSou:2008:EnTeCa
Autor1 Santiago Júnior, Valdivino Alexandre
2 Vijaykumar, Nandamudi Lankalapalli
3 Guimarães, Danielle Souza
4 Amaral, Ana Silvia Martins Serra
5 Souza, Érica Ferreira de
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 Instituto Nacional de Pesquisas Espaciais (INPE)
4 Instituto Nacional de Pesquisas Espaciais (INPE)
5 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1 valdivino@das.inpe.br
2 vijay@lac.inpe.br
3 danielle.guimaraes@cea.inpe.br
4 anasil@lac.inpe.br
5 ericaferrso@cea.inpe.br
TítuloAn Environment for Test Case Generation from Statecharts-based and Finite State Machine-based Behavioral Models
Nome do EventoWorkshop on Advances in Model Based Testing, 4. (A-MOST).
Ano2008
Volume1
Título do LivroProceedings
Data2008
Editora (Publisher)IEEE Computer Society
Localização do EventoLillihammer
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áginas1-10
Idiomaen
Tipo SecundárioPRE CI
Tipo TerciárioPaper
FormatoDVD
AreaCOMP
Tamanho288 KiB
Número de Arquivos1
Arquivo Alvosantiago_environment.pdf
Última Atualização2015:04.16.18.59.33 dpi.inpe.br/plutao@80/2008/08.19.15.01 administrator
Última Atualização dos Metadados2018:06.05.00.19.58 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-Mailvijay@lac.inpe.br
e-Mail (login)marciana
Grupo de Usuárioslattes
simone
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
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-04 16:11:47 :: lattes -> simone ::
2008-12-08 11:56:03 :: simone -> administrator ::
2010-05-12 02:51:41 :: administrator -> simone ::
2010-07-07 18:38:50 :: simone -> administrator ::
2018-06-05 00:19:58 :: administrator -> marciana :: 2008
Campos Vaziosaccessionnumber archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor issn keywords lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisheraddress resumeid rightsholder secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url versiontype
Data de Acesso14 ago. 2020
atualizar 

Fechar