| A Component-Based Debugging Approach for Detecting Structural Inconsistencies in Declarative Equation Based Models |
| |
| 作者姓名： | Jian-Wan Ding Li-Ping Chen and Fan-Li Zhou |
| |
| 作者单位： | National CAD Support Software Engineering Research Center, Huazhong University of Science and Technology Wuhan 430074, P.R. China |
| |
| 基金项目： | Supported by the National Natural Science Foundation of China （Grant No. 60574053）, the National High-Tech Development 863 Program of China （Grant No. 2003AA001031）, and the National Basic Research 973 Program of China （Grant No. 2003CB716207）. |
| |
| 摘 要： | 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.
|
| 关 键 词： | 结构矛盾 基础测试 数学模型 计算机仿真 |
| 收稿时间： | 2005-05-24 |
| 修稿时间： | 2005-05-242006-02-16 |
A Component-Based Debugging Approach for Detecting Structural Inconsistencies in Declarative Equation Based Models |
| |
| Jian-Wan Ding,Li-Ping Chen,and Fan-Li Zhou.A Component-Based Debugging Approach for Detecting Structural Inconsistencies in Declarative Equation Based Models[J].Journal of Computer Science and Technology,2006,21(3):450-458. |
| |
| Authors: | Jian-Wan Ding Li-Ping Chen Fan-Li Zhou |
| |
| Affiliation: | National CAD Support Software Engineering Research Center, Huazhong University of Science and Technology Wuhan 430074, P.R. China |
| |
| Abstract: | 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. |
| |
| Keywords: | structural inconsistency component-based debugging declarative model simulation Modelica |
| 本文献已被 CNKI 维普 万方数据 SpringerLink 等数据库收录！ |
| 点击此处可从《计算机科学技术学报》浏览原始摘要信息 |
|
点击此处可从《计算机科学技术学报》下载全文 |
