%0 Journal Article
%T A Component-Based Debugging Approach for Detecting Structural Inconsistencies in Declarative Equation Based Models
%A Jian-Wan Ding
%A Li-Ping Chen
%A Fan-Li Zhou
%A <br>Jian-Wan Ding
%A Li-Ping Chen
%A and Fan-Li Zhou
%J 计算机科学技术学报
%D 2006
%I 
%X Object-oriented modeling with declarative equation based languages often unconsciously leads to structural inconsistencies. Component-based debugging is a new structural analysis approach that addresses this problem by analyzing the structure of each component in a model to separately locate faulty components. The analysis procedure is performed recursively based on the depth-first rule. It first generates fictitious equations for a component to establish a debugging environment, and then detects structural defects by using graph theoretical approaches to analyzing the structure of the system of equations resulting from the component. The proposed method can automatically locate components that cause the structural inconsistencies, and show the user detailed error messages. This information can be a great help in finding and localizing structural inconsistencies, and in some cases pinpoints them immediately.
%K structural inconsistency
%K component-based debugging
%K declarative model
%K simulation
%K Modelica<br>结构矛盾
%K 基础测试
%K 数学模型
%K 计算机仿真
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=25D09A807332AA496FDF46CE517D540A&yid=37904DC365DD7266&vid=659D3B06EBF534A7&iid=38B194292C032A66&sid=0A0BD3F594F876C0&eid=D9202C57BAB9096F&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=14