%0 Journal Article
%T Extending dynamic linear time temporal logic to support test actions<br>带测试动作的动态时序逻辑扩展
%A SUN Yong-xin
%A Zhao Xi-shun
%A <br>孙永新
%A 赵希顺
%J 计算机应用研究
%D 2012
%I 
%X As a dynamic knowledge representation formalism, dynamic linear time temporal logicDLTL is especially suitable for being applied in verifying regular programs. But for the reason of no direct supporting for test actions, the application of DLTL is quite restricted. To support test actions, this paper proposed an extension of DLTL, DLTL+, presented a tableau algorithm for determining DLTL+ formulas' satisfiability, and showed that the algorithm was correct and its time complexity was 2On. Analysis results demonstrate that DLTL+ provides a direct and efficient way for supporting test actions, which has more practical application value than other known ways.
%K test action
%K dynamic linear temporal logic（DLTL）
%K extension
%K tableau algorithm
%K computational complexity<br>测试动作
%K 动态时序逻辑
%K 扩展
%K tableau算法
%K 计算复杂性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=9B3C227A81E2A28CB191E46E081B5DD2&yid=99E9153A83D4CB11&vid=771469D9D58C34FF&iid=9CF7A0430CBB2DFD&sid=85D13DD5400ED156&eid=4B442DAED9DA6EB0&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=7