Research on Automatic Generation of Test Cases for on-board Equipment CTCS-3Based on Model

YI Cheng-long; LI Kai-cheng; ZHOU Jing-jing

doi:10.3969/j.issn.1673-159X.2014.02.013

YI Cheng-long, LI Kai-cheng, ZHOU Jing-jing. Research on Automatic Generation of Test Cases for on-board Equipment CTCS-3Based on Model[J]. Journal of Xihua University(Natural Science Edition), 2014, 33(2): 58-62. DOI: 10.3969/j.issn.1673-159X.2014.02.013

Citation:

Research on Automatic Generation of Test Cases for on-board Equipment CTCS-3Based on Model

Graphical Abstract

Abstract

Abstract

Aimed at the shortcomings of the artificial generating test sequences, In this paper, the authors put forward a method based on model. First according to the system requirements specification, under the environment of UPPAAL, the timed automaton is used to model the on-board equipment and check the model, then the model is put into Cover which is a tool based on coverage algorithm to automatically generate test cases, finally, the correctness of the automatic generation of test cases is analyzed.

FullText(HTML)

References (9)

Supplements (0)

Cited By

Turn off MathJax

Article Contents

Research on Automatic Generation of Test Cases for on-board Equipment CTCS-3Based on Model

Abstract

Catalog

Export File

Citation

Format

Content