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)
Division/Institute: 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
Subjects: 000 Computer science, knowledge & systems
500 Science > 510 Mathematics
Publisher: ACM Press
Language: English
Submitter: Oscar Marius Nierstrasz
Date Deposited: 30 Jun 2016 07:36
Last Modified: 08 Feb 2017 11:48
Publisher DOI: 10.1109/ICSE.2015.281
Uncontrolled Keywords: scg-pub snf-asa1 scg15 jb15 dicto-dsl
BORIS DOI: 10.7892/boris.82269
URI: http://boris.unibe.ch/id/eprint/82269

Actions (login required)

Edit item Edit item
Provide Feedback