文献类型：期刊文章

作　　者：赵保华[1] 柯尧[1]

机构地区：[1]中国科学技术大学计算机系安徽省计算与通讯软件重点实验室,安徽合肥230027

出　　处：《小型微型计算机系统》

基　　金：国家自然科学基金重大研究计划项目(90104010)资助;国家"九七三"项目(2003CB314801)资助;国家自然科学基金项目(60241004)资助.

年　　份：2006

卷　　号：27

期　　号：11

起止页码：2146-2149

语　　种：中文

收录情况：AJ、BDHX、BDHX2004、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、IC、INSPEC、JST、RCCSE、SCOPUS、ZGKJHX、核心刊

摘　　要：协议一致性冒烟测试是在协议软件开发过程中进行的突显功能测试.冒烟测试系统需要解决测试功能选择、测试用例设计、测试系统实现以及二次开发接口等问题,本文在协议形式化描述模型上使用贪心算法进行测试功能选择,将测试需求转换成测试目的后自动生成测试用例,设计并实现了一个测试系统和一套完整的二次开发接口,并使用该系统对IP协议栈的一些协议进行了测试.

关 键 词：冒烟测试  贪心算法 测试目的  

分 类 号：TP311]