Reusable test models and application based on Z specification

被引：0

作者：

Cai, Lizhi ^{[1
,2
]}

Tong, Weiqin ^{[1
]}

Yang, Genxing ^{[2
]}

Liu, Zhenyu ^{[2
]}

机构：

[1] Shanghai Univ, Sch Engn & Comp Sci, Shanghai, Peoples R China

[2] Comp Software Technol, Shanghai Dev Ctr, Shanghai, Peoples R China

来源：

2007 2ND INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND APPLICATIONS, VOLS 1 AND 2 | 2007年

基金：

中国国家自然科学基金;

关键词：

reuse; test case; Z specification;

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

The reuse of the test cases is an effective means to reduce the cost and improve the efficiency of test case generation. This paper studies three generic reuse strategies, reusable property of data field, reusable state-base test process break down, test template framework. According to these reuse strategies, we have developed a reusable test case library. All the test cases will be described and proved in Z notation to improve their quality The test manage system using the test case library show that the reuse library mechanism can make testing better and faster.

引用

页码：523 / +

页数：2

共 50 条

[31] A SPECIFICATION TEST FOR UNIVARIATE AND MULTIVARIATE PROPORTIONAL HAZARDS MODELS
CROUCHLEY, R
PICKLES, A
BIOMETRICS, 1993, 49 (04) : 1067 - 1076
[32] A SIMPLE SPECIFICATION TEST FOR THE PREDICTIVE ABILITY OF TRANSFORMATION MODELS
WOOLDRIDGE, JM
REVIEW OF ECONOMICS AND STATISTICS, 1994, 76 (01) : 59 - 65
[33] Estimation and specification test for diffusion models with stochastic volatility
Lopez-Perez, A.
Febrero-Bande, M.
Gonzalez-Manteiga, W.
STATISTICAL PAPERS, 2025, 66 (02)
[34] TEST SPECIFICATION BASED ON TRACE DESCRIPTION
PETRENKO, AK
PROGRAMMING AND COMPUTER SOFTWARE, 1993, 19 (01) : 26 - 31
[35] Reusable specification modules for type analysis
Kastens, Uwe
Waite, William M.
SOFTWARE-PRACTICE & EXPERIENCE, 2009, 39 (09): : 833 - 864
[36] Reusable components and its specification language
Quan, Bingzhe
Ruan Jian Xue Bao/Journal of Software, 1994, 5 (01):
[37] Reusable formal specification for embedded systems
Arichika, Y
Araki, K
11TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2004, : 557 - 558
[38] Reusable architectural decision models for enterprise application development
Zimmermann, Olaf
Gschwind, Thomas
Kuester, Jochen
Leymann, Frank
Schuster, Nelly
SOFTWARE ARCHITECTURES, COMPONENTS, AND APPLICATIONS, 2007, 4880 : 15 - +
[39] Specification and development of database applications based on Z and SQL
Shahreza, Maryam Lotfi
Moeini, Ali
Mesbah, Rahmat Ollah
2009 INTERNATIONAL CONFERENCE ON INFORMATION MANAGEMENT AND ENGINEERING, PROCEEDINGS, 2009, : 399 - +
[40] A specification construction unit-based editor for Z
Ishikawa, H
Proceedings of the 29th Annual International Computer Software and Applications Conference, Workshops and Fast Abstracts, 2005, : 5 - 6

← 1 2 3 4 5 →