A Theory of Specification-Based Testing for Object-Oriented Software
A Theory of Specification-Based Testing for Object-Oriented Software
复制标题
面向对象软件的基于规范的测试理论
DOI：
--
复制
发表时间：
1996
期刊：
影响因子：
--
通讯作者：
Cécile Péraire
中科院分区：
文献类型：
--
作者：
Stéphane Barbey;Didier Buchs;Cécile Péraire
目前的面向对象软件测试策略都缺乏有效执行这一任务所必需的形式化基础。我们提出了适应面向对象的软件的现有理论测试无状态ADT，通过检查其实现符合其规格，在一个类中找到错误。我们目前不久在一个非正式的方式面向对象的语言，CO-OPN/2，在这种语言中，我们将编写规范。我们引入了一个测试的概念，考虑到可能的和不可能的序列调用类方法。我们研究了黑盒测试过程，并给出了技术来选择一个有限的和相关的测试集，从一个详尽的测试集，包括所有可能的行为下测试类，通过应用测试约简假设。我们还研究了一个甲骨文的建设，分析测试结果的过程，适应面向对象的软件。
The current strategies for testing object-oriented software all lack the formal basis which is necessary to perform this task efficiently. We propose the adaptation to object-oriented software of an existing theory of testing for stateless ADTs, to find errors in a class by checking that its implementation meets its specification. We present shortly in an informal way an object-oriented language, CO-OPN/2, in which language we will write the specification. We introduce a notion of test that takes into account the possible and impossible sequences of call of class methods. We examine the black-box test procedure, and give techniques to select a finite and pertinent test set from an exhaustive test set, including all the possible behaviors of the class under test, by applying test reduction hypothesis. We also study the construction of an oracle, the procedure that analyses the results of the tests, adapted to object-oriented software.