Verification of program dynamic behaviours based on static analysis

被引：0
|
作者：
Xu, Shanwei [1 ]
Dasiewicz, P. [1 ]
机构：
[1] Univ Waterloo, Dept Elect & Comp Engn, Waterloo, ON N2L 3G1, Canada
来源：
2008 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-4 | 2008年
关键词：
static analysis; state transition; interaction;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Verification of dynamic behaviours of a program is usually conducted by executing the program on the target platform under different test cases and observing the results. This paper investigates the use of static analysis to verify some aspects of dynamic behaviours including state transitions and sequences of interaction between program components. The paper describes an algorithm to extract a model of state transition directly from source code, regardless of the programming style; and the method of generating execution scenarios from the model to compare with use cases. Our experiments show that this static method is effective in detecting possible coding errors.
引用
收藏
页码：210 / 213
页数：4
相关论文
共 50 条
  • [1] Practical program verification by means of static analysis
    Seidl H.
    Informatik-Spektrum, 2010, 33 (05) : 484 - 488
  • [2] Relational Program Reasoning Using Compiler IR: Combining Static Verification and Dynamic Analysis
    Kiefer M.
    Klebanov V.
    Ulbrich M.
    Journal of Automated Reasoning, 2018, 60 (3) : 337 - 363
  • [3] Detecting integer bugs based on static and dynamic program analysis
    Chen, Ping
    Han, Hao
    Shen, Xiao-Bin
    Yin, Xin-Chun
    Mao, Bing
    Xie, Li
    Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2010, 38 (08): : 1741 - 1747
  • [4] Static Analysis-Based Behavior Model Building for Trusted Computing Dynamic Verification
    YU Fajiang1
    2. Key Laboratory of Aerospace Information Security and Trusted Computing of Ministry of Education
    Wuhan University Journal of Natural Sciences, 2010, 15 (03) : 195 - 200
  • [5] Automatic program assessment using static and dynamic analysis
    Arifi, Sara Mernissi
    Ouali, Ismail Nait Abdellah
    Zahi, Azeddine
    Benabbou, Rachid
    PROCEEDINGS OF 2015 THIRD IEEE WORLD CONFERENCE ON COMPLEX SYSTEMS (WCCS), 2015,
  • [6] Combined static and dynamic immutability analysis of java program
    Yu L.-Q.
    Wang L.-Z.
    Lei B.
    Zhao J.-H.
    Li X.-D.
    Jisuanji Xuebao/Chinese Journal of Computers, 2010, 33 (04): : 736 - 746
  • [7] Aiding program comprehension by static and dynamic feature analysis
    Eisenbarth, T
    Koschke, R
    Simon, D
    IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS: SYSTEMS AND SOFTWARE EVOLUTION IN THE ERA OF THE INTERNET, 2001, : 602 - 611
  • [8] Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification
    Wen, Cheng
    Cao, Jialun
    Su, Jie
    Xu, Zhiwu
    Qin, Shengchao
    He, Mengda
    Li, Haokun
    Cheung, Shing-Chi
    Tian, Cong
    COMPUTER AIDED VERIFICATION, PT II, CAV 2024, 2024, 14682 : 302 - 328
  • [9] A DYNAMIC LOGIC FOR PROGRAM VERIFICATION
    HEISEL, M
    REIF, W
    STEPHAN, W
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 363 : 134 - 145
  • [10] A Model-Based Approach to Combining Static and Dynamic Verification Techniques
    Azzopardi, Shaun
    Colombo, Christian
    Pace, Gordon
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES, PT I, 2016, 9952 : 416 - 430
12345