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
相关论文
共 50 条
  • [21] rCOS: a formal model-driven engineering method for component-based software
    Wei Ke
    Xiaoshan Li
    Zhiming Liu
    Volker Stolz
    Frontiers of Computer Science, 2012, 6 : 17 - 39
  • [22] Research on software safety growth testing method based on FTPM model
    Ji, Zhongxiao
    Jiang, Guohua
    PROCEEDINGS OF THE 2015 4TH NATIONAL CONFERENCE ON ELECTRICAL, ELECTRONICS AND COMPUTER ENGINEERING ( NCEECE 2015), 2016, 47 : 588 - 594
  • [23] A Formal Model of Similarity Testing for Inheritance in Object-Oriented Software
    Benlhachmi, Khalid
    Benattou, Mohammed
    2012 COLLOQUIUM ON INFORMATION SCIENCE AND TECHNOLOGY (CIST'12), 2012, : 38 - 42
  • [24] A Software Quantitative Assessment Method Based on Software Testing
    Zhang, Weixiang
    Liu, Wenhong
    Du, Huisen
    INTELLIGENT COMPUTING THEORIES AND APPLICATIONS, ICIC 2012, 2012, 7390 : 300 - 307
  • [25] Avionics system testing based on formal methods
    Li, Rui
    Lian, Hang
    Ma, Shi-Long
    Li, Tao
    Ruan Jian Xue Bao/Journal of Software, 2015, 26 (02): : 181 - 201
  • [26] Formal methods in testing software architectures
    Bertolino, A
    Inverardi, P
    Muccini, H
    FORMAL METHODS FOR SOFTWARE ARCHITECTURES, 2003, 2804 : 122 - 147
  • [27] On the integration of software testing and formal analysis
    Braione P.
    Denaro G.
    Pezzè M.
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011, 7007 LNCS : 158 - 193
  • [28] Formal Testing Applied in Embedded Software
    Li, Zhen
    Liu, Bin
    Ma, Ning
    Yin, Yongfeng
    PROCEEDINGS OF 2009 8TH INTERNATIONAL CONFERENCE ON RELIABILITY, MAINTAINABILITY AND SAFETY, VOLS I AND II: HIGHLY RELIABLE, EASY TO MAINTAIN AND READY TO SUPPORT, 2009, : 697 - 702
  • [29] Software and system modeling based on a unified formal semantics
    Broy, M
    Huber, F
    Paech, B
    Rumpe, B
    Spies, K
    REQUIREMENTS TARGETING SOFTWARE AND SYSTEMS ENGINEERING, 1998, 1526 : 43 - 68
  • [30] Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost.
    Sijtema, Marten
    Stoelinga, Marielle T. A.
    Belinfante, Axel
    Marinelli, Lawrence
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2011, 6959 : 117 - +
12345