| 1. Identificação | ||||
| Tipo de Referência | Artigo em Revista Científica (Journal Article) | |||
| Site | mtc-m21c.sid.inpe.br | |||
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Identificador | 8JMKD3MGP3W34R/3S764U8 | |||
| Repositório | sid.inpe.br/mtc-m21c/2018/11.09.12.46 (acesso restrito) | |||
| Última Atualização | 2018:11.09.12.46.35 (UTC) administrator | |||
| Repositório de Metadados | sid.inpe.br/mtc-m21c/2018/11.09.12.46.35 | |||
| Última Atualização dos Metadados | 2021:02.11.21.04.48 (UTC) administrator | |||
| DOI | 10.1016/j.compind.2018.08.003 | |||
| ISSN | 0166-3615 | |||
| Chave de Citação | VillaniPontCoraAmbr:2019:InMoCh | |||
| Título | Integrating model checking and model based testing for industrial software development  | |||
| Ano | 2019 | |||
| Mês | Jan. | |||
| Data de Acesso | 29 abr. 2024 | |||
| Tipo de Trabalho | journal article | |||
| Tipo Secundário | PRE PI | |||
| Número de Arquivos | 1 | |||
| Tamanho | 3221 KiB | |||
| 2. Contextualização | ||||
| Autor | 1 Villani, Emília 2 Pontes, Rodrigo Pastl 3 Coracini, Guilherme Kisselofl 4 Ambrósio, Ana Maria | |||
| Identificador de Curriculo | 1 2 3 4 8JMKD3MGP5W/3C9JGH7 | |||
| Grupo | 1 2 3 4 DIDSS-CGETE-INPE-MCTIC-GOV-BR | |||
| Afiliação | 1 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 Autor | 1 evillani@ita.br 2 rpastl@gmail.com 3 guilherme.coracini@gmail.com 4 aambrosio27@gmail.com | |||
| Revista | Computers in Industry | |||
| Volume | 104 | |||
| Páginas | 88-102 | |||
| Nota Secundária | A2_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údo | concluido | |||
| Transferível | 1 | |||
| Tipo do Conteúdo | External Contribution | |||
| Tipo de Versão | publisher | |||
| Resumo | With 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. | |||
| Área | ETES | |||
| Arranjo | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSS > Integrating model checking... | |||
| Conteúdo da Pasta doc | acessar | |||
| Conteúdo da Pasta source | não têm arquivos | |||
| Conteúdo da Pasta agreement |
| |||
| 4. Condições de acesso e uso | ||||
| Idioma | en | |||
| Arquivo Alvo | 1-s2.0-S0166361518302173-main.pdf | |||
| Grupo de Usuários | simone | |||
| Visibilidade | shown | |||
| Política de Arquivamento | denypublisher denyfinaldraft24 | |||
| Permissão de Leitura | deny from all and allow from 150.163 | |||
| Permissão de Atualização | não transferida | |||
| 5. Fontes relacionadas | ||||
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/446B2HE | |||
| Divulgação | WEBSCI | |||
| Acervo Hospedeiro | urlib.net/www/2017/11.22.19.04 | |||
| 6. Notas | ||||
| Campos Vazios | alternatejournal 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 | ||||