1. Identificação | |
Tipo de Referência | Artigo em Evento (Conference Proceedings) |
Site | mtc-m16.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 6qtX3pFwXQZsFDuKxG/BG4VS |
Repositório | sid.inpe.br/marciana/2004/04.07.08.23 (acesso restrito) |
Última Atualização | 2004:04.12.03.00.00 (UTC) administrator |
Repositório de Metadados | sid.inpe.br/marciana/2004/04.07.08.23.41 |
Última Atualização dos Metadados | 2021:02.11.21.05.04 (UTC) administrator |
Chave Secundária | INPE-10237-PRE/5755 |
Chave de Citação | Ambrosio:2003:SyTeCa |
Título | Systematic test case generation for concurrent FSMs. |
Ano | 2003 |
Data de Acesso | 28 abr. 2024 |
Tipo Secundário | PRE CI |
Número de Arquivos | 1 |
Tamanho | 218 KiB |
|
2. Contextualização | |
Autor | Ambrosio, Ana Maria |
Identificador de Curriculo | 8JMKD3MGP5W/3C9JGH7 |
Grupo | DSS-INPE-MCT-BR |
Editor | Socyety, IEEE Computer |
Nome do Evento | International Conference on Dependable Systems and Networks. |
Data | 2003 |
Editora (Publisher) | IEEE |
Páginas | 46-48 |
Título do Livro | Proceedings |
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údo | concluido |
Transferível | 1 |
Tipo do Conteúdo | External Contribution |
Palavras-Chave | FSM code - based interface mustants |
Resumo | This 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. |
Área | ETES |
Arranjo | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSS > Systematic test case... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | não têm arquivos |
|
4. Condições de acesso e uso | |
Idioma | en |
Arquivo Alvo | DSN2003-thesisAmbrosio.pdf |
Grupo de Usuários | administrator |
Visibilidade | shown |
Detentor da Cópia | SID/SCD |
Permissão de Leitura | deny from all and allow from 150.163 |
|
5. Fontes relacionadas | |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/446B2HE |
Acervo Hospedeiro | sid.inpe.br/banon/2003/08.15.17.40 |
|
6. Notas | |
Campos Vazios | affiliation 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 | |
|