A Conformance Testing Process for Space Applications Software Services

Comprehensive tests for space applications software are costly but extremely necessary. These software must be reliable and produced within schedule and budget. In a tentative of make the space mission software development for space agencies and industries more costeffective, the European Committee for Space Standardization (ECSS) has been compiling a set of standards that specify the common core of some space application systems. Once the set of services is standardized, the conformance problem is raised. In this paper we present a testing process for standardized services, which is based on the IS-9646 standard for ISO protocol conformance testing. The process includes an approach to derive test and fault cases by combining conformance testing concepts with the software-implemented fault injection (SWIFI) technique. One advantage of this process is the generation of a re-usable

[1]  Andrew Parkes,et al.  The ECSS Packet Utilization Standard and Its Support Tool , 2002 .

[2]  Martin Glinz,et al.  SCENT: A Method Employing Scenarios to Systematically Derive TestCases for System Test , 2000 .

[3]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[4]  DAVID MILLER,et al.  Information and Communication , 1966, Nature.

[5]  Gary McGraw,et al.  Software fault injection: inoculating programs against errors , 1997 .

[6]  Eliane Martins,et al.  1 ATIFS: a testing toolset with software fault injection , 2003 .

[7]  Robert V. Binder,et al.  Testing Object-Oriented Systems: Models, Patterns, and Tools , 1999 .

[8]  Eliane Martins,et al.  A Tool for Fault Injection and Conformance Testing of Distributed Systems , 2003, LADC.

[9]  Roger S. Pressman,et al.  Software Engineering: A Practitioner's Approach , 1982 .

[10]  D. Rayner,et al.  The impact of the Ferry concept on protocol testing , 1985, PSTV.

[11]  Jean Arlat,et al.  Fault Injection for Dependability Validation: A Methodology and Some Applications , 1990, IEEE Trans. Software Eng..

[12]  Ana Maria Ambrosio,et al.  On the use of test standardization in communication space applications , 2004 .

[13]  Martin Mertens.  Advanced Protocol Testing Methods and Tools , 2002 .

[14]  Samuel T. Chanson,et al.  Design and Implementation of a Ferry Clip Test System , 1989, PSTV.

[15]  Ousmane Koné.  An Inoteroperability Testing Approach to Wireless Applications Protocols , 2003, J. Univers. Comput. Sci..

[16]  Eliane Martins,et al.  Systematic Generation of Test and Fault Cases for Space Application Validation , 2005 .

[17]  R. Pressman.  Software Engineering: a Practioner''s approach , 1987 .

[18]  Hasan Ural,et al.  Formal methods for test sequence generation , 1992, Comput. Commun..

[19]  Jens Grabowski,et al.  SDL and MSC Based Test Case Generation: An Overall View of the SaMsTaG Method , 1994 .

[20]  Johannes Ryser,et al.  S CENT : A Method Employing Scenarios to Systematically Derive Test Cases for System Test , 1998 .

[21]  Ana R. Cavalli,et al.  Standardization of Formal Methods in Conformance Testing of Communication Protocols , 1996, Comput. Networks ISDN Syst..

[22]  Ousmane Koné,et al.  An Interoperability Testing Approach to Wireless Application Protocols , 2003 .

[23]  Mario Merri,et al.  Validation of ESA Packet Utilisation Standard by Object-Oriented Analysis , 1996 .

[24]  Bernd Baumgarten,et al.  OSI Conformance Testing Methodology and TTCN , 1994 .

[25]  David Lee,et al.  Principles and methods of testing finite state machines-a survey , 1996, Proc. IEEE.

[26]  Raphael R. Some,et al.  Experimental evaluation of a COTS system for space applications , 2002, Proceedings International Conference on Dependable Systems and Networks.

[27]  James R. Wertz,et al.  Space Mission Analysis and Design , 1992 .