论文部分内容阅读
SA分析技术是软件测试中的一种重要方法,主要用于识别和估计软件系统设计和操作中存在的潜在性问题.对软件网络树的研究是SA分析技术的核心部分之一.在介绍了软件网络树中的基本拓扑模式和基本符号之后,着重介绍了软件网络树的生成算法,然后通过一个实例——电梯控制软件的VC源代码来说明软件网络树的生成算法的应用,最后给出了结论.