非确定并发系统的基于说明的测试推导  

Specification-Based Testing of Non-deterministic Concurrent Systems

作　　者：刘咏梅[1] 叶新铭[1] 

机构地区：[1]内蒙古大学计算机学院,内蒙古呼和浩特010021

出　　处：《内蒙古大学学报（自然科学版）》2001年第1期106-111,共6页Journal of Inner Mongolia University：Natural Science Edition

基　　金：国家自然科学基金

摘　　要：讨论具有非确定性的分布式并发软件系统 ,对论文〔1〕的行为机构造方法和测试推导方法进行了扩展 ,使之可同时适用于确定的和非确定的并发系统 .This paper addresses the problem of non determinism for distributed concurrent software systems. We modify the construction algorithm of behavior machine and test derivation arithmetic based on behavior machine in the techniques 〔1〕 ,so that they are the same with deterministic and non deterministic concurrent software systems.

关 键 词：分布式并发系统 非确定性 带标记转换系统 PETRI网 行为机 

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