非确定性系统的动态测试过程  

A Dynamic Testing Procedure of Nondeterministic System

作　　者：刘咏梅[1] 叶新铭[1] 周建涛 赵玉兰 

机构地区：[1]内蒙古大学计算机学院

出　　处：《内蒙古大学学报（自然科学版）》1999年第2期247-253,共7页Journal of Inner Mongolia University：Natural Science Edition

基　　金：国家自然科学基金

摘　　要：针对非确定性系统，提出一种新的相容性测试方法．即扩展〔１〕中所提出的对确定的有限状态机进行动态测试的方法，使之可应用于非确定的带标记转换系统．与以往方法相比，该方法可获得更符合实际的测试结果．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.

关 键 词：相容性测试 测试序列树 非确定性系统 动态测试 

分 类 号：TP306.2[自动化与计算机技术—计算机系统结构]