问最新的和工业形式/严格的软件开发方法

EN

我完全同意您的观点，即目前在软件开发中使用的正式方法很少。你提到的方法似乎对软件行业的工作没有太大的影响(据我所知)。

到目前为止，我已经看到了一些确保满足软件产品需求的方法：

遵循已定义的过程进行

• 开发(示例：waterfall、结构和模型中的source code generation以及编码指南的使用(示例：Lint

• Requirements traceability (示例：Reqtify)

• Use of an automation of testing

• waterfall：automation of testing

of an

• testing strategy

对于这些活动中的每一个，都有许多工具可用于支持开发。

典型问题：

使用non-functional requirements的

• Incompleteness (code coverage)
• Dealing

这实际上与其他工程学科中使用的方法有很大的不同，但希望能让你有一个想法，你可以更仔细地观察什么。

正式规范和验证方法(FM)的“最新技术”足以极大地提高正在开发的系统的质量，然而最大的障碍不是技术(在大多数情况下)，而是一个商业决策--这通常归结为时间和金钱。

一般的软件开发人员没有接受过有效使用FM的培训，项目时间表(通常)也不是这样的，你可以在不影响截止日期的情况下注入大量的建模活动。

这种额外的时间/金钱在更高风险的工作中是可以接受的，比如“任务关键型系统”，其中故障的成本是受伤、死亡或巨大的财务损失，但对于开发故障成本在“麻烦范围”(重启应用程序、恢复备份等)的系统的开发团队来说，这种额外的时间/金钱是可以接受的。

在我看来，FM从业者真正突出的挑战在于方法的可用性，以及它们与更敏捷(或更少的“大设计”)开发过程的集成。

最后，作为一门学科，我们非常习惯于经验测试/验证--严格证明系统是正确的概念在当代开发公司中并不经常被考虑或讨论(在前面提到的“关键任务”团队之外)。