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.

Category

Academic chapter/article/Conference paper

Client

  • EC/FP7 / 333053
  • Research Council of Norway (RCN) / 201579
  • EC/FP7 / 256980
  • EC/FP7 / 316853
  • Research Council of Norway (RCN) / 232059

Language

English

Author(s)

Affiliation

  • University of Oslo
  • SINTEF Digital / Software and Service Innovation

Year

2014

Publisher

IEEE

Book

Proceedings IEEE 25th International Symposium on Software Reliability Engineering Workshops ISSREW 2014, 3-6 November, 2014, Naples, Italy

ISBN

978-1-4799-7377-4

Page(s)

305 - 310

View this publication at Cristin