Fechar

1. Identificação
Tipo de ReferênciaArtigo em Revista Científica (Journal Article)
Sitemtc-m21c.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34R/3S764U8
Repositóriosid.inpe.br/mtc-m21c/2018/11.09.12.46   (acesso restrito)
Última Atualização2018:11.09.12.46.35 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m21c/2018/11.09.12.46.35
Última Atualização dos Metadados2021:02.11.21.04.48 (UTC) administrator
DOI10.1016/j.compind.2018.08.003
ISSN0166-3615
Chave de CitaçãoVillaniPontCoraAmbr:2019:InMoCh
TítuloIntegrating model checking and model based testing for industrial software development
Ano2019
MêsJan.
Data de Acesso23 maio 2024
Tipo de Trabalhojournal article
Tipo SecundárioPRE PI
Número de Arquivos1
Tamanho3221 KiB
2. Contextualização
Autor1 Villani, Emília
2 Pontes, Rodrigo Pastl
3 Coracini, Guilherme Kisselofl
4 Ambrósio, Ana Maria
Identificador de Curriculo1
2
3
4 8JMKD3MGP5W/3C9JGH7
Grupo1
2
3
4 DIDSS-CGETE-INPE-MCTIC-GOV-BR
Afiliação1 Instituto Tecnologico de Aeronáutica (ITA)
2 Fraunhofer Institute for Production Machines and Design Technology (IPK)
3 Instituto Tecnologico de Aeronáutica (ITA)
4 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1 evillani@ita.br
2 rpastl@gmail.com
3 guilherme.coracini@gmail.com
4 aambrosio27@gmail.com
RevistaComputers in Industry
Volume104
Páginas88-102
Nota SecundáriaA2_INTERDISCIPLINAR A2_ENGENHARIAS_III A2_CIÊNCIA_DA_COMPUTAÇÃO
Histórico (UTC)2018-11-09 12:46:36 :: simone -> administrator ::
2018-11-09 12:46:36 :: administrator -> simone :: 2018
2018-11-09 12:51:02 :: simone :: 2018 -> 2019
2018-11-09 12:51:02 :: simone -> administrator :: 2019
2021-02-11 21:04:48 :: administrator -> simone :: 2019
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
ResumoWith the purpose of making the use of model based techniques in industrial software development more efficient, this work proposes the combined application of two verification techniques: model checking with UPPAAL and CoFI (Conformance and Fault Injection) model based testing with ConData. This combination is supported by ConTEA, a software tool for automatically connecting UPPAAL to ConData, and, therefore, explore both techniques simultaneously. We present the tool and discuss the use of ConTEA in two different development processes. The first process investigates how CoFI can contribute to identify gaps in the specification and implicit assumptions made by engineers when applying model checking. The second process focuses on how model checking can improve the development and verification of the models that are used for model based testing. The proposed processes were applied to three case studies. Based on them, we compare the proposed processes to the traditional CoFI and UPPAAL stand-alone processes. The results indicate that the combined use of the two verification technique contributes to the identification of a large range of diversified errors and problems early in the development cycle.
ÁreaETES
Arranjourlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSS > Integrating model checking...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 09/11/2018 10:46 1.0 KiB 
4. Condições de acesso e uso
Idiomaen
Arquivo Alvo1-s2.0-S0166361518302173-main.pdf
Grupo de Usuáriossimone
Visibilidadeshown
Política de Arquivamentodenypublisher denyfinaldraft24
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
DivulgaçãoWEBSCI
Acervo Hospedeirourlib.net/www/2017/11.22.19.04
6. Notas
Campos Vaziosalternatejournal archivist callnumber copyholder copyright creatorhistory descriptionlevel e-mailaddress format isbn keywords label lineage mark mirrorrepository nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup rightsholder schedulinginformation secondarydate secondarykey session shorttitle sponsor subject tertiarymark tertiarytype url
7. Controle da descrição
e-Mail (login)simone
atualizar 


Fechar