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] Static and Dynamic Analysis of the Pipe Structures by Computer Program DDCIJEV.
Jancijev, Tomislav
Solman, Nikola
1600, (26):
[22] STATIC AND DYNAMIC ANALYSIS OF THE PIPE STRUCTURES BY COMPUTER-PROGRAM DDCIJEV
JANCIJEV, T
SOLMAN, N
STROJARSTVO, 1984, 26 (03): : 161 - 166
[23] 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
[24] Tactical positioning behaviours in short-track speed skating: A static and dynamic sequence analysis
Hext, Andrew
Hettinga, Florentina Johanna
McInerney, Ciaran
JOURNAL OF SPORTS SCIENCES, 2023, 41 (08) : 727 - 735
[25] Reliability study of AlN-driven microcantilevers based on interferometric measurements of their static and dynamic behaviours
Gorecki, Christophe
Krupa, Katarzyna
Jozwicki, Romuald
Jozwik, Michal
INTERFEROMETRY XV: APPLICATIONS, 2010, 7791
[26] Static and dynamic critical behaviours in de Vries liquid crystals
Sasaki, Yuji
Ema, Kenji
Yao, Haruhiko
LIQUID CRYSTALS, 2010, 37 (05) : 571 - 577
[27] Topology optimization of rubber isolators considering static and dynamic behaviours
Lee, WS
Youn, SK
STRUCTURAL AND MULTIDISCIPLINARY OPTIMIZATION, 2004, 27 (04) : 284 - 294
[28] Topology optimization of rubber isolators considering static and dynamic behaviours
W.-S. Lee
S.-K. Youn
Structural and Multidisciplinary Optimization, 2004, 27 : 284 - 294
[29] Experimental study of static and dynamic behaviours of cracked PV panels
Al-Soeidat, Mohammad
Cheng, Tian
Lu, Dylan Dah-Chuan
Agelidis, Vassilios G.
IET RENEWABLE POWER GENERATION, 2019, 13 (16) : 3002 - 3008
[30] Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract)
Vakkalanka, Sarvani
Szubzda, Grzegorz
Vo, Anh
Gopalakrishnan, Ganesh
Kirby, Robert M.
Thakur, Rajeev
RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, PROCEEDINGS, 2009, 5759 : 329 - +

← 1 2 3 4 5 →