摘要
在所有软件密集系统的开发中,需求缺陷一直是困扰人们的难题。利用行为树表示法将初始功能需求转化、集成为设计行为树,并建立设计行为树与软件故障树之间的追溯关系;同时对软件密集系统的功能需求中可能存在的各种缺陷进行分析,实现了对导致软件开发后期出现故障的需求缺陷的追溯和修正,为解决复杂系统的需求缺陷问题提供了一个切实可行的方案。
Requirement defects remain a significant problem in the development of all software intensive systems.The original functional requirements are translated and integrated to design behavior trees by using the representation of behavior trees,and a traceability relation is established between design behavior trees and software failure trees.The defects that may exist in the functional requirement of software intensive systems are analyzed,and the requirement defects resulting in software failures appearing in the later stages of software development are detected and removed,and a practical way is provided to resolve the problems of requirement defects in complex systems.
出处
《计算机与数字工程》
2010年第8期150-155,共6页
Computer & Digital Engineering
基金
国家预研基金项目(编号:513270104)资助
关键词
行为树
软件故障树
需求缺陷
可追溯性
behavior tree
software failure tree
requirement defect
traceability
