基于缺陷模式和区间运算的缺陷检测系统
作者单位：北京邮电大学
学位级别：硕士
导师姓名：陈俊亮
授予年度：2009年
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
摘 要：随着软件功能越来越强大,软件的规模和复杂性也日益庞大和增高,这就导致开发人员难以彻底完全理解软件,因此软件测试成为保证软件质量的重要手段。与此同时软件测试的手段也发生了重大变化,软件的自动化测试越来越突显其重要性。因此开发一个软件缺陷检测系统具有重大价值。 软件测试从测试方法上大体可以分为两大类,即:动态测试和静态测试。本文开发的自动化测试工具属于静态测试工具。然而自动静态测试的技术难点尤为突出,本文针对不同的故障设计了不同的检测算法,与此同时本文提取了各种缺陷检测的共同部分组成了系统框架模块,因此本文构建的系统具有高度扩展性。本文的创新点在于提出了利用区间运算来降低系统误报率的方法。
同方学位论文库