非确定性系统的动态测试过程
A Dynamic Testing Procedure of Nondeterministic System作者机构：内蒙古大学计算机学院
出 版 物：《内蒙古大学学报（自然科学版）》 (Journal of Inner Mongolia University：Natural Science Edition)
年 卷 期：1999年第30卷第2期
页 面：247-253页
学科分类：08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家自然科学基金
摘 要：针对非确定性系统，提出一种新的相容性测试方法．即扩展〔１〕中所提出的对确定的有限状态机进行动态测试的方法，使之可应用于非确定的带标记转换系统．与以往方法相比，该方法可获得更符合实际的测试结果．
维普期刊数据库
同方期刊数据库