Please use this identifier to cite or link to this item: https://doi.org/10.1145/2483760.2483779
Title: Combining model checking and testing with an application to reliability prediction and distribution
Authors: Gui, L.
Sun, J.
Liu, Y.
Si, Y.J.
Dong, J.S. 
Wang, X.Y.
Keywords: hypothesis testing
MDP
reliability distribution
reliability prediction
Issue Date: 2013
Citation: Gui, L.,Sun, J.,Liu, Y.,Si, Y.J.,Dong, J.S.,Wang, X.Y. (2013). Combining model checking and testing with an application to reliability prediction and distribution. 2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings : 101-111. ScholarBank@NUS Repository. https://doi.org/10.1145/2483760.2483779
Abstract: 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. © 2013 ACM.
Source Title: 2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings
URI: http://scholarbank.nus.edu.sg/handle/10635/78062
ISBN: 9781450321594
DOI: 10.1145/2483760.2483779
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

6
checked on Dec 9, 2018

Page view(s)

44
checked on Nov 2, 2018

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.