Title :
Validating run-time interactions in distributed Java applications
Author :
Ghosh, Sudipto ; Bawa, Nishant ; Goel, Sameer ; Reddy, Y. Raghu
Author_Institution :
Dept. of Comput. Sci., Colorado State Univ., Fort Collins, CO, USA
Abstract :
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.
Keywords :
Java; formal specification; program testing; program verification; specification languages; Java RMI; Unified Modeling Language; conformance; debugging activities; distributed Java applications; interaction diagrams; runtime interactions; testing activities; Application software; Automatic testing; Computer science; Debugging; Java; Runtime; Software design; Software testing; System testing; Visualization;
Conference_Titel :
Engineering of Complex Computer Systems, 2002. Proceedings. Eighth IEEE International Conference on
Conference_Location :
Greenbelt, MD, USA
Print_ISBN :
0-7695-1757-9
DOI :
10.1109/ICECCS.2002.1181493
