‘电信交换》2003年 第 2期 ● 热点技术 安全软件工程的发展方向 (下) 高 林 三、安全软件工程的方向 1．非形式化方法及形式化方法的进一步集成 (1)非形式化符号向形式化模型的自动转换 近来在软件工程方面的研究明确地 强调：应减少描述符与形式化方法间的差距，前者在软件开发中得到了广泛的应用，而 后者具有强大的自动分析功能。例如，罗克威尔航空学通过对机检形式化需求模型的分 析和仿真，发现飞行导航模式逻辑中潜在的错误许多是有效的。本文在最后提出未来工 作的方向之一是：·工程师们更希望关注图形表示法’。将形式化方法与图形设计分析工 具 (如故障树)相结合，可以提高软件分析水平 (故障树在间隔逻辑中已被公式化)。也许形 式化方法与可视化编程环境的集成，使得改进安全需求与实现验证之间的关系成为可能。 表格化表示法是另一种非形式化的表示符，它已与更多的形式化符号和工