Z规格说明的测试用例自动生成

Journal of Applied Sciences ›› 2006, Vol. 24 ›› Issue (4): 377-381.

• Articles • Previous Articles Next Articles

Automatic Generation and Evaluation of Test Case Based on Z Specifications

ZHU Bing^1,2, MIAO Huai-kou², WANG Na³

1. School of Computer & Information, Shanghai Second Polytechnic University, Shanghai 201209, China;
2. School of Computer Engineering and Science, Shanghai University, Shanghai 200072;
3. IEN Institute, Shanghai Fisheries University, Shanghai 201300, China

Received:2005-03-02 Revised:2005-05-20 Online:2006-07-31 Published:2006-07-31

Abstract

Abstract: Software testing is important in software quality assurance, in which test case is crucial.In this paper, a test frame is produced through category-partition, a linear programming model is constructed using the test frame, and linear programming model is solved to give an example of the test frame.A solution is also given to judge whether a test frame is feasible or not.Finally an example is presented based on invoice computation to illustrate the generation process of the test case from Z specifications, with a detailed discussion on the method used.

Key words: category-partition testing, test case, linear programming model, Z, formalized specification

CLC Number:

TP311.5

ZHU Bing, MIAO Huai-kou, WANG Na. Automatic Generation and Evaluation of Test Case Based on Z Specifications[J]. Journal of Applied Sciences, 2006, 24(4): 377-381.

Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks

URL: https://www.jas.shu.edu.cn/EN/

https://www.jas.shu.edu.cn/EN/Y2006/V24/I4/377

[1]	LIU Xuedong, TIAN Wen, ZHANG Shuang, DAI Yuewei, SHI Huaifeng. A Position Optimization Method for Dual-UAV Double-Assisted Covert Communication [J]. Journal of Applied Sciences, 2026, 44(2): 181-197.
[2]	DING Guangtai, LIU Tong, ZHI Xiaoli, WU Pin, TONG Weiqin. A Fast Algorithm for Matrix Multiplication Based on “Regularization-Filtering-Resampling” [J]. Journal of Applied Sciences, 2026, 44(2): 297-315.
[3]	LIANG Xinyan, SUN Jingyun, CAI Guojing, CHEN Hailong. Parallel TimesNet-Informer Model for Process Quality Prediction Using STL Decomposition and Crested Porcupine Optimizer [J]. Journal of Applied Sciences, 2026, 44(2): 330-344.
[4]	WU Wenqiang, CHEN Aibin, LI Xiaoyao. Forest Image Dehazing Based on Feature Fusion Attention and Contrastive Learning [J]. Journal of Applied Sciences, 2026, 44(1): 97-109.
[5]	JIN Zhengyang, YAN Shaohong, ZHANG Yanbo, YAO Xulong, TAO Zhigang, CHEN Zhiyuan. Three-Dimensional Fuzzy Clustering Algorithm Integrating Spatial Texture Features [J]. Journal of Applied Sciences, 2026, 44(1): 134-148.
[6]	GUO Yanchun, XIONG Bangshu, LI Wenchao, WEN Shuyuan. Low-Light Image Enhancement of Helicopter Blades Based on Zero-Shot Network [J]. Journal of Applied Sciences, 2025, 43(6): 990-1002.
[7]	YAN Zhenguo, CHEN Yang, LIU Rufei, WANG Jinbo, ZHANG Jiaqi. Point Cloud Segmentation Method for Trees in Forest Sample Plots Based on Spatial Proximity [J]. Journal of Applied Sciences, 2025, 43(6): 1003-1014.
[8]	HAN Jiajie, YUAN Qingyang, ZHANG Bo, ZHAO Xin, LAN Tian, LI Yu. Improved Gappy POD Algorithm for Noisy Data Reconstruction Problems Based on Few Measurement Points [J]. Journal of Applied Sciences, 2025, 43(5): 740-756.
[9]	CHENG Ao, ZHANG Kangkang, PAN Xuan. A Cross-Chain Protocol for Notary Group Based on Decentralized Secret Sharing Mechanism [J]. Journal of Applied Sciences, 2025, 43(5): 877-892.
[10]	ZHANG Zhuang, ZOU Yilin, LIN Zepeng, LIU Jiayuan, ZI Zongqing, TAN Liang, SHE Kun. Formal Definition and Instance Verification Analysis of General Blockchain Cross-Chain Transactions [J]. Journal of Applied Sciences, 2025, 43(4): 559-585.
[11]	LUO Hongmei, WANG Changjiang, YANG Peijie, GUAN Xiaoyan, ZHOU Xiaojie, YU Hang. Seismic Phase Clustering Analysis Technology Based on Multi-granularity Ensemble Learning [J]. Journal of Applied Sciences, 2025, 43(4): 643-655.
[12]	SHAO Zilong, QI Lin, CHEN Kun, XU Yubin, QIN Kun, YU Changhui. Scene-Level Building Change Detection Based on Dense Connection and Multiple Instance [J]. Journal of Applied Sciences, 2025, 43(4): 656-671.
[13]	ZHOU Tongyang, TANG Xin, XU Yichen, SONG Chuqiao, BAI Jing, ZOU Yifei. Multi-pass PVO Reversible Data Hiding Based on Spatial Location Optimization [J]. Journal of Applied Sciences, 2025, 43(3): 387-402.
[14]	YANG Zhe, REN Yanli, ZHONG Yuege, FENG Guorui. Verifiable Privacy-Preserving Personalized Federated Learning [J]. Journal of Applied Sciences, 2025, 43(3): 463-474.
[15]	ZHU Yaohui, WANG Tao, PENG Zhenchun, LIU Han. 3D Trajectory Optimization and Resource Allocation in UAV-Assisted NOMA Communication Systems [J]. Journal of Applied Sciences, 2025, 43(2): 208-221.

Automatic Generation and Evaluation of Test Case Based on Z Specifications

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics

Comments