对工具的分类和资质审核
通过认证的方式发放证书
应对复杂系统时,软件开发人员的工作效率在降低
解决复杂软件开发效率低下的路径:模块化开发 (一个复杂的系统包含很多模块,每个模块都比较简单,这样来提高开发效率)
我们的设计会更改,修正。
我们为了避免得出一个高复杂的软件架构,我们应该遵循将软件:模块化/封装/简单化
使用我们的工具来开发安全稳定,可靠的产品,这就是我们的目标。
我们要使用最安全,最简单,最可靠的功能去实现我们的产品
从功能去划分不要把相同的功能分开
没有隐含的数据流或控制流。
模型验证
红色的是有数据溢出,绿色的是没有数据溢出。