Application of local semantic analysis in fault prediction and detection

Application of local semantic analysis in fault prediction and detection

To improve quality of software systems, change-based fault prediction and scope-bounded checking have been used to predict or detect faults during software development. In fault prediction, changes to program source code, such as added lines or deleted lines, are used to predict potential faults. In...

Full description

Bibliographic Details
Main Author: Shao, Danhua
Format: Others
Language:English
Published: 2010
Subjects:
Version management
Semantic analysis
Data-flow analysis
Control-flow analysis
Scope-bounded checking
Alloy
First-order logic
SAT
Computation graph
White-box testing
Online Access:http://hdl.handle.net/2152/ETD-UT-2010-05-1086

Internet

http://hdl.handle.net/2152/ETD-UT-2010-05-1086

Similar Items