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.
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.