To main content

Schematic Generation of English-prose Semantics for a Risk Analysis Language Based on UML Interactions

Abstract

To support risk-driven testing, we have developed CORAL, a language for risk analysis based on UML interactions. In this paper, we present its semantics as a translation of CORAL diagrams into English prose. The CORAL semantics is developed to help software testers to clearly and consistently document, communicate and analyze risks in a risk-driven testing process. We first provide an abstract syntax and a translation algorithm. Then, we evaluate the approach based on some examples. We argue that the resulting English prose is comprehensible by testers, is consistent with the semantics of UML interactions, and has a complexity that is linear to the complexity of CORAL diagrams in terms of size.
Oppdragsgiver: Norwegian Research Council

Category

Report

Client

  • SINTEF AS / 102002253

Language

English

Author(s)

Affiliation

  • SINTEF Digital / Software and Service Innovation
  • SINTEF Digital / Software Engineering, Safety and Security

Year

2014

Publisher

SINTEF

Issue

A26407

ISBN

9788214053678

View this publication at Cristin