Research Initiation: Testing Object-Oriented Programs

计划研究测试面向对象程序的技术。面向对象程序设计是一种相对较新的程序设计方法，具有许多吸引人的软件工程特性。传统程序基于对被动数据进行操作的主动过程范式，而面向对象编程则采用对自身执行操作的主动数据对象范式。迄今为止，大多数关于软件测试的研究都集中在传统的编程语言上。面向对象编程的特性提出了几种额外的测试技术，这些技术可能允许更有效的测试。本研究将定义面向对象程序的几个测试技术系列，基于其中一些技术构建工具，并调查新技术的成本和有效性。

It is planned to investigate techniques for testing object-oriented programs. Object-oriented programming is a relatively new programming methodology which has many attractive software engineering features. While traditional programs are based on the paradigm of active procedures operating on passive data, object-oriented programming employs the the paradigm of active data objects which perform operations on themselves. To date, most research on software testing has focussed on traditional programming languages. The features of object-oriented programming suggest several additional testing techniques, which may allow for more effective testing. This research will define several families of testing techniques for object-oriented programs, build tools based on some of these techniques, and investigate the cost and effectiveness of the new techniques.