A Unified Approach to Automatic Testing of Architectural Constraints

Caracciolo, Andrea Enrico Francis (2015). A Unified Approach to Automatic Testing of Architectural Constraints. In: Proceedings of ICSE 2015 (37st International Conference on Software Engineering), Doctoral Symposium 2 (pp. 871-874). ACM Press 10.1109/ICSE.2015.281

Text Cara15a.pdf - Published Version Restricted to registered users only Available under License Publisher holds Copyright. Download (279kB)

Architectural decisions are often encoded in the form of constraints and guidelines. Non-functional requirements can be ensured by checking the conformance of the implementation against this kind of invariant. Conformance checking is often a costly and error-prone process that involves the use of multiple tools, differing in effectiveness, complexity and scope of applicability. To reduce the overall effort entailed by this activity, we propose a novel approach that supports verification of human- readable declarative rules through the use of adapted off-the-shelf tools. Our approach consists of a rule specification DSL, called Dicto, and a tool coordination framework, called Probo. The approach has been implemented in a soon to be evaluated prototype.

Interest & Impact

Downloads

1 since deposited on 30 Jun 2016
0 in the past 12 months

Citations

5 Citations in Web of Science ®
6 Citations in Scopus

Search

in Google Scholar™

Services

Actions (login required)

Edit item

Actions (login required)

Edit item