| 非确定性系统的动态测试过程 |
| |
| 引用本文： | 刘咏梅 叶新铭. 非确定性系统的动态测试过程[J]. 内蒙古大学学报(自然科学版), 1999, 30(2): 247-253 |
| |
| 作者姓名： | 刘咏梅 叶新铭 |
| |
| 作者单位： | 内蒙古大学计算机学院 |
| |
| 摘 要： | 针对非确定性系统，提出一种新的相容性测试方法．即扩展〔１〕中所提出的对确定的有限状态机进行动态测试的方法，使之可应用于非确定的带标记转换系统．与以往方法相比，该方法可获得更符合实际的测试结果．
|
| 关 键 词： | 相容性测试；带标记转换系统；非确定性；测试序列树；测试路径选择 |
A Dynamic Testing Procedure of Nondeterministic System |
| |
| LIU Yong mei,YE Xin ming,ZHOU Jian tao,ZHAO Yu lan. A Dynamic Testing Procedure of Nondeterministic System[J]. Acta Scientiarum Naturalium Universitatis Neimongol, 1999, 30(2): 247-253 |
| |
| Authors: | LIU Yong mei YE Xin ming ZHOU Jian tao ZHAO Yu lan |
| |
| Abstract: | We propose a new approach to the conformance testing of the nondeterministic system.The new approach modifies the technique 1 which tests deterministic finite state machine dynamically,so it can be applied to the nondeterministic labeled transition system.Comparing with the conventional one,the proposed procedure gives more accurate verdicts. |
| |
| Keywords: | conformance testing labeled transition system nondeterminism test sequence tree test path selection |
| 本文献已被 CNKI 维普 等数据库收录！ |
