【演讲材料】Qt全球峰会2025-Axivion_Suite阻止软件侵蚀.pdf

1、Axivion Suite阻止软件侵蚀Axivion静态代码分析Axivion架构验证Qt Group中国QA解决方案工程师刘相全客户软件侵蚀在所有技术中都至关重要2我们解决的问题关于可维护性和变更率的实证研究t功能功能3Sources:Lehman(1974,1978,1980,1985,1996)我们解决的问题关于可维护性和变更率的实证研究复杂性复杂性t功能功能4Sources:Lehman(1974,1978,1980,1985,1996)我们解决的问题关于可维护性和变更率的实证研究复杂性复杂性t功能功能开发新功能所需的时间开发新功能所需的时间5Sources:Lehman(1974,1

2、978,1980,1985,1996)我们解决的问题关于可维护性和变更率的实证研究复杂性复杂性t功能功能开发新功能所需的时间开发新功能所需的时间错误率错误率6Sources:Lehman(1974,1978,1980,1985,1996)我们解决的问题关于可维护性和变更率的实证研究复杂性复杂性t功能功能开发新功能所需的时间开发新功能所需的时间错误率错误率7Sources:Lehman(1974,1978,1980,1985,1996)我们解决的问题关于可维护性和变更率的实证研究复杂性复杂性t功能功能开发新功能所需的时间开发新功能所需的时间错误率错误率8Sources:Lehman(1974,1

3、978,1980,1985,1996)我们解决的问题关于可维护性和变更率的实证研究复杂性复杂性t功能功能开发新功能所需的时间开发新功能所需的时间错误率错误率9Sources:Lehman(1974,1978,1980,1985,1996)我们解决的问题关于可维护性和变更率的实证研究复杂性复杂性t功能功能开发新功能所需的时间开发新功能所需的时间错误率错误率10Sources:Lehman(1974,1978,1980,1985,1996)在开发过程中防止软件侵蚀11架构违规和隐藏依赖的影响行动行动 只要这种偏离不会导致错误，可以忽略。实现实现架构规范架构规范BCA在开发过程中防止软件侵蚀12架构

4、违规和隐藏依赖的影响临时解决方案临时解决方案BCA设计影响设计影响BCA基于错误假设的重新设计基于错误假设的重新设计CFF?C?克隆克隆在开发过程中防止软件侵蚀13架构违规和隐藏依赖的影响架构规范架构规范隐藏的依赖项可以通过以下方式消除:删除（更正）源代码中的依赖 接受偏差并更新架构设计 临时接受偏差，在未来版本中再做修复行动行动实现实现在开发过程中防止软件侵蚀14架构违规和隐藏依赖的影响情况情况 1在源代码中纠正偏差在源代码中纠正偏差情况情况 2 更新架构规范更新架构规范情况情况 3暂时接受偏差暂时接受偏差没有意外，因为计划和实现保持同步，假设是可靠的无需变通方案，也不会产生额外的软件侵蚀1

5、5成功因素通过集成到开发环境和流程中，实现快速且有针对性的反馈持续集成（持续集成（CI）Version ControlIiiii iiiii iiiiII iiiIiI iiIii iiI iI i iII i iIiiiiiiiiiiiiiiiIiiiiIiiii iiiii iiiiII iiiIiI iiIii iiI iI i iII i iI II iiiIiI iiIii iiI iI i iII i iIIiiii iiiii iiiiiII iiiIiI iiIii iiI iI i iII i iI iiiii iiii iiiiiiii iiiiiiiii iiii iii

6、iiiiiIiiii iiiii iiiiiiiiii v iiiiiiii iiiiIiiii iiiii iiiiiII iiiIiI iiIii iiI iI i iII i iI ii iiii iiii iiiiiiii ii iiii iiii iiiixx-Iiiii iiiii iiiii iiiiiiiiii iiiii iiiii iiiii iiiii-iiiiiiiiii v-iiiiiiiiiixx-Iiiii iiiii iiiii iiiiiiiiii iiiii iiiii iiiii iiiii-iiiii iiiii v-iiiiiiiiiixx-Iiiii