Fechar

1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m16.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador6qtX3pFwXQZsFDuKxG/BG4VS
Repositóriosid.inpe.br/marciana/2004/04.07.08.23   (acesso restrito)
Última Atualização2004:04.12.03.00.00 (UTC) administrator
Repositório de Metadadossid.inpe.br/marciana/2004/04.07.08.23.41
Última Atualização dos Metadados2021:02.11.21.05.04 (UTC) administrator
Chave SecundáriaINPE-10237-PRE/5755
Chave de CitaçãoAmbrosio:2003:SyTeCa
TítuloSystematic test case generation for concurrent FSMs.
Ano2003
Data de Acesso23 maio 2024
Tipo SecundárioPRE CI
Número de Arquivos1
Tamanho218 KiB
2. Contextualização
AutorAmbrosio, Ana Maria
Identificador de Curriculo8JMKD3MGP5W/3C9JGH7
GrupoDSS-INPE-MCT-BR
EditorSocyety, IEEE Computer
Nome do EventoInternational Conference on Dependable Systems and Networks.
Data2003
Editora (Publisher)IEEE
Páginas46-48
Título do LivroProceedings
Histórico (UTC)2021-02-11 21:05:04 :: administrator -> marciana :: 2003
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
Palavras-ChaveFSM
code - based interface mustants
ResumoThis paper presents an approach for black-box test case derivation from a set of concurrent FSM, in which the product machine is not generated. The idea of independent and communicating transitions as well as an existing tool for FSM-based test case generation are the basis for the approach. The test case suite generated according to the approach is compared with the test suite generated from the product machine, for a simple example. Code-based interface mutants, used as fault model, support the comparison. The algorithm to recognize the communicating transitions is presented. Preliminary results pointed out simplicity and effectiveness over the fault model in the empirical evaluation.
ÁreaETES
Arranjourlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSS > Systematic test case...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
4. Condições de acesso e uso
Idiomaen
Arquivo AlvoDSN2003-thesisAmbrosio.pdf
Grupo de Usuáriosadministrator
Visibilidadeshown
Detentor da CópiaSID/SCD
Permissão de Leituradeny from all and allow from 150.163
5. Fontes relacionadas
Unidades Imediatamente Superiores8JMKD3MGPCW/446B2HE
Acervo Hospedeirosid.inpe.br/banon/2003/08.15.17.40
6. Notas
Campos Vaziosaffiliation archivingpolicy archivist callnumber conferencelocation copyright creatorhistory descriptionlevel dissemination documentstage doi e-mailaddress edition electronicmailaddress format isbn issn label lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisheraddress readergroup rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume
7. Controle da descrição
e-Mail (login)marciana
atualizar 


Fechar