The verification of the properties of a business
process (BP) has become a significant research topic in
recent years. In the early stages of development, the BP
model (e.g. BPMN, EPC), the BP contract (task contract,
regulations and laws, business rules), and the test
objectives (requirements) are the only elements available.
In order to support the modellers, automatic tools must be
provided in order to check whether their business
processes are in line with the BP contract.
This paper proposes a new business process called the
automatic test-case generator to automate the generation
of test cases and verify that a BP has the intended
functionality (semantic conformance). This generator is
analysed, designed and implemented by taking into
account the following tasks: Annotation of the BP model
with the business process contract, calculation of the
various data flow paths, transformation of these data flow
paths into SSA form, and a modelling of a constraint
satisfaction problem (constraint programming) of the BP
contract for all data flow paths. The execution of this
business process generates the test cases automatically.Junta de Andalucía P08-TIC-04095Ministerio de Ciencia e Innovación TIN2009-1371
