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

[img] Text
Cara15a.pdf - Published Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (279kB) | Request a copy

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.

Item Type:

Conference or Workshop Item (Paper)


08 Faculty of Science > Institute of Computer Science (INF)
08 Faculty of Science > Institute of Computer Science (INF) > Software Composition Group (SCG)

UniBE Contributor:

Caracciolo, Andrea Enrico Francis


000 Computer science, knowledge & systems
500 Science > 510 Mathematics


ACM Press




Oscar Nierstrasz

Date Deposited:

30 Jun 2016 07:36

Last Modified:

12 Sep 2017 11:32

Publisher DOI:


Uncontrolled Keywords:

scg-pub snf-asa1 scg15 jb15 dicto-dsl





Actions (login required)

Edit item Edit item
Provide Feedback