|||
神话有待发展,如果神话变成现实,那将大大改善软件技术的未来。
贬低者说----形式化方法是难处理的、高代价的、并没有被广泛应用的。
拥护者说----形式化方法能带来革命性的进展。
1、形式化方法能使软件变得更加完美
2、能够证明程序是正确的
3、能给强约束性、高严格性关键系统开发带来益处
4、涉及复杂数学与逻辑的应用
5、可交流性不好
6、使开发成本上升
7、现实工程很少被应用
Seven myths of formal methods - IEEE Software
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-5-21 22:43
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社