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) [discontinued]

UniBE Contributor:

Caracciolo, Andrea Enrico Francis

Subjects:

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

Publisher:

ACM Press

Language:

English

Submitter:

Oscar Nierstrasz

Date Deposited:

30 Jun 2016 07:36

Last Modified:

05 Dec 2022 14:56

Publisher DOI:

10.1109/ICSE.2015.281

Uncontrolled Keywords:

scg-pub snf-asa1 scg15 jb15 dicto-dsl

BORIS DOI:

10.7892/boris.82269

URI:

https://boris.unibe.ch/id/eprint/82269

Actions (login required)

Edit item Edit item
Provide Feedback