净室软件工程创始人米尔斯的贡献研究

斯琴巴图

（1.内蒙古师范大学科学技术史研究院，呼和浩特010022；2.内蒙古妇女干部学校，呼和浩特010051）

0 引言

软件的质量对于航空航天、军工、医疗卫生、自动驾驶等大型系统和实时系统可谓极其重要。例如1978年哈特福德体育馆倒塌，1996 年阿利亚纳五号火箭发射失败，2000 年Therac-25 医疗放射治疗装置让患者暴露在过量辐射中的事故，2018 年10 月印尼狮航和2019 年3 月埃塞俄比亚航空公司的两起波音737MAX飞机导致的空难都与软件缺陷有关。运用今天的软件工程技术能否生产出高质量的软件，能否具有高可靠性？答案是肯定的！而且这种技术早在上世纪80 年代已经被开发出来，但由于对软件开发人员技术门槛的要求过高，经济方面投入较大，以及软件产业界普遍的共识——软件通过维护升级可以不断完善，没必要第一次就生产出完美无缺的软件的理念等因素限制了这种技术的推广普及。这种技术被称为形式化方法，净室软件工程（Cleanroom Software Engineering）便是形式化方法的一种变种，其可操作性比纯形式化方法更强。净室技术通过在IBM、爱立信、美国国家航空航天局（NASA）、美国国防部（DoD）及大量其他机构的成功实践证明了其自身的强大。1996 年DoD 软件数据与分析中心在其所作的软件方法比较分析中，报告净室具有真实的价值和质量优势[1]。

美国计算机科学家、数学家、IBM 院士米尔斯（Harlan D. Mills）博士在IBM 联邦系统部工作期间创立了净室软件工程，一种基于数学理论的以经济的方式生产高可靠性软件的工程技术。这种技术从萌芽到成熟经历了近20 年的时间，米尔斯在其形成的过程中做了大量的工作，从而被称为净室软件工程创始人。……