论文部分内容阅读
软件测试是软件质量保证的重要手段,测试用例的生成是软件测试的关键和难点.文中应用范畴划分测试方法产生测试框架,并引入线性规划模型,通过构造线性规划模型来实例化测试框架,并且较好地解决了测试框架是否可行的判断问题.同时结合票据计算的例子,探讨了从Z规格说明推导出测试用例的过程、方法和技术.
Z规格说明的测试用例自动生成
【摘 要】
：
软件测试是软件质量保证的重要手段,测试用例的生成是软件测试的关键和难点.文中应用范畴划分测试方法产生测试框架,并引入线性规划模型,通过构造线性规划模型来实例化测试框
【机 构】
：
上海第二工业大学计算机与信息学院,上海大学计算机工程与科学学院,上海水产大学爱恩学院
【出 处】
：
应用科学学报
【发表日期】
：
2006年4期
【基金项目】
：
国家自然科学基金资助项目（60373072）
其他文献
一、零和博弈下的剩余价值理论：零和博弈指的是所有博弈方的得益总和为零（一）合作的零和博弈：技术扣除论中的剩余价值理论，从经济技术层面对剩余价值做形式化的表达，显示财富是在工
钢琴传入我国的时间很短，大约一百年左右，近些年由于各方面的发展，不少家长都开始让自己的孩子学钢琴，学习钢琴的孩子越来越多。而音乐是人类表达情感一种方式，也是人类的另一种“
目的研究分析电镀行业人员与健康人群尿液中铜、铁、锰、锌、铬的含量。方法采用新鲜尿液直接进样和经硝酸高氯酸消化处理后样品进行比较分析，应用原子吸收光谱法进行测定分析