| 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 |
| Repositório | sid.inpe.br/iris@1916/2005/11.21.18.43 |
| Última Atualização | 2006:01.06.16.00.00 (UTC) administrator |
| Repositório de Metadados | sid.inpe.br/iris@1916/2005/11.21.18.43.44 |
| Última Atualização dos Metadados | 2021:02.11.21.05.02 (UTC) administrator |
| Chave Secundária | INPE-13072-PRE/8336 |
| Chave de Citação | AmbrosioMartVijaCarv:2005:SyGeTe |
| Título | Systematic generation of test and fault cases for space application validation  |
| Formato | Papel |
| Projeto | QSEE - Qualidade de Software Embarcado em Aplicações Espaciais |
| Ano | 2005 |
| Data de Acesso | 26 dez. 2024 |
| Tipo Secundário | PRE CI |
| Número de Arquivos | 1 |
| Tamanho | 145 KiB |
| 2. Contextualização | |
| Autor | 1 Ambrosio, Ana Maria 2 Martins, Eliane 3 Vijaykumar, Nandamudi Lankalapalli 4 Carvalho, Solon Venâncio de |
| Identificador de Curriculo | 1 8JMKD3MGP5W/3C9JGH7 2 3 8JMKD3MGP5W/3C9JHTU 4 8JMKD3MGP5W/3C9JJ99 |
| Grupo | 1 DSS-INPE-MCT-BR 2 3 LAC-INPE-MCT-BR 4 LAC-INPE-MCT-BR |
| Afiliação | 1 Instituto Nacional de Pesquisas Espaciais. Engenharia e Tecnologia Espacial (INPE. ETE) 2 Universidade Estadual de Campinas (UNICAMP) 3 Instituto Nacional de Pesquisas Espaciais. Laboratório Associado de Matemática e Computação Aplicada (INPE.LAC) 4 Instituto Nacional de Pesquisas Espaciais. Laboratório Associado de Matemática e Computação Aplicada (INPE.LAC) |
| Endereço de e-Mail do Autor | 1 ana@dss.inpe.br |
| Nome do Evento | Data System in Aeroespace Conference, 9 (DASIA). |
| Localização do Evento | Edinburg, Scotland |
| Data | 30 may - 2 june |
| Editora (Publisher) | INPE |
| Páginas | 12 |
| Título do Livro | Proceedings |
| Histórico (UTC) | 2006-01-06 16:00:54 :: jefferson -> administrator :: 2006-11-09 19:05:11 :: administrator -> jefferson :: 2008-01-11 16:09:05 :: jefferson -> administrator :: 2021-02-11 21:05:02 :: administrator -> marciana :: 2005 |
| 3. Conteúdo e estrutura | |
| É a matriz ou uma cópia? | é a matriz |
| Estágio do Conteúdo | concluido |
| Transferível | 1 |
| Palavras-Chave | SPACE ENGINEERING AND TECHNOLOGY Testing methodology Software validation Conformance test Telecommand verificatio CoFI testing ENGENHARIA E TECNOLOGIA ESPACIAL Metodologia de teste Validação de software Teste de conformidade Verificação de telecomando Teste CoFI |
| Resumo | The most critical activity of a V&V process is the test design, as it should be systematic and less dependent of the expert inspiration, mainly for companies developing software whose failures place millions of dollars at risk. Additionally, the trend towards service standardization for the most common space applications motivated us to define a conformance testing methodology added with fault injection concepts. The methodology, named CoFI, defines steps to generate tests that cover the conformance of an implementation with respect to a standard specification. It allows to generate repeatable and controllable test cases and is conceived to be automated and easy to learn. The idea is to translate the service behavior, written in natural language, into a FSM-based notation, then automatically generate test cases. Its main characteristic is to separate in distinct diagrams the normal, the exceptional behavior, those explicitly-specified and those based on mapping an external fault model. The paper describes the CoFI testing methodology and its use in two real case studies. In the first the TC Verification service specified in ECSS-E_70-41A was used for showing the feasibility of generating test cases from a publicly recognized standard specification. In the second, an OBDH-Scientific_Experiment protocol, developed at INPE, was used for evaluating the set of test and fault cases created by the CoFI methodology. Preliminary results pointed out that: (i) the methodology is simple and effective specially for creating fault cases based on a fault model; (ii) current standard service specification requires extra information to achieve an applicable set of test cases. Effectiveness metrics of the tests were obtained with specification-based mutant analysis. |
| Área | ETES |
| Arranjo 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Systematic generation of... |
| Arranjo 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSS > Systematic generation of... |
| 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 | |
| URL dos dados | http://urlib.net/ibi/sid.inpe.br/iris@1916/2005/11.21.18.43 |
| URL dos dados zipados | http://urlib.net/zip/sid.inpe.br/iris@1916/2005/11.21.18.43 |
| Idioma | en |
| Arquivo Alvo | ambrosio_dasia2005.pdf |
| Grupo de Usuários | administrator jefferson |
| Visibilidade | shown |
| Detentor da Cópia | SID/SCD |
| Permissão de Leitura | allow from all |
| 5. Fontes relacionadas | |
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPCW/446B2HE |
| Lista de Itens Citando | sid.inpe.br/bibdigital/2021/02.11.21.02 8 sid.inpe.br/mtc-m21/2012/07.13.15.00.34 8 sid.inpe.br/mtc-m21/2012/07.13.14.39.50 3 |
| Acervo Hospedeiro | sid.inpe.br/banon/2003/08.15.17.40 |
| 6. Notas | |
| Campos Vazios | archivingpolicy archivist callnumber contenttype copyright creatorhistory descriptionlevel dissemination documentstage doi e-mailaddress edition editor identifier isbn issn label lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress 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 | |