Extending Refusal Testing by Stochastic Refusals for Testing Non-deterministic Systems
Testing is a validation activity used to check the systems 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 stochastic labeled transition systems (MSLTS). First, we propose a framework to generate SRGs from MSLTSs. Second, we present a new technique to generate automatically a canonical tester from stochastic refusal graph and conformance relation confSRG. Finally, implementation is proposed and the application of our approach is shown by an example.
Keywords: formal testing models, refusal graphs, concurrent systems, maximality semantics.
Download Full-Text
ABOUT THE AUTHOR
Kenza Bouaroudj
MISC Laboratory, University Mentouri Constantine, 25000, Algeria
Kenza Bouaroudj
MISC Laboratory, University Mentouri Constantine, 25000, Algeria