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
9 Citations

Figures from this paper.

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


Automation of GUI testing using a model-driven approach
  • 95
  • Highly Influential
  • PDF
The category-partition method for specifying and generating fuctional tests
  • 874
  • Highly Influential
  • PDF
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking
  • 30
  • PDF
Generating Test Cases Specifications for BPEL Compositions of Web Services Using SPIN
  • 101
  • PDF
A Graph-Search Based Approach to BPEL4WS Test Generation
  • Y. Yuan, Z. Li, Wei Sun
  • Computer Science
  • 2006 International Conference on Software Engineering Advances (ICSEA'06)
  • 2006
  • 106
  • PDF
Process Modeling for BPR: Event-Process Chain Approach
  • Y. Kim
  • Computer Science
  • ICIS
  • 1995
  • 27
  • PDF
BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach
  • 105
Using formal methods to derive test frames in category-partition testing
  • P. Ammann, J. Offutt
  • Computer Science
  • Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance
  • 1994
  • 148
  • PDF
OWL-S-Based Automated Test Case Generation for Web Service
  • 1