Abstract
Testing is one of the most well-established techniques for the verification and validation of systems. Since success or failure verdicts are emitted with respect to the test case execution results, proper test case selection activities need to be performed. In this paper, we propose an approach to address the problem of generating symbolic test cases to test whether an implementation conforms to its specification, given in terms of reactive systems. This approach is based on a unified symbolic semantic model which can unify data operation and abstract behavior. We adapt the sioco conformance relation to deal with this symbolic model, and then describe a test case generation process, as well as a symbolic execution algorithm based on on-the-fly strategy. The approach has been illustrated on a simple example while the soundness and completeness of the symbolic notions is demonstrated.
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call