Modeling basic LOTOS by FSMs for conformance testing

Abstract

A challenging issue is the derivation of a nite test suite from a given LOTOS speci cation modeled by a labeled transition system (LTS) such that complete fault coverage is guaranteed for a certain class of implementations with respect to a particular conformance relation. It is shown in this paper that this problem can be solved by translating an LTS into… (More)

Topics

Cite this paper

@inproceedings{Tan1995ModelingBL, title={Modeling basic LOTOS by FSMs for conformance testing}, author={Qihua Tan and Alexandre Petrenko and Gregor von Bochmann}, booktitle={PSTV}, year={1995} }