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 条
  • [41] Formal specification to support advanced model based testing
    Frajtak, Karel
    Bures, Miroslav
    Jelinek, Ivan
    2012 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2012, : 1311 - 1314
  • [42] Software Reliability Accelerated Testing Method Based on Mixed Testing
    Wu, Yumei
    Zhang, Yongqi
    Lu, Minyan
    ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 2010 PROCEEDINGS, 2010,
  • [43] Method of software testing based on program understanding
    Tang, Heping
    Huang, Shuguang
    Bao, Lei
    Li, Yongliang
    2010 2ND INTERNATIONAL CONFERENCE ON COMPUTER AND AUTOMATION ENGINEERING (ICCAE 2010), VOL 2, 2010, : 811 - 814
  • [44] A software debugging method based on pairwise testing
    Shi, L
    Nie, CH
    Xu, BW
    COMPUTATIONAL SCIENCE - ICCS 2005, PT 3, 2005, 3516 : 1088 - 1091
  • [45] Model-Based Software Regression Testing for Software Components
    Batra, Gagandeep
    Arora, Yogesh Kumar
    Sengupta, Jyotsna
    INFORMATION SYSTEMS, TECHNOLOGY AND MANAGEMENT-THIRD INTERNATIONAL CONFERENCE, ICISTM 2009, 2009, 31 : 138 - +
  • [46] Formal interpretation of software testing as inductive inference
    Zhu, Hong
    Software Testing Verification and Reliability, 1996, 6 (01) : 3 - 31
  • [47] A formal approach to AADL model-based software engineering
    Mkaouar, Hana
    Zalila, Bechir
    Hugues, Jerome
    Jmaiel, Mohamed
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2020, 22 (02) : 219 - 247
  • [48] A Formal Model for Component-Based Embedded Software Development
    Li, Changde
    Zhou, Xingshe
    Dong, Yunwei
    Yu, Zhiwen
    2009 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS, 2009, : 19 - 23
  • [49] An integral software process formal model based on the SOCCA approach
    Acuña, ST
    Sosa, MD
    XX INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY - PROCEEDINGS, 2000, : 162 - 171
  • [50] A Reward Based Formal Model for Distributed Software Defined Networks
    Vivek Srivastava
    Ravi Shankar Pandey
    Wireless Personal Communications, 2021, 116 : 691 - 707
12345