一种基于变量依赖关系的需求模型耦合分析方法.pdfVIP

://

httwww．skx．com

pjj

:/

DOI１０．１１８９６skx．２４１００００９２

jj

一种基于变量依赖关系的需求模型耦合分析方法

尹伟１窦霖２高忠杰１王立松３孙倩１

中国航空无线电电子研究所上海

１２００２４１

南京中兴公司南京

２２１００００

南京航空航天大学计算机科学与技术学院南京

３２１１１０６

,.

摘要机载软件是典型的安全关键软件其开发和验证过程在航空业内受到严格控制机载软件的复杂性和多样性使得需

,,

求分析成为关键的研究内容特别是在需求验证阶段需要关注系统部件之间的交互方式以及变量之间的依赖关系是否满足预

.,,,

期对此提出了一种面向机载软件需求的基于VRM模型的耦合分析方法定义了需求中变量之间的依赖关系通过度量指

.,

标来衡量系统部件之间的数据耦合和控制耦合为了弥补基于需求层面的耦合分析技术的不足使用VRM模型作为形式化

,,、.,

需求模型在系统需求层次进行建模和分析有效支撑了DOＧ１７８C对数据耦合控制耦合和软件部件的相关要求同时提出

,,.

了基于变量间层次依赖关系的耦合度量方法将变量间的关系定义为叉依赖树的结构并使用一系列算法对变量划分权重

n

、,.

通过构造变量矩阵需求变量依赖树等方法对耦合度进行度量形成了基于变量依赖关系的数据耦合和控制耦合分析原型该

,,.

研究突破了基于需求层面的耦合分析技术为复杂系统的设计提供了帮助提高了机载软件开发的质量和可靠性

:;;;

关键词VRM模型数据耦合控制耦合需求变量依赖树

中图分类号;

TP３０１V１９

MethodforCoulinAnalsisofReuirementsModelsBasedonVariableDeendencRelati