Software System Testing Method Based on Formal Model

被引：0
作者：
Zhang, Weixiang [1 ]
Liu, Wenhong [1 ]
Wei, Bo [1 ]
机构：
[1] Beijing Inst Tracking & Telecommun Technol, Beijing, Peoples R China
来源：
2017 2ND IEEE INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND BIG DATA ANALYSIS (ICCCBDA 2017) | 2017年
关键词：
system testing; formal model; test case generation; scenario modeling; software testing;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
To do software testing of a large-scale and high-complexity security-critical software system is a difficult task in engineering practice. In this paper, a software system testing method based on formal model is proposed. Firstly, the software function, performance and interface were abstracted, and gave the formal definition of software system. Secondly, different strategies of cue analysis were proposed to identify the requirements of software system testing. Then, the process, the stage and the scene analysis of the software system were carried out, and the scene tree model which could describe the system level behavior of the software was established. Finally, the test coverage criterion based on the scene tree model was proposed, and formal static checking and dynamic test cases generation method were given to generate test case set. Experiments show that the method is effective and feasible.
引用
收藏
页码：410 / 415
页数：6
相关论文
共 20 条
  • [1] Bieber P, 2002, LECT NOTES COMPUT SC, V2485, P19
  • [2] China National Standardization Administration Committee, 2006, 114572006 GBT
  • [3] China National Standardization Administration Committee, 2008, 155322008 GBT
  • [4] A survey of automated techniques for formal software verification
    D'Silva, Vijay
    Kroening, Daniel
    Weissenbacher, Georg
    [J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2008, 27 (07) : 1165 - 1178
  • [5] Lettrari Marc., 2001, Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML'01), P317
  • [6] Li Rui, 2015, Journal of Software, V26, P181, DOI 10.13328/j.cnki.jos.004775
  • [7] Marchetti E., 2011, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), P89, DOI 10.1109/ICSTW.2011.64
  • [8] THE DESIGN AND IMPLEMENTATION OF A GRAMMAR-BASED DATA GENERATOR
    MAURER, PM
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1992, 22 (03) : 223 - 244
  • [9] Orso Alessandro, 2014, FUTURE SOFTWARE ENG, P117, DOI DOI 10.1145/2593882.2593885
  • [10] Paul C. I, 2011, SOFTWARE TESTING CRA, V3, P184
12