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 条
  • [11] Specification test on mixed logit models
    Hahn, Jinyong
    Hausman, Jerry
    Lustig, Josh
    JOURNAL OF ECONOMETRICS, 2020, 219 (01) : 19 - 37
  • [12] A specification test of stochastic diffusion models
    Shu-lin Zhang
    Zheng-hong Wei
    Qiu-xiang Bi
    Acta Mathematicae Applicatae Sinica, English Series, 2013, 29 : 529 - 540
  • [13] A SPECIFICATION TEST FOR NONLINEAR NONSTATIONARY MODELS
    Wang, Qiying
    Phillips, Peter C. B.
    ANNALS OF STATISTICS, 2012, 40 (02): : 727 - 758
  • [14] Improving the Specification of Business Application Requirements Based on Executable Models
    Filipovic, Milorad
    ProQuest Dissertations and Theses Global, 2023,
  • [15] Libraries of reusable models: Theory and application
    Breunese, APJ
    Broenink, JF
    Top, JL
    Akkermans, JM
    SIMULATION, 1998, 71 (01) : 7 - 22
  • [16] Formal specification and verification of reusable communication models for distributed systems architecture
    Rouland, Quentin
    Hamid, Brahim
    Jaskolka, Jason
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2020, 108 : 178 - 197
  • [17] WEAK SEPARABILITY AND A TEST FOR THE SPECIFICATION OF INCOME IN DEMAND MODELS WITH AN APPLICATION TO THE DEMAND FOR MEAT IN AUSTRALIA
    ALSTON, JM
    CHALFANT, JA
    AUSTRALIAN JOURNAL OF AGRICULTURAL ECONOMICS, 1987, 31 (01): : 1 - 15
  • [18] Estimating the coverage of the framework application reusable cluster-based test cases
    Al Dallal, Jehad
    Sorenson, Paul
    INFORMATION AND SOFTWARE TECHNOLOGY, 2008, 50 (06) : 595 - 604
  • [19] SPECIFICATION TEST FOR POISSON REGRESSION-MODELS
    LEE, LF
    INTERNATIONAL ECONOMIC REVIEW, 1986, 27 (03) : 689 - 706
  • [20] PARAMETRIC SPECIFICATION TEST FOR NONLINEAR AUTOREGRESSIVE MODELS
    Kim, Kun Ho
    Zhang, Ting
    Wu, Wei Biao
    ECONOMETRIC THEORY, 2015, 31 (05) : 1078 - 1101
12345