Dicto: A Unified DSL for Testing Architectural Rules

Caracciolo, Andrea; Lungu, Mircea; Nierstrasz, Oscar (2014). Dicto: A Unified DSL for Testing Architectural Rules. In: Proceedings of the 2014 European Conference on Software Architecture Workshops. ECSAW '14 (pp. 1-4). New York, NY, USA: ACM 10.1145/2642803.2642824

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

Download (194kB) | Request a copy

Software architecture consists of a set of design choices that can be partially expressed in form of rules that the implementation must conform to. Architectural rules are intended to ensure properties that fulfill fundamental non-functional requirements. Verifying architectural rules is often a non- trivial activity: available tools are often not very usable and support only a narrow subset of the rules that are commonly specified by practitioners. In this paper we present a new highly-readable declarative language for specifying architectural rules. With our approach, users can specify a wide variety of rules using a single uniform notation. Rules can get tested by third-party tools by conforming to pre-defined specification templates. Practitioners can take advantage of the capabilities of a growing number of testing tools without dealing with them directly.

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; Lungu, Mircea and Nierstrasz, Oscar Marius
Subjects: 000 Computer science, knowledge & systems
500 Science > 510 Mathematics
ISBN: 978-1-4503-2778-7
Series: ECSAW '14
Publisher: ACM
Language: English
Submitter: Oscar Marius Nierstrasz
Date Deposited: 23 Apr 2015 09:06
Last Modified: 08 Feb 2017 11:24
Publisher DOI: 10.1145/2642803.2642824
Uncontrolled Keywords: scg-pub snf-asa scg14 jb14 dicto-dsl DSL; Software Architecture; Validation
BORIS DOI: 10.7892/boris.67036
URI: http://boris.unibe.ch/id/eprint/67036

Actions (login required)

Edit item Edit item
Provide Feedback