项目名称: 软件测试中的若干组合结构研究

项目编号: No.11271280

项目类型: 面上项目

立项/批准年度: 2013

项目学科: 数理科学和化学

项目作者: 殷剑兴

作者单位: 苏州大学

项目金额: 68万元

中文摘要: 随着计算机技术的飞速发展,软件系统变得越来越庞大。软件开发带来了对于软件系统测试的许多挑战。组件之间的交互作用量大而且复杂,难以预料。在理论上,人们可对组件之间所有可能的交互作用逐一进行测试, 但这样的穷试方法在实践上显然是不可行的。在这样的背景下,组合测试作为一种科学、有效的软件测试方法受到了组合数学和软件工程领域中诸多学者的高度重视和密切关注,成为目前非常活跃的一个研究领域。研究的焦点是组合测试用例集的生成问题,即如何针对具体待测软件系统,构建规模尽可能小的测试用例集,以便在保证错误检测和定位能力的前提下尽可能降低测试成本、提高测试效率。本项目瞄准当前软件系统测试面临的挑战和组合设计领域前沿,研究作为软件测试用例集的变强度覆盖阵、定位阵和检测阵等若干组合结构的构造问题、优化问题及其相关问题。项目研究成果的取得将为软件测试提供新的组合方法和新的组合测试用例集。

中文关键词: 软件测试;测试用例集;最优性;定界;码

英文摘要: With the rapid development of computer technology, software systems become increasingly large. Component-based software development poses many challenges for the software testing. Interactions among components are complex and numerous. Components are prone to unexpected interaction faults. Ideally, one would test all possible interactions, but this is usually infeasible in practice. Under this circumstance, as an effective and scientific approach of software tests, combinatorial testing methods have attracted greatly many researchers from software engineering and combinatorial community, and become a very active research area currently. The research focus is the generation of software test suites,that is, how to build the smallest possible test suite in order to minimize test cost and improve test efficiency under the premise of ensuring the capability of detecting/locating interaction-faults for the given software system to be tested. This project aims to the present challenges software tests face and the forefront of combinatorial designs. It will investigate the existence, construction, optimality and related problems for several combinatorial configurations being test suits, which include variable-strength covering arrays, locating arrays and detecting arrays et al. Research results of this project will p

英文关键词: Software testing;test suites;optimality;bounding;codes

成为VIP会员查看完整内容
0

相关内容

软件多缺陷定位方法研究综述
专知会员服务
20+阅读 · 2022年1月25日
专知会员服务
54+阅读 · 2021年9月18日
专知会员服务
34+阅读 · 2021年8月1日
【硬核书】图论、组合优化和算法手册,1217页pdf
专知会员服务
158+阅读 · 2021年6月29日
专知会员服务
92+阅读 · 2021年1月24日
专知会员服务
78+阅读 · 2020年8月4日
FPGA加速系统开发工具设计:综述与实践
专知会员服务
65+阅读 · 2020年6月24日
专知会员服务
80+阅读 · 2020年6月20日
Go应用单元测试实践
阿里技术
0+阅读 · 2022年4月8日
程序员大部分时间都在“熟悉系统”
CSDN
0+阅读 · 2022年4月6日
肖新光建议:加速推进软件安全工程相关工作
CCF计算机安全专委会
1+阅读 · 2022年3月7日
观点:AI与自动化是矛盾的
THU数据派
2+阅读 · 2022年2月24日
ICSE 2021:微软亚洲研究院精选论文,洞察软件工程前沿研究
微软研究院AI头条
0+阅读 · 2021年5月25日
智能合约的形式化验证方法研究综述
专知
15+阅读 · 2021年5月8日
实验室论文被 ASE 2019 录用
inpluslab
16+阅读 · 2019年8月9日
国家自然科学基金
1+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2010年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
Arxiv
23+阅读 · 2018年10月1日
小贴士
相关主题
相关VIP内容
软件多缺陷定位方法研究综述
专知会员服务
20+阅读 · 2022年1月25日
专知会员服务
54+阅读 · 2021年9月18日
专知会员服务
34+阅读 · 2021年8月1日
【硬核书】图论、组合优化和算法手册,1217页pdf
专知会员服务
158+阅读 · 2021年6月29日
专知会员服务
92+阅读 · 2021年1月24日
专知会员服务
78+阅读 · 2020年8月4日
FPGA加速系统开发工具设计:综述与实践
专知会员服务
65+阅读 · 2020年6月24日
专知会员服务
80+阅读 · 2020年6月20日
相关资讯
Go应用单元测试实践
阿里技术
0+阅读 · 2022年4月8日
程序员大部分时间都在“熟悉系统”
CSDN
0+阅读 · 2022年4月6日
肖新光建议:加速推进软件安全工程相关工作
CCF计算机安全专委会
1+阅读 · 2022年3月7日
观点:AI与自动化是矛盾的
THU数据派
2+阅读 · 2022年2月24日
ICSE 2021:微软亚洲研究院精选论文,洞察软件工程前沿研究
微软研究院AI头条
0+阅读 · 2021年5月25日
智能合约的形式化验证方法研究综述
专知
15+阅读 · 2021年5月8日
实验室论文被 ASE 2019 录用
inpluslab
16+阅读 · 2019年8月9日
相关基金
国家自然科学基金
1+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2010年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
微信扫码咨询专知VIP会员