Verification of program dynamic behaviours based on static analysis
|
|
|
 下载全文 |
资源分 28 |
| Abstract: | 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. |
| Author:
| Shanwei Xu Dasiewicz, P. |
| Author Unit:
| Dept. of Electr. & Comput. Eng., Univ. of Waterloo, Waterloo, ON |
| Year: | 2008 |
| Source: | Electrical and Computer Engineering, 2008. CCECE 2008. Canadian Conference on |
| Volume-OnPage: | 000219-000222 |
| Publication Date:
| 4-7 May 2008 |
| Keyword: | |
相似文献
- [1] Thomas Eisenbarth Rainer Koschke Daniel Simon Aiding program comprehension by static and dynamic feature analysis
- [2] Coelho, J. Florido, M. Type-Based Static and Dynamic Website Verification
- [3] Inbal Ronen;Nurit Dor;Sara Porat;Yael Dubinsky Combined static and dynamic analysis for inferring program dependencies using a pattern language
- [4] de Silva, G. Matousek, P. Rysavy, O. Sveda, M. Formal analysis approach on networks with dynamic behaviours
- [5] Ogasawara, H. Aizawa, M. Yamada, A. Experiences with program static analysis
- [6] Kai Yu Cong Wang Yin-li Chen Meng-xiang Lin Program Sifting: Select Property-Related Functions for Language-Based Static Analysis
- [7] James Law Whole program path-based dynamic impact analysis
- [8] Tal Lev-Ami;Thomas Reps;Mooly Sagiv;Reinhard Wilhelm Putting static analysis to work for verification
- [9] Gaugne, R. A static analysis for program understanding and debugging
- [10] Erhard Ploedereder Pragmatic techniques for program analysis and verification
|