InRob: An approach for testing interoperability and robustness of real-time embedded software

Journal of Systems and Software

Volumn 85, Issue 1, 2012, Pages 3-15

  Mattiello Francisco, Fátima ^a,d   Martins, Eliane ^b   Cavalli, Ana Rosa ^c   Yano, Edgar Toshiro ^d  

^a INSTITUTO NACIONAL DE PESQUISAS ESPACIAIS   (Brazil)

^b UNIVERSITY OF CAMPINAS   (Brazil)

^c TELECOM SUDPARIS   (France)

^d INSTITUTO TECNOLÓGICO DE AERONÁUTICA   (Brazil)

Author keywords

Automatic test case generation; Integration testing; Interoperability test; Robustness test; Service model; Timing deviations

Indexed keywords

AEROSPACE SYSTEMS; AUTOMATIC TEST CASES GENERATION; AUTOMATIC TESTCASE GENERATION; BEHAVIORAL MODEL; COLLABORATIVE SERVICES; COMPETITIVE MARKETS; CRITICAL PROPERTIES; CRITICAL SYSTEMS; DIGITAL TECHNOLOGIES; FORMAL MODEL; HARDWARE FAILURES; INTEGRATION SUPPORT; INTEGRATION TESTING; INTERCONNECTED SUBSYSTEMS; REAL-TIME EMBEDDED SOFTWARE; SERVICE MODEL; SOFTWARE FAULT; TEST CASE; TESTING TOOLS; TIGHT COUPLING; TIME-OUTS; TIMING CONSTRAINTS; TIMING DEVIATIONS;

ACCIDENTS; EMBEDDED SOFTWARE; EMBEDDED SYSTEMS; INTEGRATION; OPTICAL TELESCOPES; QUALITY OF SERVICE; SOFTWARE TESTING; TELESCOPES; TESTING; TIMING CIRCUITS;

INTEROPERABILITY;

EID: 80755189031     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2011.02.034     Document Type: Article

References (31)

1. A.M. Ambrosio, M.F. Mattiello-Francisco, V. Santiago, W. Silva, and E. Martins Designing fault injection with state-based model for a space application A. Bondavali, F. Brasileriro, S. Rajsbaum, Third Latin-American Symposium on Dependable Computing, Morelia, LADC2007, Mexico 2007 Springer 170 178
2. S.S. Batth, E.R. Vieira, A.R. Cavalli, and M.U. Uyar Specification of timed EFSM fault models in SDL 27th IFIP FORTE 2007 Estonia 2007
3. C. Besse, A.R. Cavalli, M. Kim, and F. Zaidi Two methods for interoperability testing application to TCP/IP protocol TESTCOM 2002 Berlim 2002
4. R. Binder Testing Object-oriented Systems - Models, Patterns and Tools 2002 Addison-Wesley Boston p. 191 (ISBN 0-201-80938-9)
5. M. Broy, B. Jonsson, J.P. Katoen, and A. Pretschner Model-Based Testing of Reactive Systems, Advanced Lectures, LNCS 3472 2005 (ISBN-3-540-26278-4)
6. R. Cardell-Oliver Conformance tests for real-time systems with timed automata specifications Formal Aspects of Computing 12 5 2000 350 371
7. Castanet, R.; Waeselynk, H.; 2003. Techniques avancées de test de systmes complexes: Test de robustesse. Technical Report, Action spécifique 23 du CNRS.
8. A. Cavalli, D. Lee, R. Rinderknecht, and F. Zaidi Hit-or-Jump an algorithm for Embedded Testing with applications to In services Proceeding of IFIP International Conference FORTE/PSTV'99 Beijing (China) 1999
9. A. Cavalli, E. Montes De Oca, W. Mallouli, and M. Lallali Two complementary tools for the formal testing of distributed systems with time constraints The 12th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2008) October 27-29, Vancouver, Canada 2008
10. Desmoulin, A.; Viho, C.; 2007. Automatic interoperability test case generation based on formal definitions, LNCS 4916, Germany, pp. 234-250.
11. A. En-Nouaary Timed test cases generation based on state characterization technique Real-time System Symposium, 1998 1998 IEEE Computer Society Madrid 220 229
12. European Cooperation for Space Standardization (ECSS) ECSS-E-40: Space Engineering: Software, Principles and Requirements, Part 1B 2003
13. H. Fennel Achievements and exploitation of the AUTOSAR development partnership SAE Technical Paper Series 2006-21-0019 2006 SAE International Warrendale, PA, USA
14. A. Hessel Model-based Test Case Selection and Generation for Real-time Systems. PhD Thesis 2006 Upssala Universitet Sweden
15. T. Higashino Generating test cases for timed I/O automaton model International Workshop on Testing Communicating System 1999 IFIP/IWTCS Hungary
16. International Organization for Standardization (ISO), 1991. ISO 9646 - International Standard Conformance Testing Methodology and Framework. Genve.
17. F.S. Khorchef, I. Berrada, A. Rollet, and R. Castanet Automated robustness testing for reactive systems: application to communicating protocols I2CS2006 Switzerland 2006
18. S. Konrad, and B.H.C. Cheng Real-time specification patterns 27th International Conference on Software Engineering Missouri 2005 372 381
19. Lanigan, P.E.; Narasimhan, P.; Fuhrman, T.E.; 2010. Experiences with a CANoe-based Fault Injection Framework for AUTOSAR. In: Proceedings of the 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE Computer Society. http://www.gm.com/experience/technology/research/ publications/2010-publications.jsp, in press.
20. N.G. Leveson System safety in computer-controlled automotive systems SAE Congress 2000
21. P.D.L. Machado, D.A. Silva, and A.C. Mota Towards property oriented testing Electronic Notes in Theoretical Computer Science vol. 184 2007 pp. 3-19 (Pubitemid 46977883)
22. M.F. Mattiello-Francisco Payload software validation and integration The Transient Milky Way: A Perspective for MIRAX Conference, Proceedings: AIP Conference Proceedings, CP840 Melville, NY 2006 132 136
23. M.F. Mattiello-Francisco, V. Santiago, A.M. Ambrosio, L. Jogaib, and R. Costa A Brazilian Software Industry experience in using ECSS for Space Application Software development G. Loureiro, R. Curran, 14th ISPE International Conference on Concurrent Engineering (CE2007) 2007 Springer 167 174 (ISBN-978-1-84628-975-0)
24. M.F. Mattiello-Francisco, E. Martins, A. Corsetti, A.R. Cavalli, and E.T. Yano Extended Interoperability models for Timed System Robustness Testing Latin-American Conference On Communications, Medellin. Proceedings Antioquia: IEEE LATINCom09 2009
25. M.F. Mattiello-Francisco InRob - Uma abordagem para teste de Interoperabilidade e de Robustez de subsistemas de tempo-real intensivos em software. PhD Thesis 2009 Aeronautical Institute of Technology Brazil
26. M.G. Merayo, M. Nunez, and I. Rodriguez Extending EFSMs to specify and test timed systems with action duration and time-outs IEEE Transactions on Computers, vol. 57, no. 6, June 2008 835 848 (Pubitemid 351712164)
27. J.D. Musa Operational Profiles in Software Reliability Engineering 1993 IEEE Software pp. 14-32
28. J.D. Musa Software Reliability Engineering [S.l.] 1998 McGraw-Hill 390 p.
29. W. Silva, V. Santiago, and M.F. Mattiello-Francisco QSEE-TAS: a tool for automatic test execution and report for space application software testing SBES2006 Florianópolis-SC, Brazil 2006 43 48
30. E.R. Vieira, and A.R. Cavalli Towards test suite automatic generation with delayable transitions and timing-faults detection RTCSA 2007 2007
31. Z. Xiang, and A. En-Nouaary Test cases generation for embedded real-time systems based on test purposes Nouvelles Technologias de repartition (NOTERE) Marocco 2004