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 条
  • [21] A test for the correct specification of marginal structural models
    Sall, Alioune
    Aube, Karine
    Trudel, Xavier
    Brisson, Chantal
    Talbot, Denis
    STATISTICS IN MEDICINE, 2019, 38 (17) : 3168 - 3183
  • [22] A consistent specification test for dynamic quantile models
    Horvath, Peter
    Li, Jia
    Liao, Zhipeng
    Patton, Andrew J.
    QUANTITATIVE ECONOMICS, 2022, 13 (01) : 125 - 151
  • [23] Specification test for Markov models with measurement errors
    Kim, Seonjin
    Zhao, Zhibiao
    JOURNAL OF MULTIVARIATE ANALYSIS, 2014, 130 : 118 - 133
  • [24] A note on a specification test for time series models based on spectral density estimation
    Dette, H
    Spreckelsen, I
    SCANDINAVIAN JOURNAL OF STATISTICS, 2003, 30 (03) : 481 - 491
  • [25] Specification test in panel ordered response models
    Chen, Yongwei
    Li, Kunpeng
    Zhang, Jie
    COMMUNICATIONS IN STATISTICS-SIMULATION AND COMPUTATION, 2023,
  • [26] A SPECIFICATION TEST FOR MODELS ESTIMATED BY THE CRAGG ESTIMATOR
    SADORSKY, PA
    ECONOMICS LETTERS, 1990, 33 (01) : 75 - 78
  • [27] ON SPECIFICATION OF REUSABLE SOFTWARE COMPONENTS
    SITARAMAN, M
    WELCH, LR
    HARMS, DE
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1993, 3 (02) : 207 - 229
  • [28] Tobias-Z: An executable formal specification of a test generator
    Ledru, Y.
    du Bousquet, L.
    ASE 2006: 21ST IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2006, : 353 - +
  • [29] Application of measurement models to specification of ultrasonic inspections
    Gray, TA
    REVIEW OF PROGRESS IN QUANTITATIVE NONDESTRUCTIVE EVALUATION, VOLS 16A AND 16B, 1997, 16 : 2061 - 2068
  • [30] A parametric specification test for linear spatial autoregressive models
    Tang, Yangbing
    Du, Jiang
    Zhang, Zhongzhan
    SPATIAL STATISTICS, 2023, 57
12345