Validating run-time interactions in distributed Java applications

Distributed Java applications represent a large growth area in software. Validating such applications using information from runtime interactions is a challenge. We propose techniques for visualizing interactions, specifying and verifying assertions, and checking conformance of the implementation wi...

Full description

Saved in:
Bibliographic Details
Main Authors: Ghosh, S., Bawa, N., Goel, S., Reddy, Y.R.
Format: Conference Proceeding
Language:English
Subjects:
Application software
Automatic testing
Computer science
Debugging
Java
Runtime
Software design
Software testing
System testing
Visualization
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Distributed Java applications represent a large growth area in software. Validating such applications using information from runtime interactions is a challenge. We propose techniques for visualizing interactions, specifying and verifying assertions, and checking conformance of the implementation with its design. Our work helps in making the debugging and testing activities more systematic.
DOI:10.1109/ICECCS.2002.1181493