Monitoring with behavior view diagrams for debugging

Liang, Donglin; Kai, Xu

doi:10.1109/apsec.2005.82

Cited by 1 publication

(2 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The behavior view diagram (BVD) notation was first introduced in our previous work [9] for assisting the debugging of object-oriented programs. In this paper, we adopt this notation for specifying behavior contracts.…”

Section: Behavior View Diagramsmentioning

confidence: 99%

“…The eventsubscription system takes event descriptions from the execution monitors, detects the occurrences of events that match these descriptions, intercepts the program execution, and transfers the control to the appropriate execution monitors. Our previous work [9] used the Java Platform Debugging Architecture (JPDA) 4 for implementing the eventsubscription system to support the use of BVDs for interactive debugging. For testing, this approach of implementation may introduce too much overhead.…”

Section: Monitoring With Behavior Contractsmentioning

confidence: 99%

See 1 more Smart Citation

Testing Scenario Implementation with Behavior Contracts

Liang

Kai

2006

30th Annual International Computer Software and Applications Conference (COMPSAC'06)

View full text Add to dashboard Cite

This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract models how the scenarios for performing a designated task are expected to be implemented. Based on this contract, our tool can automatically monitor the program execution for checking important properties related to these scenarios. This capability can help testers to determine whether the scenarios have been implemented correctly. Our tool can also collect test coverage information w.r.t. the scenarios modeled by a behavior contract. Such information can be used to direct the testing efforts towards the less-covered scenarios, and to determine whether the implementation of these scenarios has been adequately tested. Therefore, using this tool should improve both the efficiency and effectiveness of testing OO systems.

show abstract

Section: Behavior View Diagramsmentioning

confidence: 99%

Section: Monitoring With Behavior Contractsmentioning

confidence: 99%