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 | 8JMKD3MGPDW/33B2PHP |
Repositório | sid.inpe.br/mtc-m16@80/2008/06.18.15.35 (acesso restrito) |
Última Atualização | 2010:01.26.12.11.49 (UTC) administrator |
Repositório de Metadados | sid.inpe.br/mtc-m16@80/2008/06.18.15.35.57 |
Última Atualização dos Metadados | 2021:02.11.21.05.14 (UTC) administrator |
Chave Secundária | INPE-15303-PRE/10112 |
Chave de Citação | AmbrósioMattMart:2008:InSoVe |
Título | An Independent Software Verification and Validation Process for Space Applications |
Formato | CD-ROM |
Projeto | Software de rastreio e controle e aplicações espaciais |
Ano | 2008 |
Data Secundária | 20080623 |
Data de Acesso | 18 abr. 2024 |
Tipo Secundário | PRE CI |
Número de Arquivos | 5 |
Tamanho | 638 KiB |
|
2. Contextualização | |
Autor | 1 Ambrósio, Ana Maria 2 Mattiello-Francisco, Maria de Fátima 3 Martins, Eliane |
Identificador de Curriculo | 1 8JMKD3MGP5W/3C9JGH7 |
Grupo | 1 DSS-ETE-INPE-MCT-BR 2 DSS-ETE-INPE-MCT-BR |
Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Universidade Estadual de Campinas (UNICAMP) |
Nome do Evento | Conference on Space Operations, 9 (SpaceOps 2008). |
Localização do Evento | Hidelberg |
Data | 12-16 May |
Editora (Publisher) | AIAA |
Páginas | 9 |
Título do Livro | Proceedings |
Histórico (UTC) | 2008-06-26 12:57:33 :: jefferson -> banon :: 2008-06-26 13:53:53 :: banon -> jefferson :: 2010-02-01 17:59:55 :: jefferson -> administrator :: 2021-02-11 21:05:14 :: administrator -> marciana :: 2008 |
|
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 | computer programs proving |
Resumo | This paper presents an Independent Software Verification and Validation process that applies reviews for verification and a systematic testing methodology to guide validation. This process was applied to a pilot project named Quality Software Embedded in Space Missions (QSEE) at INPE and pointed very good results. The main feature of the process is that it uses a particular testing methodology named CoFI and an automatic test cases generation tool based in state-models. These features allowed systematizing validation activities which were carried on by a team not involved with the software development. The main activities of the process, the results in terms of the errors found not only through the reviews but also through the tests are presented. Lessons learned including drawbacks and benefits are discussed as well. I. |
Área | ETES |
Arranjo | urlib.net > Fonds > Produção anterior à 2021 > DIDSS > An Independent Software... |
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 |
Grupo de Usuários | administrator administrator jefferson |
Visibilidade | shown |
Detentor da Cópia | SID/SCD |
Permissão de Leitura | deny from all and allow from 150.163 |
|
5. Fontes relacionadas | |
Vinculação | Trabalho Vinculado à Tese/Dissertação |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/446B2HE |
Acervo Hospedeiro | sid.inpe.br/banon/2003/08.15.17.40 |
|
6. Notas | |
Campos Vazios | archivingpolicy archivist callnumber copyright creatorhistory descriptionlevel dissemination documentstage doi e-mailaddress edition editor electronicmailaddress isbn issn label lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress publisheraddress readergroup rightsholder schedulinginformation secondarymark serieseditor session shorttitle sponsor subject targetfile tertiarytype type url versiontype volume |
|
7. Controle da descrição | |
e-Mail (login) | marciana |
atualizar | |
|