论文部分内容阅读
给出了配对组合测试参数约束分类方法及相关定义。重点对有2值型约束的情况进行了研究，得出有2值型约束存在时虽然所需覆盖的配对数减少，但测试集不一定减小的结论；给出有2值型约束时测试集的最小下限，并证明之。最后介绍了能够有效解决配对组合测试参数约束问题的HPC_IPO约束控制算法。
配对组合测试中参数约束问题研究
【摘 要】
：
给出了配对组合测试参数约束分类方法及相关定义。重点对有2值型约束的情况进行了研究，得出有2值型约束存在时虽然所需覆盖的配对数减少，但测试集不一定减小的结论；给出有2值型
【机 构】
：
上海师范大学计算机科学与工程系
【出 处】
：
计算机工程与科学
【发表日期】
：
2011年3期
【基金项目】
：
国家自然科学基金资助项目（60673067）,上海市科委项目（09220503000）,上海市教委科研创新重点项目（0922135）
其他文献
农业部副部长高鸿宾在日前召开的中国畜牧业协会第三次会员代表大会上说，“十二五”时期我国畜牧业协会除了继续在企业、农牧民和政府部门间发挥好桥梁纽带作用外，还将进一步推
1产房冲洗消毒不彻底产房猪只的管理一般都是采取全进全出的模式,在新的一批母猪进产房之前,必须对圈舍进行一次彻底的冲洗,但在实际操作过程中,要做到＂彻底＂二字就不容易了,经
近日，总投资22亿元，作为省市重点项目的中粮集团成都产业园项目一期工程，将在今年5月正式投产。整个项目建成之后将实现年销售收入60亿元以上。中粮成都产业园自2011年4月底全面