UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software.
Jiong YanJi WangHuowang ChenPublished in: ISPA (2004)
Keyphrases
- safety critical
- formal methods
- fault tolerant
- software intensive systems
- nuclear power plant
- software systems
- safety analysis
- embedded systems
- distributed systems
- agent architecture
- testing process
- software engineering
- cooperative
- support systems
- regression testing
- software testing
- modeling language
- artificial intelligence
- test cases
- statistical analysis
- knowledge based systems
- software development
- model checking
- software development life cycle
- computing environments
- decision making
- decision support
- medical images
- object oriented
- management system
- expert systems
- database systems
- real time