| Residential College | false |
| Status | 已發表Published |
| On conformance testing of non-deterministic systems | |
| Ye X.; Zhou J.; Song X.; Liu Y. | |
| 2001 | |
| Source Publication | International Journal of Computer Mathematics
 |
| ISSN | 00207160 |
| Volume | 77Issue:1Pages:55-72 |
| Abstract | Conformance testing aims at checking if an implementation conforms to its specification. This paper presents the definition of distinguishing sequences of non-deterministic systems. It proposes a novel algorithm for derivation of distinguishing sequences in a reduced system based on an observational equivalence. It extends the previous method [2] for dynamic testing of deterministic finite state machines for testing non-deterministic labeled transition systems. |
| Keyword | Conformance Testing Distinguishing Sequence Of a Set Labeled Transition System Non-determinacy Observational Equivalence Test Path Selection Test Sequence Tree |
| DOI | 10.1080/00207160108805050 |
| URL | View the original |
| Language | 英語English |
| WOS ID | WOS:000168564300004 |
| Scopus ID | 2-s2.0-0034958184 |
| Fulltext Access | |
| Citation statistics | |
| Document Type | Journal article |
| Collection | University of Macau |
| Affiliation | Portland State University |
| Recommended Citation GB/T 7714 | Ye X.,Zhou J.,Song X.,et al. On conformance testing of non-deterministic systems[J]. International Journal of Computer Mathematics, 2001, 77(1), 55-72. |
| APA | Ye X.., Zhou J.., Song X.., & Liu Y. (2001). On conformance testing of non-deterministic systems. International Journal of Computer Mathematics, 77(1), 55-72. |
| MLA | Ye X.,et al."On conformance testing of non-deterministic systems".International Journal of Computer Mathematics 77.1(2001):55-72. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment