基于元需求模型的可信软件需求获取和分析方法及工具研究

需求获取与分析是可信软件开发的重要一环。以往的需求获取与分析方法和工具是针对中小型系统提出的，难以用于可信软件需求的获取与分析，迄今还没有获取与分析可信软件需求的理论和方法。元需求模型法是一类从需求本身出发，寻求使软件产品直接受益的需求获取与分析方法，值得进一步研究和推广；但是还未发现运用该方法研究可信软件需求获取与分析的文献。因此本项目从可信软件元需求的分析出发，研究可信软件需求获取与分析的方法和工具。首先构建并论证可信软件的元需求模型和元需求集；在此基础上，研究可信软件需求的涌现性，并研究从元需求扩展到实际需求的需求定制扩展规则及过程，得到可信软件需求获取方法；研究可信软件需求的分析规则及过程，得到可信软件需求分析方法；研究可信软件元需求、需求定制扩展规则及过程、需求分析规则及过程的形式化描述方法，开发出可信软件需求辅助管理系统。本项目能为可信软件的需求获取与分析提供有效理论指导。