%0 Journal Article
%T Design and implementation of tool for dynamical detecting program assertion
程序断言动态检测工具的设计与实现*
%A LIU Shu-kun
%A YANG Xiao-hu
%A CHEN Ji-feng
%A PENG Hao
%A
刘树锟
%A 阳小华
%A 陈继锋
%A 彭浩
%J 计算机应用研究
%D 2009
%I
%X This paper mainly discussed the process and methods of detecting program assertion. Presented a new interacted assertion detecting tool based on RDBMS, which was named TDDPA. It supported such functions as dynamical detecting program assertion and giving query conditions by user, providing user a more convenient interface. TDDPA analyzes and reports assertion by collecting running trace to database, which is different from traditional one. The base structure and implementation of the tool are illustrated in details. Experiments show that TDDPA is accurate and convenient in detecting program assertion.
%K program assertion
%K dynamically detect
%K reliability of software
%K condition query
程序断言
%K 动态检测
%K 软件可靠性
%K 条件查询
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=DFD9C62A54CF618C08A48B01B9EC3236&yid=DE12191FBD62783C&vid=96C778EE049EE47D&iid=708DD6B15D2464E8&sid=410E875F4AAF3771&eid=C295F5A245A0E375&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=8