Generating Conformance Tests for Nondeterministic Protocol Machines

来源 :Journal of Computer Science and Technology | 被引量 : 0次 | 上传用户:zhaotong125555
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
We present a method of generating test cases from the software specifications which are modeled by nondeterministic finite state machines. It is applicable to both nondeterministic and deterministic finite state machines. When applied to deterministic machines, this method yields usually smaller test suites with full fault coverage than the existing methods that also assure full fault coverage. In particular, the proposed mehod can be used to test the control portion of software specified in the formalspecification languages SDL or ESTELLE. We present a method of generating test cases from the software specifications which are modeled by nondeterministic finite state machines. When applied to deterministic machines, this method occurs usually smaller test suites with full fault coverage than the existing methods that also assure full fault coverage. In particular, the proposed mehod can be used to test the control portion of software specified in the formal specification languages ​​SDL or ESTELLE.
其他文献
慢性肝脏疾病的腹水和水肿的形成机制是相当复杂的,一方面是由于血浆和细胞外间隙之间局部平衡的变化所引起液体重新分布;另一方面是由于引起机体内水与钠盐潴留的肾功能改
一提到简单机械,大家不由自主就会想到撬棒、滑轮、手钳等.不过你知道吗,我们常见的绿色交通工具——自行车,其实也是一个简单机械的组合!自行车,又称脚踏车、单车,因其无污
LLC类型3操作提供的是有确认无连接服务,它以最小的协议复杂性确保数据可靠传输。由于其速度快、开销小等优点,在miniMAP中得到实际应用。本文首先介绍类型3协议的功能、特性及类型3操作的服
当前,强化思想政治工作的关键要在服务经济、务求实效上下功夫,只有这样,才有可能建立起既能真正把思想政治工作落到实处,又能通过转换机能,改进内容和方法,适应市场经济要
本文提出了一种递归构造的、适用于基于消息传递(分布存储)的多计算机系统的互连网络──正四面体速归网络。在对该网络作出概述之后,讨论了该网络的通信问题。对网络的性能分析
我院于1964年至1972年以来,采用中草药蒟弱(注)膏,治愈50例瘰疬性皮肤结孩具有溃疡及瘘管者,收到满意疗效。50名患者中,男性22例,女性28例。年龄最小12岁,最大在50岁以上。
黄疸是一种临床表现,系由于胆红素代谢的障碍所引起。它牵涉到红细胞的衰老,肝细胞的功能,以及肝内外胆道的排泄功能等问题。临床上迂见的黄疸有时很不典型,诊断上有一定的
谆谆嘱托殷切期望──学习《邓小平文选》第三卷郭如瑾,李淑兰在《邓小平文选》第三卷中曾有两次讲到“政治交代”的问题,1989年5月31日,小平同志在同李鹏、姚依林谈话时说:“新的领导班
有位到南京纺织系统进行企业承包的私营主,没有改用新的厂名,而是延用了该企业的原厂名。究其缘故,原来是这位承包人看中了该厂的厂名和信誉。好一个精明的经营者,他实际上
一、现行中学思想政治课各年级教学内容的基本结构 1.心理品质课的基本框架 现行中学思想政治课初一年级主要对学生进行个性心理品质培养和思想方法教育。教材分上下两册共1