Affiliation:
1. Univ. of Massachusetts, Amherst
Abstract
Event Based Behavioral Abstraction (EBBA)
is a high-level debugging approach which treats debugging as a process of creating
models
of actual behavior from the activity of the system and comparing these to models of expected system behavior. The differences between the actual and expected models are used to characterize erroneous system behavior and direct further investigation.
A set of
EBBA-based tools
has been implemented that users can employ to construct libraries of behavior models and investigate the behavior of an errorful system through these models. EBBA evolves naturally as a cooperative distributed program that can take better advantage of computational power available in a network computer system to enhance debugging tool transparency, reduce latency and uncertainty for fundamental debugging activities and accommodate diverse, heterogeneous architectures.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Dynamics in Linked Data Environments;On the Move to Meaningful Internet Systems: OTM 2015 Workshops;2015
2. Discovering models of behavior for concurrent workflows;Computers in Industry;2004-04
3. Debugging in Distributed Systems;Encyclopedia of Software Engineering;2002-01-15
4. Software process validation;ACM Transactions on Software Engineering and Methodology;1999-04
5. PARFORMAN—AN ASSERTION LANGUAGE FOR SPECIFYING BEHAVIOR WHEN DEBUGGING PARALLEL APPLICATIONS;International Journal of Software Engineering and Knowledge Engineering;1996-12