The Open UniversitySkip to content
 

An automated approach to monitoring and diagnosing requirements

Wang, Yiqiao; McIlraith, Sheila A.; Yu, Yijun and Mylopoulos, John (2007). An automated approach to monitoring and diagnosing requirements. In: 22nd IEEE/ACM international conference on Automated software engineering, 7-9 Nov 2007, Atlanta, Georgia, USA.

DOI (Digital Object Identifier) Link: http://dx.doi.org/10.1145/1321631.1321675
Google Scholar: Look up in Google Scholar

Abstract

Monitoring the satisfaction of software requirements and diagnosing what went wrong in case of failure is a hard problem that has received little attention in the Software and Requirement Engineering literature. To address this problem, we propose a framework adapted from artificial intelligence theories of action and diagnosis. Specifically, the framework monitors the satisfaction of software requirements and generates log data at a level of granularity that can be tuned adaptively at runtime depending on monitored feedback. When errors are found, the framework diagnoses the denial of the requirements and identifies problematic components. To support diagnostic reasoning, we transform the diagnostic problem into apropositional satisfiability (SAT) problem that can be solved by existing SAT solvers. We preprocess log data into a compact propositional encoding that better scales with problem size. The proposed theoretical framework has been implemented as a diagnosing component that will return sound and complete diagnoses accounting for observed aberrant system behaviors. Our solution is illustrated with two medium-sized publicly available case studies: a Web-based email client and an ATM simulation. Our experimental results demonstrate the feasibility of scaling our approach to medium-size software systems.

Item Type: Conference Item
Extra Information: The paper received the ACM SIGSOFT Distinguished Paper award.
Keywords: Diagnostics; monitors; design; theory; verification
Academic Unit/Department: Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Item ID: 10263
Depositing User: Yijun Yu
Date Deposited: 14 Dec 2007
Last Modified: 02 Dec 2010 20:06
URI: http://oro.open.ac.uk/id/eprint/10263
Share this page:

Altmetrics

Scopus Citations

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk