基于输入/输出动作的协议形式化描述和测试用例生成方法
Formal description and test cases generation of protocols based on input/output sequence作者机构：南通大学计算机科学与技术学院江苏南通226019
出 版 物：《计算机应用》 (journal of Computer Applications)
年 卷 期：2008年第28卷第6期
页 面：1471-1474页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家自然科学基金资助项目(60773041) 江苏省高校自然科学重大基础研究项目(07KJA51007) 江苏省高校自然科学研究计划(05KJD520166) 南通市应用研究计划(K2007013) 2005年南通大学博士启动基金 南通大学自然科学基金项目(05Z057和06Z051) 江苏省高校"青蓝工程"资助项目
摘 要：通信协议的形式化描述及在其基础之上的协议测试用例生成,一直是协议工程的重要研究内容。为此尝试将RSL引入协议形式化描述:首先探讨了一种基于输入/输出动作模型的协议形式化描述方法;随后对基于RSL描述的协议测试技术展开了讨论,提出了一种基于输入/输出动作的协议测试序列生成法则以及基于此法则的测试用例生成方法,并对使用该方法生成的测试用例的性质进行了讨论。
维普期刊数据库
同方期刊数据库