基于抽象内存模型的复杂类型测试用例生成方法研究-东篱科研大数据发现系统（DRDS）

位置：立项数据库 > 立项详情页

基于抽象内存模型的复杂类型测试用例生成方法研究

项目名称：基于抽象内存模型的复杂类型测试用例生成方法研究
项目类别：青年科学基金项目
批准号：61202080
申请代码：F0202
项目来源：国家自然科学基金
研究期限：2013-01-01-2015-12-31

项目负责人：王雅文
依托单位：北京邮电大学
批准年度：2012

中文摘要：

随着计算机系统的规模和复杂性急剧增加，计算机软件的开发成本以及由于软件故障而造成的生命财产损失也在不断增加，软件测试作为软件质量保证的重要手段越来越受到人们的重视。单元测试作为软件测试过程的重要环节，其自动化测试方法和理论的研究正在向纵深层次发展。复杂数据类型因其结构动态变化、约束关系复杂等特点使其测试用例的生成问题成为目前学术界研究的一大热点和难点。本课题从软件单元测试中复杂类型测试用例的自动生成问题着眼，建立统一的抽象内存模型来静态表示变量之间的结构和约束关系，提出完备的操作语义模拟算法，将实际操作语义映射为对抽象内存的操作，以便精确分析语句的上下文环境。在此基础上，提取路径中的符号约束表达式，分析非数值型约束构造出测试用例的形状，求解数值型约束得出数值域符号的取值，从而构造出测试用例。这一项目的成功实施，将有助于提高软件单元测试的自动化程度，提高软件测试的效率和软件质量水平。

中文主题词：面向路径；复杂类型；抽象内存模型；操作语义；约束系统

结论摘要：

英文主题词Path-wise；Complex Type；Abstract Memory Model；Operator Semantic；Constraint System

成果综合统计