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)

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

Actions (login required)

Edit item Edit item
Provide Feedback