A Cockburn

D Janzen

EM Clarke

H Mei

JCM Baeten

K Beck

K Schwaber

M Marquard

M Pesic

R Hull

S Debois

S Zugal

T Hildebrandt

Thomas T. Hildebrandt

English

We introduce open tests to support iterative test-driven process modelling. Open tests generalise the trace-based tests of Zugal et al. to achieve modularity: whereas a trace-based test passes if a model exhibits a particular trace, an open test passes if a model exhibits a particular trace up to abstraction from additional activities not relevant for the test. This generalisation aligns open tests better with iterative test-driven development: open tests may survive the addition of activities and rules to the model in cases where trace-based tests do not. To reduce overhead in re-running tests, we establishing sufficient conditions for a model update to preserve test outcomes. We introduce open tests in an abstract setting that applies to any process notation with trace semantics, and give our main preservation result in this setting. Finally, we instantiate the general theory for the DCR Graph process notation, obtaining a method for iterative test-driven DCR process modelling.</p

Slaats, Tijs

Debois, Søren

Hildebrandt, Thomas

Copenhagen University Research Information System

Open to change:A theory for iterative test-driven modelling

We introduce open tests to support iterative test-driven pro- cess modelling. Open tests generalise the trace-based tests of Zugal et. al. to achieve modularity: whereas a trace-based test passes if a model exhibits a particular trace, an open test passes if a model exhibits a particular trace up to abstraction from additional activities not relevant for the test. This generalisation aligns open tests better with iterative test-driven development: open tests may survive the addition of activi- ties and rules to the model in cases where trace-based tests do not. To reduce overhead in re-running tests, we establishing sufficient conditions for a model update to preserve test outcomes. We introduce open tests in an abstract setting that applies to any process notation with trace semantics, and give our main preservation result in this setting. Finally, we instantiate the general theory for the DCR Graph process notation, obtaining a method for iterative test-driven DCR process modelling

The IT University of Copenhagen's Repository

Open to Change: A Theory for Iterative Test-Driven Modelling

Crossref

https://pure.itu.dk/ws/files/83757499/Tijs_Slaats_et_al._2018_Open_to_Change_A_Theory_for_Iterative_Test_Driven.pdf

Open to Change: A Theory for Iterative Test-Driven Modelling

Abstract

Similar works

Full text

Available Versions

Copenhagen University Research Information System

The IT University of Copenhagen's Repository

Crossref