为解决软件开发中的技术冲突及提高软件的可信性,提出了基于质量功能展开(QFD)和发明性问题解决理论(TRIZ)的可信软件技术冲突解决方法。首先构建可信软件规划质量屋,在软件开发过程中引入用户视角;其次,重点分析质量屋的技术特性自相关矩阵中呈负相关的技术特性,尝试用TRIZ的发明创新原理予以解决,获得多个可行的创新性解决方案;在综合专家意见方面,考虑了专家语言表达的模糊性、不确定性和多粒度多语义的情况,用近年来最新发展的基于语言信息的决策理论来评估和选择最可行的解决方案;最后,通过在某航天嵌入式实时操作系统(ERTOS)软件开发过程中的实际应用说明了本文所提方法的适用性和有效性。

In order to improve software dependability, a method is proposed for solving technical contradictions in dependable software development based on quality function deployment (QFD) and the Russian theory of inventive problem solving (TRIZ). First, a dependable software planning house of quality (HOQ) is built to introduce the voice of customers into the software development process. Then, the technical characteristic pairs whose relationships are negative in the technical correlation matrix are found out and analyzed in detail. The inventive principles of TRIZ are applied to solve the technical contradictions, and several feasible solutions or inspirations could be acquired. Considering the vagueness and uncertainty of expert judgment, and the case of multi-granularity and multi-semantics in an expert’s linguistic statement, the linguistic information decision-making theory developed in recent years is introduced to evaluate and select the best feasible alternative. Finally, a real-world case of astronautics of an embedded real time operating system (ERTOS) software development is provided to demonstrate the validity and applicability of the proposed method.