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] 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
  • [2] 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,
  • [3] Cobra: a light-weight tool for static and dynamic program analysis
    Holzmann G.J.
    Holzmann, Gerard J. (gholzmann@acm.org), 1600, Springer London (13): : 35 - 49
  • [4] Identifying vulnerabilities of SSL/TLS certificate verification in Android apps with static and dynamic analysis
    Wang, Yingjie
    Xu, Guangquan
    Liu, Xing
    Mao, Weixuan
    Si, Chengxiang
    Pedrycz, Witold
    Wang, Wei
    JOURNAL OF SYSTEMS AND SOFTWARE, 2020, 167
  • [5] Static analysis based correctness verification for mandatory access control framework
    Wu, Xin-Song
    Zhou, Zhou-Yi
    He, Ye-Ping
    Liang, Hong-Liang
    Yuan, Chun-Yang
    Jisuanji Xuebao/Chinese Journal of Computers, 2009, 32 (04): : 730 - 739
  • [6] The research of aspect-oriented dynamic analysis based on static analysis
    Han, Lifang
    Hou, Tingting
    Shan, Songling
    Li, Yikang
    Cui, Baojiang
    2015 10TH INTERNATIONAL CONFERENCE ON BROADBAND AND WIRELESS COMPUTING, COMMUNICATION AND APPLICATIONS (BWCCA 2015), 2015, : 114 - 119
  • [7] DyTa: Dynamic Symbolic Execution Guided with Static Verification Results
    Ge, Xi
    Taneja, Kunal
    Xie, Tao
    Tillmann, Nikolai
    2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2011, : 992 - 994
  • [8] An approach for mapping features to code based on static and dynamic analysis
    Rohatgi, Abhishek
    Hamou-Lhadj, Abdelwahab
    Rilling, Juergen
    PROCEEDINGS OF THE 16TH IEEE INTERNATIONAL CONFERENCE ON PROGRAM COMPREHENSION, 2008, : 234 - 239
  • [9] Template-based program verification and program synthesis
    Srivastava S.
    Gulwani S.
    Foster J.S.
    Srivastava, S. (saurabhs@cs.berkeley.edu), 1600, Springer Verlag (15): : 497 - 518
  • [10] Combined Static and Dynamic Analysis
    Artho, Cyrille
    Biere, Armin
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 131 : 3 - 14
12345