Testing Object-Oriented Software
|
Testing Object-Oriented Software |
|
||||||||
|
|
|
|
|
|
|
|
|||
| Short description: In this project we study how modern software development techniques impact testing. As it is well-known, most work in testing has been done with "procedure-oriented" software in mind. With object-oriented approaches, testing should center on objects, classes, generic classes and superclasses, instead of subprograms. Moreover, in the presence of encapsulation, the only way to observe the state of an object is to call a method; thus there is a fundamental problem of observability when testing within an object-oriented framework. We also explore the use of formal specifications to specify the behaviour of objects, specification which is later used to guide the selection of test cases.
Persons involved: Stéphane Barbey, Didier Buchs, Cécile Péraire, This project is supported by the Swiss National Science Fondation (Nationalfonds), grant number 21-36038.92 Links |
 |
EPFL | IC | LGL | Research |
URL: http://lgl.epfl.ch/research/ongoing/testing.html
|
||
 |
||||
| Last modified |
 |
|||