Paper Title:
The Research of an Abstract Semantic Framework for Defect Detecting
  Abstract

This paper proposes a non-relational abstract semantic framework. It uses interval set to represent the value of numerical variables and complete lattice to represent Boolean variables and reference variables. It presents the abstract computation method of basic expressions and the nodes of control flow graph. It uses function summaries to represent the context information of function call needed by defects detecting. Based on the results of abstract computation, it uses extended state machine to define defect patterns and proposes a path-sensitive method based on dataflow analysis to detect defects. It avoids the combination explosion of full path analysis by merging the conditions of identical property state at join points in the CFG. Practical test results show that the proposed methods have features of high efficiency, low false positive and low false negative.

  Info
Periodical
Edited by
Wenya Tian and Linli Xu
Pages
536-540
DOI
10.4028/www.scientific.net/AMR.186.536
Citation
Z. H. Yang, Q. Xiao, Y. Z. Gong, D. H. Jin, Y. W. Wang, "The Research of an Abstract Semantic Framework for Defect Detecting", Advanced Materials Research, Vol. 186, pp. 536-540, 2011
Online since
January 2011
Export
Price
$32.00
Share

In order to see related information, you need to Login.

In order to see related information, you need to Login.

Authors: Yu Ying Wang, Ping Chen
Chapter 18: Information Technologies, Image and Video Processing, Computer and Data Analysis Applications in Industry and Engineering
Abstract:The biggest problem in model checking is state space explosion. Using predicate abstraction, state space of colored Petri net models were...
2892
Authors: Xi Guo, Jian Yong Wang
Chapter 9: Information Technologies
Abstract:Due to the large number of status transition of large scale software system, an efficient test case generation method based on predicate...
432