基于组合抽象和路径分析的灰盒测试技术

项目名称： 基于组合抽象和路径分析的灰盒测试技术

项目编号： No.60903049

项目类型： 青年科学基金项目

立项/批准年度： 2010

项目学科： 金属学与金属工艺

项目作者： 严俊

作者单位： 中国科学院软件研究所

项目金额： 18万元

中文摘要： 随着实用软件的规模不断增加，其逻辑复杂性也相应的增加，工业界现有的（以人工为主的）软件测试方法很难确保测试的完备性。自动化测试技术成为软件测试的重要研究方向。在一些软件测试场景中，往往会出现部分模块的内部结构对于测试者不可见的情况。灰盒测试是将黑盒测试与白盒测试相结合的测试技术，能够有效地处理这种情况。本项目将研究一种新颖的灰盒测试技术。我们采用组合测试的方法将软件的部分模块抽象成简单的桩模块。进一步，采用基于路径的分析测试方法分析软件的代码，即可获得符合测试标准的测试用例，或者自动检测程序或者规范中的错误。这种测试方法具有较高的精度和自动化程度，同时又能处理较大规模的软件。本项目计划完成一个原型工具，并以Web服务软件作为一个应用场景来验证提出的灰盒测试技术的有效性。项目的成功实施将提出新的自动化测试技术或者显著地改进现有的测试方法。

中文关键词： 测试用例生成；灰盒测试；组合测试；路径分析技术；约束处理

英文摘要：

英文关键词： Test Generation；Gray-box testing；Combinatorial Testing；Path Analysis Techniques；Constraint Processing