| 1. Identity statement | |
| Reference Type | Conference Paper (Conference Proceedings) |
| Site | mtc-m16.sid.inpe.br |
| Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
| Identifier | 8JMKD3MGPDW/33B2PHP |
| Repository | sid.inpe.br/mtc-m16@80/2008/06.18.15.35 (restricted access) |
| Last Update | 2010:01.26.12.11.49 (UTC) administrator |
| Metadata Repository | sid.inpe.br/mtc-m16@80/2008/06.18.15.35.57 |
| Metadata Last Update | 2021:02.11.21.05.14 (UTC) administrator |
| Secondary Key | INPE-15303-PRE/10112 |
| Citation Key | AmbrósioMattMart:2008:InSoVe |
| Title | An Independent Software Verification and Validation Process for Space Applications  |
| Format | CD-ROM |
| Project | Software de rastreio e controle e aplicações espaciais |
| Year | 2008 |
| Secondary Date | 20080623 |
| Access Date | 2024, Apr. 27 |
| Secondary Type | PRE CI |
| Number of Files | 5 |
| Size | 638 KiB |
| 2. Context | |
| Author | 1 Ambrósio, Ana Maria 2 Mattiello-Francisco, Maria de Fátima 3 Martins, Eliane |
| Resume Identifier | 1 8JMKD3MGP5W/3C9JGH7 |
| Group | 1 DSS-ETE-INPE-MCT-BR 2 DSS-ETE-INPE-MCT-BR |
| Affiliation | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Universidade Estadual de Campinas (UNICAMP) |
| Conference Name | Conference on Space Operations, 9 (SpaceOps 2008). |
| Conference Location | Hidelberg |
| Date | 12-16 May |
| Publisher | AIAA |
| Pages | 9 |
| Book Title | Proceedings |
| History (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. Content and structure | |
| Is the master or a copy? | is the master |
| Content Stage | completed |
| Transferable | 1 |
| Content Type | External Contribution |
| Keywords | computer programs proving |
| Abstract | 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. |
| Area | ETES |
| Arrangement | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSS > An Independent Software... |
| doc Directory Content | access |
| source Directory Content | there are no files |
| agreement Directory Content | there are no files |
| 4. Conditions of access and use | |
| Language | en |
| User Group | administrator administrator jefferson |
| Visibility | shown |
| Copy Holder | SID/SCD |
| Read Permission | deny from all and allow from 150.163 |
| 5. Allied materials | |
| Linking | Trabalho Vinculado à Tese/Dissertação |
| Next Higher Units | 8JMKD3MGPCW/446B2HE |
| Host Collection | sid.inpe.br/banon/2003/08.15.17.40 |
| 6. Notes | |
| Empty Fields | 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. Description control | |
| e-Mail (login) | marciana |
| update | |