Software engineering with abstractions
Software engineering with abstractions
The C programming language
Eiffel: the language
Towards a method of programming with assertions
ICSE '92 Proceedings of the 14th international conference on Software engineering
Shade: a fast instruction-set simulator for execution profiling
SIGMETRICS '94 Proceedings of the 1994 ACM SIGMETRICS conference on Measurement and modeling of computer systems
A Practical Approach to Programming With Assertions
IEEE Transactions on Software Engineering
EEL: machine-independent executable editing
PLDI '95 Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation
Object-oriented software engineering with Eiffel
Object-oriented software engineering with Eiffel
Reflections on software research
Communications of the ACM
The identification of integrity constraints in requirements for context monitoring
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
FasTLInC: a constraint-based tracing approach
Journal of Systems and Software
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
The problems being solved by today's software systems are becoming more complex and are requiring the integration of knowledge from multiple domains. As a result, traditional verification and validation techniques may not be sufficient to identify the existence of software faults. Augmenting these techniques with runtime software-fault monitoring can ensure that software behaves in accordance with constraints elicited from domain experts in varying areas or fields. Previous approaches to software-fault monitoring require the developer to specify pre- and post-conditions on modules, specify constraints on data types, and/or insert constraints at appropriate execution points. The approach described in this paper, Dynamic Monitoring with Integrity Constraints (DynaMICs), addresses issues that have hindered adoption of previous approaches by limiting human intervention to constraint definition and justification and minimizing performance degradation. Unlike other software-fault monitoring systems, DynaMICs captures domain-specific and implementation-independent knowledge through integrity constraints. This paper describes the techniques and knowledge that must be integrated in order to realize this system.