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 条
  • [31] 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
  • [32] 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
  • [33] A formal verification framework for static analysis
    Albert, Elvira
    Bubel, Richard
    Genaim, Samir
    Haehnle, Reiner
    Puebla, German
    Roman-Diez, Guillermo
    SOFTWARE AND SYSTEMS MODELING, 2016, 15 (04): : 987 - 1012
  • [34] FUSION OF STATIC IMAGE AND DYNAMIC INFORMATION FOR SIGNATURE VERIFICATION
    Alonso-Fernandez, F.
    Fierrez, I.
    Martinez-Diaz, M.
    Ortega-Garcia, J.
    2009 16TH IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOLS 1-6, 2009, : 2725 - 2728
  • [35] Probabilistic combination of static and dynamic gait features for verification
    Bazin, AI
    Nixon, MS
    BIOMETRIC TECHNOLOGY FOR HUMAN IDENTIFICATION II, 2005, 5779 : 23 - 30
  • [36] Static and Dynamic Verification of OCaml Programs: The Gospel Ecosystem
    Soares, Tiago Lopes
    Chirica, Ion
    Pereira, Mario
    LEVERAGING APPLICATIONS OF FORMAL METHOD, VERIFICATION AND VALIDATION: SPECIFICATION AND VERIFICATION, PT III, ISOLA 2024, 2025, 15221 : 247 - 265
  • [37] Biometrics verification using dynamic and static eye shapes
    Ishikawa, Kazuaki
    Fujita, Ken
    Hamamoto, Takayuki
    2006 INTERNATIONAL SYMPOSIUM ON INTELLIGENT SIGNAL PROCESSING AND COMMUNICATIONS, VOLS 1 AND 2, 2006, : 211 - 214
  • [38] Static and dynamic JVM operand stack visualization and verification
    Alekseev, Sergej
    Karoly, Andreas
    Nguyen, Duc Thanh
    Reschke, Sebastian
    IAENG International Journal of Computer Science, 2014, 41 (01) : 62 - 71
  • [39] Performance of Koyna Dam Based on Static and Dynamic Analysis
    Azizan, Nik Zainab Nik
    Majid, Taksiah A.
    Nazri, Fadzli Mohamed
    Maity, Damodar
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF GLOBAL NETWORK FOR INNOVATIVE TECHNOLOGY AND AWAM INTERNATIONAL CONFERENCE IN CIVIL ENGINEERING (IGNITE-AICCE'17): SUSTAINABLE TECHNOLOGY AND PRACTICE FOR INFRASTRUCTURE AND COMMUNITY RESILIENCE, 2017, 1892
  • [40] Program Analysis and Verification Based on Kleene Algebra in Isabelle/HOL
    Armstrong, Alasdair
    Struth, Georg
    Weber, Tjark
    INTERACTIVE THEOREM PROVING, ITP 2013, 2013, 7998 : 197 - 212
12345