论文部分内容阅读
软件测试是对软件功能、设计和实现的最终审定,是保证软件质量,提高软件可靠性的主要技术手段。测试数据生成是软件测试的核心与关键。 边界是特别容易出现故障的地方。针对边界附近的处理,设计专门的测试用例,常常可以取得良好的测试效果。边界值测试是一种常用的功能测试方法。 软件容错通过软件冗余,来屏蔽软件故障,改善软件系统的可靠性。N版本程序设计是一种通用的软件容错方法。冗余捆绑式惯性测量单元-RSDIMU(Redundant Strapped-Down Inertial Measurement Unit)是采用N版本程序设计方法开发的容错软件。 本文提出了一种新的边界测试数据生成方法,并开发了一个相应的测试数据自动生成工具。针对RSDIMU容错软件的需求规范,开发了52个测试用例,对CUHK开发的34个版本的RSDIMU程序和429个变异体进行了测试。在经过验收测试的34个版本的RSDIMU程序中,又发现了7个软件故障,并且这52个测试用例可以检测到所有429个变异体中的故障。同时和采用边界值分析、健壮性测试、最坏情况测试和健壮最坏情况测试等边界值测试方法设计的4组测试用例进行了分析比较。实验表明:本文提出的方法是一种非常有效的边界测试数据生成方法,不仅可以