Incorporating a contract-based test facility to the GUI framework

Canadian Conference on Electrical and Computer Engineering

Volumn 1, Issue , 2004, Pages 0405-0408

  Liu, Ting ^a   Dasiewicz, P ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

Author keywords

BIT; Design by contract; GUI framework; Software testing

Indexed keywords

ALGORITHMS; COMPUTER SOFTWARE; CONTRACTS; HIERARCHICAL SYSTEMS; OBJECT ORIENTED PROGRAMMING; SYSTEMS ANALYSIS;

BIT; DESIGN BY CONTRACT; GUI FRAMEWORKS; SOFTWARE TESTING;

GRAPHICAL USER INTERFACES;

EID: 4944257387     PISSN: 08407789     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)

1. Mohamed E. Fayad and Douglas C. Schmidt, "Object-oriented application frameworks," Communications of the ACM, vol. 40, no. 10, pp. 32-38, October, 1997.
2. B. Baudry, et al. "Robustness and diagnosability of OO systems design by contracts," Proc. International Symposium on Software Reliability (ISSRE), pp. 4-14, October, 2000.
3. S. Kim, John A. Clark and John A. McDermid, "Class mutation: mutation testing for object-oriented programs," Proc. Net. ObjectDays, October 9-12, 2000.
4. K.N.King and A.J Offutt, "A Fortran language system for mutation-based software testing," Software Practice and Experience, vol. 21, no. 7, pp. 686-718, July, 1991.
5. Bertrand Meyer, "Applying design by contract," IEEE Computer, vol. 25, no. 10, pp. 40-51, October, 1992.
6. Jean-Marc Jezequel, Daniel Deveaux and Yves Le Traon, "Reliable objects: lightweight testing for OO languages," IEEE Software, vol. 18, no. 4, pp. 76-83, July, 2001.
7. Daniel Deveaux, Patrice Prison and Jean-Mare Jezequel, "Increase software trustabuity with self-testable classes in Java," 13th Australian Software Engineering Conference (ASWEC'01) Canberra Australia, pp. 3-11, August, 2001.