Document Type

Conference Proceeding

Publisher

IEEE Conference Publishing Services

Faculty

Computing, Health and Science

School

Computer and Information Science

RAS ID

6100

Comments

This article was originally published as: Farooq, U. , Lam, C. P., & Li, H. (2008). Towards Automated Test Sequence Generation. Proceedings of 19th Australian Conference on Software Engineering ASWEC 2008 (pp. 441-450). Australia: Perth WA. IEEE Conference Publishing Services. Original article available here

© 2008 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.

Abstract

The article presents a novel control-flow based test sequence generation technique using UML 2.0 activity diagram, which is a behavioral type of UML diagram. Like other model-based techniques, this technique can be used in the earlier phases of the development process owing to the availability of the design models of the system. The activity diagram model is seamlessly converted into a colored Petri net. We proposed a technique that enables the automatic generation of test sequences according to a given coverage criteria from the execution of the colored Petri nets model. Two types of structural coverage criteria for AD based models, namely sequential and concurrent coverage are described. The proposed technique was applied to an example to demonstrate its feasibility and the generated test sequences were evaluated against selected coverage criteria. This technique can potentially be adapted to service oriented applications, workflows, and concurrent applications.

DOI

10.1109/ASWEC.2008.4483233

Access Rights

free_to_read

 
COinS
 

Link to publisher version (DOI)

10.1109/ASWEC.2008.4483233