| 1. Identity statement | |
| Reference Type | Conference Paper (Conference Proceedings) |
| Site | mtc-m16.sid.inpe.br |
| Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
| Identifier | 6qtX3pFwXQZ3r59YDa/Jeqmo |
| Repository | sid.inpe.br/iris@1916/2005/11.21.18.18 |
| Last Update | 2015:07.06.12.39.14 (UTC) marciana |
| Metadata Repository | sid.inpe.br/iris@1916/2005/11.21.18.18.16 |
| Metadata Last Update | 2021:02.11.21.05.02 (UTC) administrator |
| Secondary Key | INPE-13073-PRE/8337 |
| Citation Key | AmbrosioMaViCaSaMa:2005:MeDeFa |
| Title | A methodology for designing fault injection experiments as an addition to communication systems conformance testing  |
| Format | On-line |
| Project | Qualidade de Software Embarcado em Aplicações Espaciais (QSEE) |
| Year | 2005 |
| Access Date | 2024, Dec. 26 |
| Secondary Type | PRE CI |
| Number of Files | 1 |
| Size | 216 KiB |
| 2. Context | |
| Author | 1 Ambrosio, Ana Maria 2 Mattiello-Francisco, Fátima 3 Vijaykumar, Nandamudi Lankalapalli 4 Carvalho, Solon Venâncio de 5 Santiago, Valdivino 6 Martins, Eliane |
| Group | 1 DSS-INPE-MCT-BR 2 DSS-INPE-MCT-BR 3 LAC-INPE-MCT-BR 4 LAC-INPE-MCT-BR |
| Affiliation | 1 Instituto Nacional de Pesquisas Espaciais, Engenharia e Tecnologia Espacial (INPE.ETE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) 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) 5 Instituto Nacional de Pesquisas Espaciais (INPE) 6 Universidade Estadual de Campinas (UNICAMP) |
| Conference Name | International Conference on Dependable Systems and Networks. |
| Conference Location | Yokohama, Japan |
| Date | 28 june - 01 jully, 2005 |
| Publisher | INPE |
| Pages | 06 |
| Book Title | Proceedings |
| History (UTC) | 2005-11-21 18:18:26 :: jefferson -> administrator :: 2006-11-09 19:05:11 :: administrator -> jefferson :: 2008-01-11 16:08:04 :: jefferson -> administrator :: 2015-04-01 16:37:31 :: administrator -> marciana :: 2005 2015-07-06 12:39:15 :: marciana -> administrator :: 2005 2021-02-11 21:05:02 :: administrator -> marciana :: 2005 |
| 3. Content and structure | |
| Is the master or a copy? | is the master |
| Content Stage | completed |
| Transferable | 1 |
| Keywords | SPACE ENGINEERING AND TECHNOLOGY Testing methodology Fault injection Communication faults Communication systems ENGENHARIA E TECNOLOGIA ESPACIAL Metodologia de teste Injeção de falha Falha de comunicação istemas de comunicação |
| Abstract | Conformance testing aims at validating if an unit under test accepts the normal expected inputs; and if it properly rejects erroneous-inputs such that consistency with the original specification is maintained. Methods for automatically generating test cases for protocol conformance testing have long been progressed. Most of them depend on state-based specifications, and may detect transition faults. However, real protocol faults go beyond the state transition faults. Based on previous research in building testing tools for conformance and for fault injection, we propose a testing methodology which guides the test personnel to model the exceptional behavior of a unit under test using UML-diagrams and an external fault model as well. The modeling starts from a textual specification towards the fault cases definition. The fault cases are based on the communication fault-model and executed with SWIFI. The fault cases are deterministic fault injection experiments once they are derived from specification models. The methodology has been used to validate INPE'S in-house implementation of the communication system between the On-Board Data Handling (OBDH) computer and a payload experiment of Brazilian scientific satellites. The methodology and the experimental results of testing a real communication system are discussed and analyzed. |
| Area | ETES |
| Arrangement | Fonds > Produção anterior à 2021 > DIDSS > A methodology for... |
| doc Directory Content | access |
| source Directory Content | there are no files |
| agreement Directory Content | there are no files |
| 4. Conditions of access and use | |
| data URL | http://urlib.net/ibi/6qtX3pFwXQZ3r59YDa/Jeqmo |
| zipped data URL | http://urlib.net/zip/6qtX3pFwXQZ3r59YDa/Jeqmo |
| Language | en |
| Target File | ambrosio_a methodology.pdf |
| User Group | administrator jefferson marciana |
| Reader Group | administrator marciana |
| Visibility | shown |
| Copy Holder | SID/SCD |
| Read Permission | allow from all |
| Update Permission | not transferred |
| 5. Allied materials | |
| Next Higher Units | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPCW/446B2HE |
| Citing Item List | sid.inpe.br/bibdigital/2021/02.11.21.02 7 |
| Host Collection | sid.inpe.br/banon/2003/08.15.17.40 |
| 6. Notes | |
| Empty Fields | archivingpolicy archivist callnumber contenttype copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor electronicmailaddress isbn issn label lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress publisheraddress resumeid rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume |
| 7. Description control | |
| e-Mail (login) | marciana |
| update | |