Leveraging text analytics to improve software testing

利用文本分析改进软件测试

• 批准号: 479579-2015
• 负责人: Tan, Lin
• 金额: $ 2.91万
• 依托单位: University of Waterloo
• 依托单位国家: 加拿大
• 项目类别: Collaborative Research and Development Grants
• 财政年份: 2015
• 资助国家: 加拿大
• 起止时间: 2015-01-01 至 2016-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=580152
• 关键词: Leveraging; text; analytics; improve; software

Software testing is the common practice to ensure software correctness and discover as many bugs before software release. A fundamental challenge of software testing is that the number of execution paths grow exponentially as the program size increases and can be infinite. For most real-world programs, it is impossible to test all execution paths. In practice, one needs to use search heuristics to prioritize execution paths, compromise accuracy by combining paths, and use other techniques to test programs. Valid program inputs typically need to follow certain constraints. Focusing on valid or close-to-valid inputs (for boundary cases) can help test the core functionalities of the program, which improves testing coverage and effectiveness. Traditional software testing techniques are unaware of input constraints, and thus unaware of which paths lead to the processing of valid inputs. This project will automatically extract input constraints from documents by using text analytics techniques. It will then use these input constraints to favour execution paths that execute a program's core functionalities during software testing. Testing with invalid inputs is also very important, e.g., to check error-handling code or find defects due to malformed inputs. Therefore, strategies to negate the constraints efficiently for testing error-handling code will also be explored. Regardless of what inputs (valid or invalid) to focus on, one cannot do so without knowing what inputs are valid and what are not. The proposed approach enables this choice by extracting input constraints from software documents automatically. In addition, new approaches will be designed to analyze other software text to guide software testing to focus on code regions that are more likely to contain defects. These approaches will enhance the effectiveness of automatic test generation and bug detection.

软件测试是确保软件正确性和在软件发布前发现尽可能多的错误的常用做法。软件测试的一个基本挑战是，执行路径的数量随着程序大小的增加呈指数增长，并且可能是无限的。对于大多数实际的程序，测试所有的执行路径是不可能的。在实践中，需要使用搜索启发式来确定执行路径的优先级，通过组合路径来降低准确性，并使用其他技术来测试程序。