|
Title:
|
AUTOMATIC TESTING TOOL FOR JAVA ADTS |
|
Author(s):
|
Miguel Ángel Quintans Rojo , Virginia Escuder Cabañas |
|
ISBN:
|
972-99353-6-X |
|
Editors:
|
Nuno Guimarães and Pedro Isaías |
|
Year:
|
2004 |
|
Edition:
|
2 |
|
Keywords:
|
Object-oriented software testing, unit testing, abstract data types. |
|
Type:
|
Poster/Demonstration |
|
First Page:
|
385 |
|
Last Page:
|
388 |
|
Language:
|
English |
|
Cover:
|
|
|
Full Contents:
|
click to dowload 
|
|
Paper Abstract:
|
The inherent properties of Abstract Data types are a good basis for systematic testing and for decoupling design and development of software. We propose checking the implementation of Java Classes for Abstract Data Types using the Java Class Interface Definition and an Oracle of Test Cases that specify expected results. This task is performed by a software tool proving for automatic Unit Testi |
|
|
|
|
|
|
