Software reliability and system reliability
Handbook of software reliability engineering
Model checking
Architecture-based approach to reliability assessment of software systems
Performance Evaluation
Operational Profiles in Software-Reliability Engineering
IEEE Software
Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Verification and planning for stochastic processes with asynchronous events
Verification and planning for stochastic processes with asynchronous events
Architecture-Based Software Reliability Analysis: Overview and Limitations
IEEE Transactions on Dependable and Secure Computing
A User-Oriented Software Reliability Model
IEEE Transactions on Software Engineering
Principles of Model Checking (Representation and Mind Series)
Principles of Model Checking (Representation and Mind Series)
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
HVC '08 Proceedings of the 4th International Haifa Verification Conference on Hardware and Software: Verification and Testing
Model evolution by run-time parameter adaptation
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
PAT: Towards Flexible Verification under Fairness
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Software Reliability and Testing Time Allocation: An Architecture-Based Approach
IEEE Transactions on Software Engineering
ISSRE '10 Proceedings of the 2010 IEEE 21st International Symposium on Software Reliability Engineering
Statistical model checking: an overview
RV'10 Proceedings of the First international conference on Runtime verification
Run-time efficient probabilistic model checking
Proceedings of the 33rd International Conference on Software Engineering
Partial order methods for statistical model checking and simulation
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
PRISM 4.0: verification of probabilistic real-time systems
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Approximate planning and verification for large markov decision processes
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Assessing reliability of modular software
Operations Research Letters
Probabilistic symbolic execution
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Statistical Model Checking for Markov Decision Processes
QEST '12 Proceedings of the 2012 Ninth International Conference on Quantitative Evaluation of Systems
Hi-index | 0.00 |
Testing provides a probabilistic assurance of system correctness. In general, testing relies on the assumptions that the system under test is deterministic so that test cases can be sampled. However, a challenge arises when a system under test behaves non-deterministiclly in a dynamic operating environment because it will be unknown how to sample test cases. In this work, we propose a method combining hypothesis testing and probabilistic model checking so as to provide the ``assurance" and quantify the error bounds. The idea is to apply hypothesis testing to deterministic system components and use probabilistic model checking techniques to lift the results through non-determinism. Furthermore, if a requirement on the level of ``assurance" is given, we apply probabilistic model checking techniques to push down the requirement through non-determinism to individual components so that they can be verified using hypothesis testing. We motivate and demonstrate our method through an application of system reliability prediction and distribution. Our approach has been realized in a toolkit named RaPiD, which has been applied to investigate two real-world systems.