哥德尔系统提示您:看后求收藏(爱米文学网aimiwx.com),接着再看更方便。
“上世纪六七十年代,由于软件规模的扩大,质量越来越难以保证,bug增加的速度甚至超过了软件开发的速度”
“所以有了软件危机一说,什么人月神话啊,什么米有免费的银弹之类的著作都是讲这些的”
“后来米国国防部就针对这些问题,专门设计了一个新的语言,就是Ada”
王一男说,”我觉得 Ada 最成功的地方,就在于他回答了一个核心问题,什么问题呢“
”就是在软件开发中,什么是最重要的“,
“我觉得当年设计Ada的米国国防部所分析的程序设计语言设计时候考虑的优先顺序,直到今天都还是正确的”,王一男在白板上写下三个词,
“稳定性“”可维护性“”表达能力“
“稳定性毫无疑问是最重要的,如果程序不能稳定运行,任何军用系统,都不可能将它投入实际使用。”
“可维护性在几十年前是被忽略的,但是今天,大家越发认识到它的重要作用了,程序的生存周期越长,可维护性的重要性越高“
“程序写出来容易,但是程序就像生命一样,会跟周围的环境发生作用,会慢慢的长大,会变化,会生长,会成熟,也会老去。”
“很多程序的寿命要超过人的寿命,所以,不同的人会来维护他,修改他,首先要读懂它”
“读都读不懂,怎么长大?而可读性,正是可维护性中最重要的一部分”
“表达能力是我给总结的,虽然从理论上来说,任何程序设计语言的表达能力跟只有向前和向后两个指令的图灵机是等价的“
“但是语言能力还是体现在无歧义啊,简洁,清晰等等上,所以最早的设计目标,跟自然语言接近啥的,被我理解为表达能力”
“不得不说,米国国防部还是非常强大的”
“Ada语言至少领先工业界三十年以上”
“当工业界还在为挖掘每一个时钟周期的性能而绞尽脑汁的时候,人家已经把可维护性放在仅次于稳定性的位置了”
“所以116所选择Ada作为飞控系统的开发语言,那是非常有远见的”
李文静在台下举手了,“你说的很好,很正确”
“不过我们接下来该怎么干呢”