Discrete Bayesian-Based Scheme of Software Reliability Demonstration Testing with Decreasing Function for the Safety Critical Software.
Xuecheng WangRisheng YangMinyan LuHaifeng LiPublished in: CIS (2010)
Keyphrases
- software reliability
- safety critical
- software testing
- decreasing function
- safety analysis
- fault tolerant
- formal methods
- prediction model
- embedded systems
- test cases
- agent architecture
- software development
- bp neural network
- wavelet neural network
- software systems
- test set
- adaptive systems
- software engineering
- support systems
- neural network
- test suite
- knowledge base
- information systems
- artificial intelligence