文献类型：期刊文章

作　　者：朱彬[1] 缪淮扣[2] 王娜[3]

机构地区：[1]上海第二工业大学计算机与信息学院,上海201209 [2]上海大学计算机工程与科学学院,上海200072 [3]上海水产大学爱恩学院,上海201300

出　　处：《应用科学学报》

基　　金：国家自然科学基金资助项目(60373072)

年　　份：2006

卷　　号：24

期　　号：4

起止页码：377-381

语　　种：中文

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

摘　　要：软件测试是软件质量保证的重要手段,测试用例的生成是软件测试的关键和难点.文中应用范畴划分测试方法产生测试框架,并引入线性规划模型,通过构造线性规划模型来实例化测试框架,并且较好地解决了测试框架是否可行的判断问题.同时结合票据计算的例子,探讨了从Z规格说明推导出测试用例的过程、方法和技术.

关 键 词：范畴划分测试  测试用例 线性规划 形式规格说明 Z

分 类 号：TP311.5]