Assessing and Enhancing Software Testing Effectiveness

9870270为了测试一个软件，选择一组可能的输入，对每个输入执行软件，并根据规范检查结果。本研究解决了以下两个涉及成本效益测试技术发展的问题：评估现有测试技术的有效性和开发有效的方法来检查测试结果是否符合其规格。第一个提供数据，以帮助从业者在竞争的测试技术之间做出明智的选择；第二种方法降低了测试某些类型程序的成本，允许在给定的预算内进行更彻底的测试。测试技术的成本效益评价研究基于概率方法，因为大多数测试技术都涉及一些随机选择。成本模型被合并到几个有效性的概率度量中。检查测试结果的工作集中在测试数据抽象上，这是一种越来越重要的程序单元。开发了部分检验试验结果的新技术，并通过分析和实验对其有效性进行了研究

9870270 To test a piece of software, a set of possible inputs is selected, the software is executed on each of them, and the results are checked against the specification. This research addresses the following two issues involving the development of cost-effective testing techniques: evaluation of the effectiveness of existing testing techniques and development of efficient methods for checking test results against their specifications. The first provides data to help practitioners make informed choices between competing testing techniques; the second lowers the cost of testing certain types of programs, allowing more thorough testing within a given budget. The research on evaluation of cost-effectiveness of testing techniques is based on a probabilistic approach, since most testing techniques involve some random choice among alternatives. Models of cost are incorporated into several probabilistic measures of effectiveness. The work on checking test results focuses on testing data abstractions, an increasingly important kind of program unit. New techniques for partially checking test results are developed and their effectiveness is investigated analytically and through experimentation.***