%0 Conference Proceedings
%@nexthigherunit 8JMKD3MGPCW/446B2HE
%@holdercode {isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S}
%@tertiarymark Trabalho Vinculado à Tese/Dissertação
%@resumeid 8JMKD3MGP5W/3C9JGH7
%@usergroup administrator
%@usergroup administrator
%@usergroup jefferson
%B Conference on Space Operations, 9 (SpaceOps 2008).
%X 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.
%@secondarydate 20080623
%T An Independent Software Verification and Validation Process for Space Applications
%@format CD-ROM
%@secondarytype PRE CI
%K computer programs, proving.
%8 12-16 May
%@group DSS-ETE-INPE-MCT-BR
%@group DSS-ETE-INPE-MCT-BR
%@secondarykey INPE-15303-PRE/10112
%@copyholder SID/SCD
%2 sid.inpe.br/mtc-m16@80/2008/06.18.15.35.57
%@affiliation Instituto Nacional de Pesquisas Espaciais (INPE)
%@affiliation Instituto Nacional de Pesquisas Espaciais (INPE)
%@affiliation Universidade Estadual de Campinas (UNICAMP)
%@project Software de rastreio e controle e aplicações espaciais
%I AIAA
%P 9
%4 sid.inpe.br/mtc-m16@80/2008/06.18.15.35
%D 2008
%S Proceedings
%A Ambrósio, Ana Maria,
%A Mattiello-Francisco, Maria de Fátima,
%A Martins, Eliane,
%C Hidelberg
%@area ETES