焦作信息网
娱乐
当前位置:首页 > 娱乐

徐仁佐做中国人自己的软件可靠性工程

发布时间:2019-10-10 11:56:18 编辑:笔名

软件可靠性,是软件质量的指标之一,也是至今人们能定义出的惟一能定量指示软件质量的指标。软件可靠性工程是对软件的质量(特别是软件可靠性)进行管理和控制的实用性学科,而软件可靠性模型又是软件可靠性工程的基础之一。在20世纪70年代,软件工程在国外已研究多年,中国的软件产业则刚刚开始走软件工程的道路。中国的软件产业要发展,就得走出自己的路,不能跟在别人的后面亦步亦趋。国内的软件企业要创品牌效益,只能靠质量,靠中国人自己的创新精神。于是,就有人要研究软件可靠性。这软件可靠性国内还从来没人搞过,不知道怎么搞,我国的软件工程的起步困难重重。就是在这种情况下,武汉大学的徐仁佐教授开始了软件可靠性工程的研究。研究软件可靠性,选择什么作为突破口?经过深入细致的调查分析,徐仁佐决定从软件可靠性的模型开始研究。很多研究软件工程的人将研究软件可靠性模型视为畏途,因为这需要大量的数学知识。软件可靠性模型,作为定量分析软件可靠性的数学工具,必须有理论上的假设:假设软件出现错误的行为方式;假设人们在进行软件的测试时的工作效率和查出软件错误时的处理结果;假设软件错误在发生时对整个系统行为的影响等等。其次,研究软件可靠性要求研究者具有深厚的概率与随机过程的功底。只有具备这些条件,对于在软件测试过程中收集的软件故障数据的处理,才能得心应手。另外,要研究软件可靠性,必须要有软件故障数据,这就必须要求研究者对于软件的测试要有深刻的了解。徐仁佐经过长期的研究,提出“基于软件知识的软件测试”理论。经过总结,徐仁佐指出,软件中包含了三类知识,第一类是软件的正确功能所包含的领域知识,这历来被从事软件开发和软件测试的人们所重视;第二类是关于软件开发的正确知识;第三类是关于正确使用软件的知识。徐仁佐还指出,人们在从事软件测试时,对第一类知识十分重视,而往往忽略了对于另外两类知识的测试,以至于造成对软件的测试不完全的状况。另外,他还认为,发展普适计算的技术,其中蕴涵着巨大的商机,并且可以同时通过加强嵌入式软件的研究与开发,极大地带动我国软件产业的快速、健康的发展。在徐仁佐教授的研究工作中,十分强调理论联系实际,他坚持认为所研究的成果必须能在工程实际中得到真正的应用,为中国的软件产业发展壮大做出实际的贡献才行。所以,在当今学术界有的人为了追名逐利,千方百计寻找那些影响因子低的杂志发表论文时,徐仁佐教授却仍然坚持为了振兴中国软件产业贡献着自己的能量,在孜孜不倦地探索、追求着。他认为在当前发展第三代互联网技术的过程中,祖国的IT业界应适时地把握机遇,充分发挥自己的聪明才智,使中国在网络的新一代体系结构、网站的布局、通信协议的标准化、无线上网的终端设施的设计、制造技术等各方面走到世界的前列。管伟相关链接徐仁佐,1946年8月出生,湖北红安人,1969年毕业于武汉大学数学系数学专业,毕业后留校任教。从1983年开始,他一直在武汉大学软件工程国家重点实验室研究软件可靠性、软件可靠性工程、软件工程。现任武汉大学软件工程国家重点实验室教授、博士生导师。曾任软件工程国家重点实验室副主任。他同时兼任的学术职务有:中国运筹学会可靠性专业学会理事长;武汉计算机软件工程学会理事长;中国计算机学会容错计算委员会委员;中国电子学会可靠性、可维性委员会委员;全国电工电子产品可靠性与维修性标准化技术委员会(SAC/TC24)委员。多年来,徐仁佐共主持完成国家自然科学基金等国家科研工作十多项,取得了一大批科研成果,由他主持开发的“软件可靠性专家系统(SRES)”于1997年获国家教委科学技术进步三等奖。他曾先后访问新加坡、瑞典、美国,参加国际软件工程大会、任访问学者,并已发表研究论文60多篇,出版专著5本。其中:论文《NHPP模型拟合质量的改进》获湖北省第五届自然科学优秀学术论文三等奖;论文《NHPP模型参数调整与EM算法》获湖北省计算机学会1994年优秀学术论文奖;论文《软件可靠性专家系统及其实现》获湖北省第六届自然科学优秀学术论文二等奖。目前,正在编写的《软件可靠性工程实践》一书,即将在清华大学出版社出版。

灯盏花龙头企业发展

云南道地药材 灯盏花怎么样

灯盏花药业经营产品

云南道地药材 灯盏花怎样

颈动脉斑块是哪些因素引起的

老年人冠心病吃什么药好

脑梗塞患者平时应该注意什么

脑梗死发病与哪些因素有关

春季是儿童补钙季节吗

流感吃什么维生素有效

孕妇吃什么食物补钙最好

儿童补钙补几个疗程?

女人腰酸腿疼是什原因

什么叫生物谷

云南生物谷产业发展

青少年补钙吃什么最好
老年人补充维生素D
小孩补钙什么牌子好
什么是维生素D3