The method of test case generation based on GCL language

Zuo Hua Ding; Jeff Sanders; Ming Yue Jiang; Na Zhang; Ge Guang Pu

doi:10.3724/SP.J.1016.2014.02492

The method of test case generation based on GCL language

Zuo Hua Ding^*
, Jeff Sanders
, Ming Yue Jiang
, Na Zhang
, Ge Guang Pu

^*Corresponding author for this work

Software Engineering Institute

Research output: Contribution to journal › Article › peer-review

1 Scopus citations

Abstract

A formal method is presented to generate test cases for programs written in Guarded-Command-Language (GCL). The laws provided by Hoare et al. guarantee the correctness of the test cases. Semantics of the language provides the framework for the test case generation. Our method may be considered as a rigorous and automatic approach to the test case generation. From this method, we can get at least the following benefits: all the test cases are feasible, the state explosion problem can be avoided in the test case generation process, and this method can be extended to any target languages. A prototype tool written in Haskell has been built to support our method.

Original language	English
Pages (from-to)	2492-2504
Number of pages	13
Journal	Jisuanji Xuebao/Chinese Journal of Computers
Volume	37
Issue number	12
DOIs	https://doi.org/10.3724/SP.J.1016.2014.02492
State	Published - 1 Dec 2014

Keywords

Condition calculation
Execution tree
Guarded-Command-Language
Software testing
Test case

Access to Document

10.3724/SP.J.1016.2014.02492

Cite this

@article{481a57acdcbc4c3b80436491d1f368dc,

title = "The method of test case generation based on GCL language",

abstract = "A formal method is presented to generate test cases for programs written in Guarded-Command-Language (GCL). The laws provided by Hoare et al. guarantee the correctness of the test cases. Semantics of the language provides the framework for the test case generation. Our method may be considered as a rigorous and automatic approach to the test case generation. From this method, we can get at least the following benefits: all the test cases are feasible, the state explosion problem can be avoided in the test case generation process, and this method can be extended to any target languages. A prototype tool written in Haskell has been built to support our method.",

keywords = "Condition calculation, Execution tree, Guarded-Command-Language, Software testing, Test case",

author = "Ding, \{Zuo Hua\} and Jeff Sanders and Jiang, \{Ming Yue\} and Na Zhang and Pu, \{Ge Guang\}",

year = "2014",

month = dec,

day = "1",

doi = "10.3724/SP.J.1016.2014.02492",

language = "英语",

volume = "37",

pages = "2492--2504",

journal = "Jisuanji Xuebao/Chinese Journal of Computers",

issn = "0254-4164",

publisher = "Science Press ",

number = "12",

}

TY - JOUR

T1 - The method of test case generation based on GCL language

AU - Ding, Zuo Hua

AU - Sanders, Jeff

AU - Jiang, Ming Yue

AU - Zhang, Na

AU - Pu, Ge Guang

PY - 2014/12/1

Y1 - 2014/12/1

N2 - A formal method is presented to generate test cases for programs written in Guarded-Command-Language (GCL). The laws provided by Hoare et al. guarantee the correctness of the test cases. Semantics of the language provides the framework for the test case generation. Our method may be considered as a rigorous and automatic approach to the test case generation. From this method, we can get at least the following benefits: all the test cases are feasible, the state explosion problem can be avoided in the test case generation process, and this method can be extended to any target languages. A prototype tool written in Haskell has been built to support our method.

AB - A formal method is presented to generate test cases for programs written in Guarded-Command-Language (GCL). The laws provided by Hoare et al. guarantee the correctness of the test cases. Semantics of the language provides the framework for the test case generation. Our method may be considered as a rigorous and automatic approach to the test case generation. From this method, we can get at least the following benefits: all the test cases are feasible, the state explosion problem can be avoided in the test case generation process, and this method can be extended to any target languages. A prototype tool written in Haskell has been built to support our method.

KW - Condition calculation

KW - Execution tree

KW - Guarded-Command-Language

KW - Software testing

KW - Test case

UR - https://www.scopus.com/pages/publications/84920070989

U2 - 10.3724/SP.J.1016.2014.02492

DO - 10.3724/SP.J.1016.2014.02492

M3 - 文章

AN - SCOPUS:84920070989

SN - 0254-4164

VL - 37

SP - 2492

EP - 2504

JO - Jisuanji Xuebao/Chinese Journal of Computers

JF - Jisuanji Xuebao/Chinese Journal of Computers

IS - 12

ER -

The method of test case generation based on GCL language

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this