可信软件中非功能需求FO-QSIG冲突权衡模型

引入领域工程中FODA模型中"特征"概念到需求工程中QSIG图中,提出了面向特征定量软目标耦合图(FO-QSIG);用FO-QSIG图对可信软件系统的非功能需求(NFR)的冲突和不确定性进行完整性表述;并建立FO-QSIG权衡模型对NFR之间的优先排序和正负影响进行定量分析,通过计算NFR的特征贡献值(FC),来消解NFR之间冲突和不确定性;最后对FO-QSIG模型的可信性进行了证明。为可信软件中NFR精化提供了新的权衡分析工具。