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 条
  • [21] An Abstract Specification Language for Static Program Analysis
    Vistein, Michael
    Ortmeier, Frank
    Reif, Wolfgang
    Huuck, Ralf
    Fehnker, Ansgar
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 254 : 181 - 197
  • [22] Fade to Grey: Tuning Static Program Analysis
    Fehnker, Ansgar
    Huuck, Ralf
    Seefried, Sean
    Tapp, Michael
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2010, 266 : 17 - 32
  • [23] Use of static analysis during program development
    Marakakis, EI
    Proceedings of the Eighth IASTED International Conference on Artificial Intelligence and Soft Computing, 2004, : 66 - 71
  • [24] Static and dynamic analysis of Timoshenko beam model based on the finite volume method
    Jing, Lilong
    Zhang, Wenping
    Ming, Pingjian
    Fu, Lirong
    Liu, Xiaogang
    Harbin Gongcheng Daxue Xuebao/Journal of Harbin Engineering University, 2015, 36 (09): : 1217 - 1222and1275
  • [25] Static Code Analysis for Software Security Verification: Problems and Approaches
    Zhioua, Zeineb
    Short, Stuart
    Roudier, Yves
    2014 38TH ANNUAL IEEE INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS (COMPSACW 2014), 2014, : 102 - 109
  • [26] Trusted Computing Dynamic Attestation by Using Static Analysis based Behavior Model
    Yu, Fajiang
    Tang, Xianglei
    Yu, Yue
    Li, Tong
    Yang, Tong
    2011 NINTH IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS WORKSHOPS (ISPAW), 2011, : 1 - 6
  • [27] Using Static Analysis to Reduce Dynamic Analysis Overhead
    Suan Hsi Yong
    Susan Horwitz
    Formal Methods in System Design, 2005, 27 : 313 - 334
  • [28] Using static analysis to reduce dynamic analysis overhead
    Yong, SH
    Horwitz, S
    FORMAL METHODS IN SYSTEM DESIGN, 2005, 27 (03) : 313 - 334
  • [29] Program Verification Enhanced Precise Analysis of Interrupt-Driven Program Vulnerabilities
    Du, Xiang
    Yin, Liangze
    Feng, Haining
    Dong, Wei
    2021 28TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2021), 2021, : 253 - 263
  • [30] Static and Dynamic Analysis of a Usage Control System
    Schopp, Ulrich
    Faghih, Fathiyeh
    Bandopadhyay, Subhajit
    Joumaa, Hussein
    Ibrahim, Amjad
    Xu, Chuangjie
    Ye, Xin
    Dimitrakos, Theo
    PROCEEDINGS OF THE 29TH ACM SYMPOSIUM ON ACCESS CONTROL MODELS AND TECHNOLOGIES, SACMAT 2024, 2024, : 59 - 70
12345