A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Extending Refusal Testing by Stochastic Refusals for Testing Non-deterministic Systems
[article]
2012
arXiv
pre-print
Testing is a validation activity used to check the system's correctness with respect to the specification. In this context,test based on refusals is studied in theory and tools are effectively constructed. This paper addresses,a formal testing based on stochastic refusals graphs (SRG) in order to test stochastic system represented by maximality-based labeled stochastic transition systems (MLSTS). First, we propose a framework to generate SRGs from MLSTSs. Second,we present a new technique to
arXiv:1211.2708v1
fatcat:ewn32jotgbfq3gccz2t2i4a3s4