A randomised test approach to testing safety critical ada code

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3063, Issue , 2004, Pages 190-199

  Giri, Sukant K ^a   Mishra, Atit ^a   Jeppu, Yogananda V ^a   Karunakar, Kundapur ^a  

^a AERONAUTICAL DEVELOPMENT AGENCY   (India)

Author keywords

[No Author keywords available]

Indexed keywords

GENETIC ALGORITHMS; SAFETY ENGINEERING; SAFETY TESTING; SOFTWARE TESTING;

ADA CODE; COVERAGE METRICS; LIGHT COMBAT AIRCRAFTS; NON REAL TIME; REGRESSION TESTING; TEST CASE; TEST CASE GENERATION; TEST CASE SELECTION;

FIGHTER AIRCRAFT;

EID: 84958741655     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24841-5_15     Document Type: Conference Paper

References (4)

1. Shyam Chetty, Girish Deodhare, B.B. Misra: Design, Development and Flight Testing of Control Laws for the Indian Light Combat Aircraft, AIAA Guidance, Navigation and Control Conference, Monterey, CA, August 2002
2. Jeppu, Y.V., et al: Testing Safety Critical Ada Code Using Non Real Time Testing. In: Jean-Pierre Rosen, A Strohmeier (eds.): Reliable Software Technologies ADA-Europe 2003, Lecture Notes in Computer Science, Vol. 2655, Springer-Verlag, 382-393.
3. Ruofan Xu et al: Embedded Core Testing using Genetic Algorithms”, Asian Test Symposium, 2000, 254-259.
4. Christopher R H et al: A Genetic Algorithm for Function Optimisation: A Matlab Implementation, available with the toolbox on the Internet.