Fechar

1. Identificação
Tipo de ReferênciaArtigo em Revista Científica (Journal Article)
Sitemarte3.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador6qtX3pFwXQZ3r59YCT/GUcNx
Repositóriosid.inpe.br/iris@1905/2005/07.28.21.46.31   (acesso restrito)
Última Atualização2017:04.20.19.31.38 (UTC) marciana
Repositório de Metadadossid.inpe.br/iris@1905/2005/07.28.21.46.34
Última Atualização dos Metadados2021:02.11.21.05.00 (UTC) administrator
Chave SecundáriaINPE-9174-PRE/4847
ISSN0963-9314
Rótulo3123
Chave de CitaçãoMartinsSabiAmbr:1999:ToAuSp
TítuloConData: A tool for automating specification-based test case generation for communication systems
Ano1999
MêsDec.
Data de Acesso23 maio 2024
Tipo SecundárioPRE PI
Número de Arquivos1
Tamanho163 KiB
2. Contextualização
Autor1 Martins, E
2 Sabiao, SB
3 Ambrosio, AM
Grupo1 DSS-INPE-MCT-BR
RevistaSoftware Quality Journal
Volume8
Número4
Páginas303-319
Histórico (UTC)2014-09-29 15:13:28 :: administrator -> marciana :: 1999
2017-04-20 19:31:39 :: marciana -> administrator :: 1999
2021-02-11 21:05:00 :: administrator -> marciana :: 1999
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-Chavecommunications protocol testing
EFSM-based testing
logic programming
ResumoThis paper describes a tool called ConData used as test generation for communication protocols specified as extended finite state machines. The strategy for test generation combines different specification-based test methods: (i) transition testing for the control part of a protocol and (ii) syntax and equivalence partitioning for the data part. The tool uses a representation of the protocol in PSL (Protocol Specification Language), which is transformed into a format readable by a Prolog program. This implements the test strategies mentioned above. The text also presents some results obtained in the test generation for the protocol of the Tele-command Communication System of the SACI-1 satellite.
ÁreaETES
Arranjourlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSS > ConData: A tool...
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 Alvomartins_condata.pdf
Grupo de Usuáriosadministrator
Grupo de Leitoresadministrator
marciana
Visibilidadeshown
Política de Arquivamentodenypublisher denyfinaldraft12
Permissão de Leituradeny from all and allow from 150.163
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Unidades Imediatamente Superiores8JMKD3MGPCW/446B2HE
Lista de Itens Citandosid.inpe.br/bibdigital/2021/02.11.21.02 2
DivulgaçãoWEBSCI; PORTALCAPES.
Acervo Hospedeirosid.inpe.br/banon/2001/04.03.15.36
6. Notas
Campos Vaziosaffiliation alternatejournal archivist callnumber copyholder copyright creatorhistory descriptionlevel doi e-mailaddress electronicmailaddress format isbn lineage mark mirrorrepository nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project resumeid rightsholder schedulinginformation secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype typeofwork url
7. Controle da descrição
e-Mail (login)marciana
atualizar 


Fechar