标题: An efficient distributed online algorithm to detect strong conjunctive predicates
作者: Chen, LB
Wu, IC
资讯工程学系
Department of Computer Science
关键字: conjunctive predicate;distributed debugging;distributed system;global predicate detection
公开日期: 1-十一月-2002
摘要: Detecting strong conjunctive predicates is a fundamental problem in debugging and testing distributed programs. A strong conjunctive predicate is a logical statement to represent the desired event of the system. Therefore, if the predicate is not true, an error may occur because the desired event does not happen. Recently, several reported detection algorithms reveal the problem of unbounded state queue growth since the system may generate a huge amount of execution states in a very short time. In order to solve this problem, this paper introduces the notion of removable states which can be disregarded in the sense that detection results still remain correct. A fully distributed algorithm is developed in this paper to perform the detection in an online manner. Based on the notion of removable states, the time complexity of the detection algorithm is improved as the number of states to be evaluated is reduced.
URI: http://dx.doi.org/10.1109/TSE.2002.1049405
http://hdl.handle.net/11536/28413
ISSN: 0098-5589
DOI: 10.1109/TSE.2002.1049405
期刊: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Volume: 28
Issue: 11
起始页: 1077
结束页: 1084
显示于类别:Articles


文件中的档案:

  1. 000179054600005.pdf

If it is a zip file, please download the file and unzip it, then open index.html in a browser to view the full text content.