Corpus ID: 16529183

Semi-Automatic Test Case Generation from Business Process Models

  title={Semi-Automatic Test Case Generation from Business Process Models},
  author={Tibor Bakota and {\'A}rp{\'a}d Besz{\'e}des and T. Gergely and Milan Imre Gyalai and T. Gyim{\'o}thy and D{\'a}niel F{\"u}leki},
In this work, we describe our method for designing test cases based on high level functional specifications – business process models. Category Partition Method (CPM) is used to automatically create test frames based on possible paths, which are determined by business rules. The test frames can then be used in the process of test case design, together with filtering and prioritization also given as CPM rules. We present the details of the adaptation of CPM, together with first experiences from… CONTINUE READING

Figures from this paper.

A Review of Automatic Test Cases Generation
  • 7
Contract-based test generation for data flow of business processes using constraint programming
  • 5
  • PDF
A survey of service oriented architecture systems testing
  • 10
  • PDF
A Holistic Model-driven Approach to Generate U 2 TP Test Specifications Using BPMN and UML
  • 2
  • Highly Influenced
  • PDF
Extended Choice Relation Framework for Workflow Testing
  • 1
  • PDF
Business Process Quality Measurement using Advances in Static Code Analysis
Model-based Regression Testing of Evolving Software Systems


Publications referenced by this paper.
The category-partition method for specifying and generating fuctional tests
  • 871
  • Highly Influential
  • PDF
Automation of GUI testing using a model-driven approach
  • 95
  • Highly Influential
  • PDF
Generating Test Cases Specifications for BPEL Compositions of Web Services Using SPIN
  • 102
  • PDF
A Graph-Search Based Approach to BPEL4WS Test Generation
  • 106
  • PDF
Using formal methods to derive test frames in category-partition testing
  • 147
  • PDF
BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach
  • 104
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking
  • 30
  • PDF
Process Modeling for BPR: Event-Process Chain Approach
  • 27
  • PDF
Automatic Test Data Generation for XML Schema-based Partition Testing
  • 32