分布式环境下基于多UIO的测试序列生成方法

来源 :上海大学学报(英文版) | 被引量 : 0次 | 上传用户:chenlm08
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
In developing distributed systems, conformance testing is required to determine whether an implementation under test (IUT) conforms to its specification. With distributed test architectures involving multiple remote testers, testing approaches may become more complicated because of issues known as controllability and observability problems. Based on a finite state machine (FSM) representation of the systems specification, this paper proposes a new method to generate a test sequence utilizing multiple UIO sequences. The method is essentially guided by the way of minimizing the use of external coordination messages and input/output operations. Experiments are given to evaluate the proposed method.
其他文献
提高水下结构在受到爆炸冲击后的抗冲性的一个重要方法是采用性能优良的抗冲击材料,为了研究橡胶元件对水下结构的抗冲击性能的影响,利用ANSYS有限元分析软件,建立带有橡胶元
暖通与空调工程是大型建筑物的重要工程,也是安装工程的施工难点之一,必须严格管控施工质量,才能实现暖通空调工程的正常上作。本文通过对暖通空调施工和调试中常见的几点问题进
本文对管桩工程施工中监理检查要点及目标值进行论述,同时根据管桩施工中的特点提出注意事项。根据选用管桩类型和打桩机械设备进行贯入度的计算。
近年来,随着我国社会经济的飞速发展和城市化建设进程的不断加快,工程建设也取得了很大的进步。作为现代建筑工程的重要内容和核心组成部分,土木工程的施工质量影响深远而又重大
地基属于隐蔽工程,建筑工程竣工后难以检查,一旦发生事故,难以补救,甚至造成严重性的后果。因此,研究分析建筑工程地基质量控制措施与方法是十分必要的。本文从施工材料质量、测量
在经济发展的同时,各种管道安装工程也越来越多,工程量的增多,对工程管道安装质量与技术提出了新的要求和挑战,管道安装一定要合乎相应的技术准和质量准。由此管道安装人员要熟悉
利用先进的通信技术、计算机技术和自动控制技术。基于集中控制系统的策略,设计了以Pc机作为监控主机.无线通信为主要通讯方式,单片机作为远程控制终端核心的多路密码遥控系
建筑工程施工的质量缺陷问题已经成为当今社会关注焦点之一。建筑施工质量缺陷主要存在于混凝土工程、钢筋工程、基桩工程、墙面抹灰工程等中,其质量问题出现的原因很大一部分
住宅建筑防水是一门综合性很强的工程技术,对建筑工程的使用功能起着至关重要的作用,它虽不像结构设计那样受到重视但忽视它将会带来诸多问题,有时甚至影响到整个建筑物的安全。
近些年我国的建筑工程数量急剧增长,建筑工程的难度系数也越来越大,高空作业等施工项目越来越常见,加之目前建筑工程管理存在很大问题,导致施工事故时有发生。因此如何加强建筑工