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
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
|Submitter:||Oscar Marius Nierstrasz|
|Date Deposited:||30 Jun 2016 07:36|
|Last Modified:||08 Feb 2017 11:48|
|Uncontrolled Keywords:||scg-pub snf-asa1 scg15 jb15 dicto-dsl|