DocumentCode
3208948
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
fYear
2002
fDate
2-4 Dec. 2002
Firstpage
7
Lastpage
16
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICECCS.2002.1181493
Filename
1181493
Link To Document