A Randomised Test Approach to Testing Safety Critical Ada Code.

Sukant K. Giri Atit Mishra Yogananda V. Jeppu Kundapur Karunakar

Published in: Ada-Europe (2004)

Keyphrases

safety critical
unit testing
test cases
test driven development
software testing
fault tolerant
formal methods
safety analysis
test suite
real time
source code
agent architecture
embedded systems
nuclear power plant
software development
medical data
support systems
adaptive systems
load balancing
software systems