Date of Award
2009
Publication Type
Doctoral Thesis
Degree Name
Ph.D.
Department
Computer Science
Keywords
finite state machines, conformance testing, test generation, testing in context, test sequences, applied sciences, executability, implementation under test
Supervisor
Jessica Chen
Rights
info:eu-repo/semantics/openAccess
Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-No Derivative Works 4.0 International License.
Abstract
Testing each software component in isolation is not always feasible. We consider testing a deterministic Implementation Under Test (IUT) together with some other correctly implemented components as its context. One of the essential issues of testing in context is test executability problem, i.e., tests generated solely from the specification of the IUT may not be executable due to the uncontrollable interaction between the IUT and its context. On the other hand, generating a test sequence from the abstract specifications of a stateful IUT and its context often suffers from the well-known state explosion problem. In this dissertation, we solve the problem of generating a minimal-length test sequence from a given specification of a stateful IUT and its embedded context. By adopting model checking techniques, we avoid the state explosion problem during test generation and avoid the test executability problem during testing in context.
Recommended Citation
Duan, Lihua, "Testing in context: Efficiency and executability" (2009). Electronic Theses and Dissertations. 8202.
https://scholar.uwindsor.ca/etd/8202