Test Generation from Business Rules

Enterprise applications are dicult to test because their intended
functionality is either not described precisely enough or described
in cumbersome business rules. It takes a lot of e ort on the part
of a test architect to understand all the business rules and design
tests that “cover” them, i.e., exercise all their constituent scenarios.
Part of the problem is that it takes a complicated set up sequence
to drive an application to a state in which a business rule can even
fire. In this paper, we present a business rule modeling language
that can be used to capture functional specification of an enterprise
system. The language makes it possible to build tool support for
rule authoring, so that obvious deficiencies in rules can be detected
mechanically. Most importantly, we show how to mechanically
generate test sequences—i.e., test steps and test data—needed to
exercise these business rules. To this end, we translate the rules
into logical formulae and use constraint solving to generate test
sequences. One of our contributions is to overcome scalability issues
in this process, and we do this by using a novel algorithm for
organizing search through the space of candidate sequences to discover
covering sequences. Our results on three case studies show
the promise of our approach.

By: Simon Holm Jensen, Suresh Thummalapenta, Saurabh Sinha, Satish Chandra

Published in: RI14008 in 2014


This Research Report is available. This report has been submitted for publication outside of IBM and will probably be copyrighted if accepted for publication. It has been issued as a Research Report for early dissemination of its contents. In view of the transfer of copyright to the outside publisher, its distribution outside of IBM prior to publication should be limited to peer communications and specific requests. After outside publication, requests should be filled only by reprints or legally obtained copies of the article (e.g., payment of royalties). I have read and understand this notice and am a member of the scientific community outside or inside of IBM seeking a single copy only.


Questions about this service can be mailed to reports@us.ibm.com .