基于行为树与软件故障树的需求缺陷分析

摘要

在所有软件密集系统的开发中,需求缺陷一直是困扰人们的难题.利用行为树表示法将初始功能需求转化、集成为设计行为树,并建立设计行为树与软件故障树之间的追溯关系;同时对软件密集系统的功能需求中可能存在的各种缺陷进行分析,实现了对导致软件开发后期出现故障的需求缺陷的追溯和修正,为解决复杂系统的需求缺陷问题提供了一个切实可行的方案.