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
Text
a21-caracciolo.pdf - Published Version Restricted to registered users only Available under License Publisher holds Copyright. Download (194kB) |
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) [discontinued] |
UniBE Contributor: |
Caracciolo, Andrea Enrico Francis, Lungu, Mircea, Nierstrasz, Oscar |
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 Nierstrasz |
Date Deposited: |
23 Apr 2015 09:06 |
Last Modified: |
02 Mar 2023 23:26 |
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: |
https://boris.unibe.ch/id/eprint/67036 |