%0 Journal Article
%T Predicate Switching Ordering Based on Branch Spectra Comparison<br>基于程序行为特征比较的谓词切换排序
%A SU Xin
%A MIAO Li
%A <br>苏欣
%A 缪力
%J 计算机系统应用
%D 2012
%I 
%X Predicate Switching locates and analyses the critical predicate to locate fault through dynamically changing the branch predicate outcomes at runtime and observes the changes in the program results. Predicate Switching Ordering algorithm determines the efficiency of locating the critical predicate. Existing ordering algorithms, such as the LEFS （Last Executed First Switched Ordering, LEFS） algorithm with lower efficiency and the PRIOR （Prioritization-based Ordering, PRIOR） algorithm with higher efficiency, the latter time consuming and complexity of algorithm, are defective. In this paper, we propose a novel and improved algorithm, which first determines the priority of the predicate by comparing different program spectra between the success and failure of test cases, then orders priorities of predicate, according to the reverse order of the predicate executions. To evaluate it, we tested our technique on Siemens Suite. The results have shown that the ordering algorithm is more efficient in locating the critical predicate than the LEFS, and less consuming but more implemented than the PRIOR.
%K predicate switching
%K dynamic slicing
%K program spectra<br>谓词切换
%K 动态切片
%K 程序特征
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=D4F6864C950C88FFCE5B6C948A639E39&aid=2F008F04A30914BA047078188E3A9724&yid=99E9153A83D4CB11&vid=659D3B06EBF534A7&iid=708DD6B15D2464E8&sid=FEF02B4635FE8227&eid=4E0C37D0E364DED5&journal_id=1003-3254&journal_name=计算机系统应用&referenced_num=0&reference_num=11