The Application of Constraint-Procedure Information in Software Static Testing

In order to detect context-sensitive inter-procedural defect with static analysis, a method using constraint-procedure information (CPI) was proposed.The context-sensitive defect was defined via the state machine with constraint models, based on this, external information and constraint information were defined for CPI.According to the data flow equation, some algorithms for generating and propagating CPI were described respectively.Based on a defect test system (DTS), the CPI was used in it for necessary inter-procedural information.Experimental results show that the precision of software static testing in DTS can be improved by this method.