Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software.
Bev LittlewoodDavid WrightPublished in: IEEE Trans. Software Eng. (1997)
Keyphrases
- safety critical
- stopping rules
- safety analysis
- embedded systems
- formal methods
- fault tolerant
- nuclear power plant
- software intensive systems
- agent architecture
- support systems
- regulatory requirements
- adaptive systems
- decision making
- fault model
- software systems
- intelligent agents
- software development
- real time
- test cases
- confidence intervals
- decision support
- distributed systems
- low cost
- user interface
- multi agent systems