Pp. 235–248 of the Proceedings

Next: Abstract

IBDL: A Language for Interface Behavior Specification and Testing

Sreenivasa Viswanadha
Department of Computer Science
State University of New York
Albany, NY, 12222
sreeni@cs.albany.edu, https://www.cs.albany.edu/ sreeni

Deepak Kapur
Department of Computer Science
State University of New York
Albany, NY, 12222
kapur@cs.albany.edu, https://www.cs.albany.edu/ kapur

• Abstract
• Introduction
• Motivating Key Ideas using Examples
• Specification Methodology and IBDL
  • Hierarchical Specifications
  • The Model
  • Modules and Declarations
  • Interfaces
  • Exceptions
  • Types
  • Specifications for Messages
    • Type Signature
    • Exception Specifications
    • Termination Classification
    • Effect of a Message
    • Effect of a Message on Observers
    • Observers
    • Constructors
  • Special Operators
• Sequence Testing and Validation
  • Test Driver
  • Validation Class
    • IBDLObject Class
    • Validation Code for a Message Declaration
    • Validation of a Message
  • Language-Independent Testing
• Related Work
• Concluding Remarks And Future Work
• Bibliography
• Appendix
• About this document ...