基于扩展有限状态机的协议测试集生成研究

来源 :软件学报 | 被引量 : 0次 | 上传用户：ZHANGYJ000

【摘要】

：

与其他测试方法相比,主要解决了自动生成可执行测试序列的问题.首先介绍现有的基于扩展有限状态机的测试生成算法,这些算法虽然结合了控制流和数据流的测试,但是并没有解决测

【作者】

：

王建国吴建平

【机构】

：

清华大学计算机科学与技术系

【出处】

：

软件学报

【发表日期】

：

2001年8期

【关键词】

：

一致性测试有限状态机测试集生成通信协议 conformance testing test case generation tree and tabul

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

与其他测试方法相比,主要解决了自动生成可执行测试序列的问题.首先介绍现有的基于扩展有限状态机的测试生成算法,这些算法虽然结合了控制流和数据流的测试,但是并没有解决测试序列的可执行问题.重点解决了包含有影响循环测试序列的可执行性问题,并通过预先发现循环的中断条件而减少不可用的测试路径的产生.另外,给出了算法的详细说明.

其他文献

窄带调频（NBFM）信号的矢量分析

期刊

窄带调频矢量分析调制信号频率调制振幅调制边频合成波信息分析

卡特尔16种人格因素测验在班主任工作中的应用

期刊

16种人格因素卡特尔十六种人格因素班主任工作人格特征测验结果能力倾向心理测验效度和信度人格特质

唱响技工教育高质量发展主旋律

笔者以人社部职业能力建设智库专家的身份，将负责《职业》理事会专家岗位的相关工作。经初步沟通，形成的基本思路是，整合《职业》理事会和技工院校高技能人才培养联的职业教育资源，加强《职业》理事会与联盟两个平台的互动配合，为技工院校提供更加有效的服务，促进全国技工院校高质量发展，唱响技工教育高质量發展主旋律。《职业》理事会常务副理事长、技工院校高技能人才培养联盟理事长荀凤元《职业》理事会和联盟要加强技工

期刊

质量发展技工教育主旋律高技能人才培养职业能力建设《职业》职业教育资源技工院校

基于数据分解的并发面向对象程序开发方法

提出了一种从ＶＤＭ－ＳＬ规约到并发面向对象程序的开发方法，这种方法基于ＤＤ－ＶＤＭ在此基础上提出了虚拟原子，服务并行和内部并行等概念，继而提出一种嵌套面向对象结构来体现这些功能，分别从共享量并

期刊

数据分解面向对象程序设计语言程序开发方法Formal method data decomposition nested objectoriented

物理化学中的重要状态函数—熵

热力学第二定律揭示了自然界所发生的一切实际过程的共同特点：它们都是热力学上的不可逆过程，但克劳修斯、开尔文等人对热力学第二定律的表述都只是定性的表述，不能定量说明过程

期刊

物理化学状态函数熵热力学第二定律热传导熵变熵流不可逆过程

Quick Basic下的直接窗口

期刊