您現(xiàn)在的位置: 中國(guó)科技創(chuàng)新網(wǎng) > 文章中心 > 創(chuàng)新人物百科 > 基礎(chǔ)科學(xué) > 文章正文
專家信息 科學(xué)研究 論文專著 榮譽(yù)獎(jiǎng)勵(lì) 媒體報(bào)道

專家信息:


徐仁佐,1946年8月出生,湖北紅安人,F(xiàn)任武漢大學(xué)軟件工程國(guó)家重點(diǎn)實(shí)驗(yàn)室教授、博士生導(dǎo)師。曾任軟件工程國(guó)家重點(diǎn)實(shí)驗(yàn)室副主任。同時(shí)兼任的學(xué)術(shù)職務(wù)有:中國(guó)運(yùn)籌學(xué)會(huì)可靠性專業(yè)學(xué)會(huì)理事長(zhǎng);武漢計(jì)算機(jī)軟件工程學(xué)會(huì)理事長(zhǎng);中國(guó)計(jì)算機(jī)學(xué)會(huì)容錯(cuò)計(jì)算委員會(huì)委員;中國(guó)電子學(xué)會(huì)可靠性,可維性委員會(huì)委員;全國(guó)電工電子產(chǎn)品可靠性與維修性標(biāo)準(zhǔn)化技術(shù)委員會(huì)(SAC/TC24)委員。曾先后訪問(wèn)新加坡、瑞典、美國(guó),參加國(guó)際軟件工程大會(huì)、任訪問(wèn)學(xué)者。

教育及工作經(jīng)歷:

1969年7月畢業(yè)于武漢大學(xué)數(shù)學(xué)系數(shù)學(xué)專業(yè),畢業(yè)后留校任教。

1996年9月至1997年12月期間,曾任軟件工程國(guó)家重點(diǎn)實(shí)驗(yàn)室副主任。

資料更新中……

國(guó)際交流:

1987.5 訪問(wèn)新加坡,參加 The 10th International conference on Software Engineering(ICSE),并順訪:National University of Singapore, NGEE ANN POLYTECHNIC,Institute of Software Science 等單位。

1989.5-1989.7 應(yīng)瑞典 Linkoping University 的 Bo Bergman 教授邀請(qǐng),赴該校作訪問(wèn)學(xué)者,合作研究軟件可靠性模型及應(yīng)用。

1991.5 訪問(wèn)美國(guó),參加 The 13th ICSE,并順訪:The University of Texas at Austin,INTERNATIONAL SOFTWARE SYSTEMS,INC.,Advanced Software Automation,Inc. 等單位。

2004.8 出席在日本廣島Hiroshima Shudo University 舉行的AIWARM2004,發(fā)表論文。

2006.6 出席在新加坡舉行的ICMIT2006,發(fā)表論文。

主講課程:

本科:高等數(shù)學(xué),數(shù)理邏輯,算法設(shè)計(jì)與分析,離散數(shù)學(xué),可計(jì)算性;

碩士:軟件可靠性工程與軟件測(cè)試,軟件工程,計(jì)算機(jī)科學(xué)中的數(shù)理邏輯;

博士:腦科學(xué)與復(fù)雜網(wǎng)絡(luò)智能化。

科學(xué)研究:


研究方向:

研究軟件可靠性、軟件可靠性工程、軟件工程。

承擔(dān)的科研情況:

主持完成國(guó)家自然科學(xué)基金等國(guó)家科研工作十多項(xiàng)。

1、1983.9—1985.12 軟件可靠性研究(機(jī)電部六五攻關(guān)課題),完成下列研究報(bào)告:

①軟件可靠性預(yù)計(jì)—理論與實(shí)踐,1985.6。

②軟件可靠性預(yù)計(jì)研究報(bào)告,1985.9。

③軟件測(cè)度選擇,1985.11 。

④軟件可靠性模型研究報(bào)告,1983.11。

⑤軟件開發(fā)過(guò)程中數(shù)據(jù)的收集、驗(yàn)證及應(yīng)用,1985.11。

2、1987.1—1990.12 軟件可靠性估測(cè)模型(國(guó)家自然科學(xué)基金課題,已結(jié)題)。

3、1991.1—1995.12 軍用軟件可靠性技術(shù)(國(guó)防預(yù)研課題,7A.5.2.2),成功地開發(fā)出實(shí)用的《軟件可靠性專家系統(tǒng)(SRES)》。

4、1996.10—1996.12 軟件可靠性增長(zhǎng)預(yù)計(jì)方法研究(19.3.1.1,航空科研項(xiàng)目)。

5、1997.5—1998.11 軟件可靠性增長(zhǎng)預(yù)計(jì)方法研究(19.3.1.2,航空科研項(xiàng)目)。

6、1994.1—1996.12 異類軟件可靠性模型的比較與判優(yōu)系統(tǒng)(國(guó)家自然科學(xué)基金課題,已結(jié)題)。

7、1998.9—2000.8 軟件可靠性穩(wěn)定增長(zhǎng)與安全性測(cè)試研究(98J19.4.5.JW1201,國(guó)防預(yù)研基金課題)。

8、2002.1─2002.12 軟件測(cè)試新方法探索(60173063)(國(guó)家自然科學(xué)基金課題)。

9、2002.7─2005.7 國(guó)土資源信息系統(tǒng)可靠性保證方法。

10、2006.1─2006.12 信息系統(tǒng)監(jiān)理平臺(tái)的開發(fā)。

科研成果:

1 軟件質(zhì)量保證支撐系統(tǒng)SQAS 徐寶文;何炎祥;徐仁佐;聶長(zhǎng)海;吳閩泉;史亮;陳林;應(yīng)時(shí);周乙;周曉宇;陸建江;黃燦;徐劍宏;許蕾;盧紅敏;劉彥伸 武漢大學(xué) 2005

資料更新中……

論文專著:


已發(fā)表研究論文60多篇,出版專著5本。

出版專著:

1、譯著:《論大型軟件的開發(fā)》,武漢大學(xué)出版社,1986

2、中國(guó)計(jì)算機(jī)學(xué)會(huì)學(xué)術(shù)著作叢書:《軟件可靠性模型及應(yīng)用》,清華大學(xué)出版社,廣西科學(xué)技術(shù)出版社,1994

3、專著:《軟件可靠性專家系統(tǒng)(SRES)開發(fā)》,北京:清華大學(xué)出版社,1996

4、專著:《軟件可靠性》,(合著),北京:國(guó)防工業(yè)出版社,1998

5、教材:《軟件工程》,(主編),武漢:華中科技大學(xué)出版社,2001

6、研究生教材: 《廣義軟件可靠性工程》,北京:清華大學(xué)出版社,2006

發(fā)表論文:

1. 軟件錯(cuò)誤及其對(duì)工具系統(tǒng)—WPADT的影響,武漢大學(xué)學(xué)報(bào)(自然科學(xué)版),1986,2,21—28

2. 容錯(cuò)軟件的設(shè)計(jì)技巧,軟件產(chǎn)業(yè),1987,10,1—12

3. 軟件可靠性評(píng)估—一門引人注目的邊緣學(xué)科,軟件產(chǎn)業(yè),1987,11,1—7

4. 論軟件工程發(fā)展的三個(gè)方面—C2F,武漢大學(xué)學(xué)報(bào)(自然科學(xué)版),1988,3,117—122

5. 第十屆國(guó)際軟件工程會(huì)議概況,計(jì)算機(jī)科學(xué),1988,5,25—30

6. 軟件可靠性估測(cè)現(xiàn)存問(wèn)題及克服方法的研究,武漢大學(xué)學(xué)報(bào)(自然科學(xué)版),1988,6,178—184

7. 論軟件工程數(shù)據(jù)的收集,軟件產(chǎn)業(yè),1989,8,11—15

8. Combining Test Strategy in Reliability Modeling,全國(guó)可靠性數(shù)學(xué)第三屆學(xué)術(shù)會(huì)論文集,西安,1989,9,17—21,210—215

9. NHPP模型擬合質(zhì)量的改進(jìn),自然科學(xué)進(jìn)展—國(guó)家重點(diǎn)實(shí)驗(yàn)室通訊,1991,第一卷,第六期,535—542

10. The Improvement of Fitting Qualities by Using NHPP Models,PROGRESS IN NATURAL SCIENCE—COMMUNICATIONS FROM STATE KEY LABORATORIES OF CHINA,April,1992,Vol.2,No.2,132—142

11. 直觀程序設(shè)計(jì)環(huán)境的開發(fā)與應(yīng)用,軟件產(chǎn)業(yè),1992,2,8—11

12. 非齊次泊松過(guò)程模型的擴(kuò)展,武漢大學(xué)學(xué)報(bào)(自然科學(xué)版),1992,3,17—22

13. EM算法在非齊次泊松過(guò)程模型參數(shù)估計(jì)中的應(yīng)用,武漢大學(xué)學(xué)報(bào)(自然科學(xué)版),1992, 4,17—22

14. NHPP模型參數(shù)調(diào)整與EM算法,計(jì)算機(jī)學(xué)報(bào),1992,5,第15卷,第5期,388—396 (EI檢索)

15. SRPS—可供實(shí)用的軟件可靠性估測(cè)系統(tǒng),計(jì)算機(jī)應(yīng)用與軟件,1992,6,第9卷,第6期, 23—30

16. A Dynamical Software Reliability Prediction Modeling Method and Its Implementation, Proceedings of The First Beijing International Conference on Reliability,Maintainability and Safety(BICRMS’92), Beijing,China,October 12—15,1992,663—667

17. 軟件可靠性工程的基本概念、任務(wù)與實(shí)施方法,軟件世界,1993,2,34—36,3,36—41

18. 軟件可靠性指標(biāo)分配工具Assitool,Proceedings of The First Symposium on System Reliability and Probabilistic Risk in China,Chongqing—Wuhan,China,May 24—June 3,1993,276—283

19. 非齊次泊松過(guò)程模型參數(shù)估計(jì)的奇異性,武漢大學(xué)學(xué)報(bào)(自然科學(xué)版),1993,5,21—26

20. 非齊次泊松過(guò)程模型的參數(shù)計(jì)算方法,武漢大學(xué)學(xué)報(bào)(自然科學(xué)版),1995,第41卷,第3期,321—328

21. FMS控制系統(tǒng)軟件的多任務(wù)可靠性模型,Proceedings of The First Symposium on Software Reliability in China,May 9—10,1995,Wuhan,China,74—79

22. 軟件可靠性估測(cè)專家系統(tǒng)與實(shí)現(xiàn),Proceedings of The First Symposium on SoftwareReliability in China,May 9—10,1995,Wuhan,China,80—84

23. 軟件可靠性專家系統(tǒng)及其實(shí)現(xiàn),全國(guó)第五屆可靠性學(xué)術(shù)會(huì)議論文集,機(jī)械工業(yè)出版社,承德,1995,10,227—231

24. An Investigation on Inconsistency of Software Reliability Models,Proc. Of The The Third ICRMS’96,Guangzhou,China,November 12—15,1996,548—553

25. 軟件可靠性模型應(yīng)用中的不一致性與軟件可靠性專家系統(tǒng),Proceedings of The Second Chinese World Congress on Intelligent Control and Intelligent Automation (CWCICIA’97),Xian,China,June 23—27,1997,1496—1501

26.軟件可靠性專家系統(tǒng)(SRES)中經(jīng)驗(yàn)?zāi)P偷钠娈愋詥?wèn)題與參數(shù)估計(jì)方法,計(jì)算機(jī)學(xué)報(bào),1998,2,第21卷,第2期,145—153 (EI 檢索)

27.軟件可靠性專家系統(tǒng)的開發(fā)與使用,計(jì)算機(jī)應(yīng)用研究,1998,3,第15卷,第3期,16 —20

28.三參數(shù)NHPP軟件可靠性模型的參數(shù)演化計(jì)算,計(jì)算機(jī)應(yīng)用研究, 1998,2,第15卷,第2期(J),122—123

29.軟件可靠性模型的奇異性問(wèn)題,計(jì)算機(jī)應(yīng)用研究,1998,2,第15卷,第2期(J),137—138

30.軟件可靠性模型參數(shù)的演化計(jì)算估計(jì)方法,計(jì)算機(jī)應(yīng)用研究,1998,2,第15卷,第2期(J),139—140

31.計(jì)算機(jī)輔助軟件工程工具采用技術(shù)研究,計(jì)算機(jī)應(yīng)用研究,1998,2,第15卷,第2期(J),235—241

32.具奇異性的軟件可靠性模型的參數(shù)計(jì)算,計(jì)算機(jī)應(yīng)用研究,1998,2,第15卷,第2期(J),259—260

33.軟件可靠性指標(biāo)分配工具Assitool,小型微型計(jì)算機(jī)系統(tǒng),1998,11,第19卷,第11期,18—239 (EI 檢索)

34. The Implementation of Software Reliability Expert System(SRES) in Win95,全國(guó)第六屆可靠性學(xué)術(shù)會(huì)議論文集,機(jī)械工業(yè)出版社,泰安,1998,10,52—61

35.面向多用戶的模塊化軟件系統(tǒng)可靠性分配,小型微型計(jì)算機(jī)系統(tǒng),1999,第20卷,第1 期,5-10

36. 基于測(cè)試覆蓋的NHPP模型,小型微型計(jì)算機(jī)系統(tǒng),1999,第20卷,第8期,587-592 (EI檢索)

37.軟件可靠性穩(wěn)定增長(zhǎng)與安全性測(cè)試的故障樹分析法,小型微型計(jì)算機(jī)系統(tǒng), 1999, 9,Vol.20, No.9, 668-671

38.用含仿射操作的遺傳算法求解軟件可靠性模型參數(shù)估計(jì)的奇異性問(wèn)題,小型微型計(jì)算機(jī)系統(tǒng),1999,工程9, Vol.20, No.9, 654-656

39. 軟件可靠性指標(biāo)分配的故障樹分析法,武漢大學(xué)學(xué)報(bào)(自然科學(xué)版), 1999,10,Vol.45,No. 5B, 684-686

40.具有錯(cuò)誤修復(fù)的非齊次馬爾可夫模型,小型微型計(jì)算機(jī)系統(tǒng),2000,3,Vol.21,No.3,242-245

41. 基于軟件知識(shí)的測(cè)試方法,武漢大學(xué)學(xué)報(bào)(自然科學(xué)版), 2000,1,Vol.46,No.1, 61-62

42.基于軟件知識(shí)的測(cè)試方法,《面向新世紀(jì)的中國(guó)測(cè)試技術(shù)》:2000年全國(guó)測(cè)試學(xué)術(shù)會(huì)議論文集,北京:裝甲兵工程學(xué)院,2000,10,16-18,北京:《電子測(cè)試》雜志社,ISSN:1000-8519

43. 網(wǎng)上電子支付系統(tǒng)分析,計(jì)算機(jī)應(yīng)用研究,2001,5,Vol.18,No.5, 56-58

44. 面向多用戶軟件系統(tǒng)的可靠性分配的故障樹分析法,小型微型計(jì)算機(jī)系統(tǒng),2000,3,Vol.22,No.3,329-332

45. Xu Ren-zuo, Zhou Rui, Yang Xiao-qing. Singularity of Software Reliability Models LVLM and LVQM, Wuhan University Journal of Natural Sciences, June 2000,5(2),150-154

46. INVESTIGATION ON HUMAN FACTORS ANALYSIS FOR SOFTWARE ENGINEERING, Proceedings of ICRMS 2001, Vol 2, (The 5th International Conference on Reliability, Maintainability and Safety, Dalian, China, 28-31, August, 2001, 797-804

47. 軟件可靠性多模型綜合評(píng)估,同濟(jì)大學(xué)學(xué)報(bào),自然科學(xué)版,2002,10,Vol.30, No.10, 1183-1185

48. 基于模塊開發(fā)控制的一個(gè)軟件可靠性分配模型,武漢大學(xué)學(xué)報(bào)(理學(xué)版),2003,1,Vol.49,No.1, 44-48

49. 軟件安全性測(cè)試,第三屆中國(guó)信息和通信安全學(xué)術(shù)會(huì)議論文集,科學(xué)出版社,北京,2003,3,351-357

50. 軟件系統(tǒng)的可靠性評(píng)估,計(jì)算機(jī)應(yīng)用研究,第20卷(2003增刊),177-178

51. 軟件可靠性分配的一個(gè)非線性規(guī)劃模型,計(jì)算機(jī)工程,2003,29(17),34-36

52.構(gòu)造面向?qū)ο筌浖蓮?fù)用測(cè)試用例的模式研究,武漢大學(xué)學(xué)報(bào)(理學(xué)版),2003,5(49),592-596

53. 普適計(jì)算的安全問(wèn)題及其訪問(wèn)控制模型,武漢大學(xué)學(xué)報(bào)(信息科學(xué)版),2003,28(特刊),12,31,152-154

54. Human Factors Analysis in Software Engineering, Wuhan University Journal of Natural Sciences, 2004,1, 9(1), 18-22 (Accession number:04278253040)

55. Impirical Measurement of the Software Testing and Reliability, Wuhan University Journal Of Natural Sciences, 2004,1, 9(1), 23-26 (Accession number:04278253041)

56. 結(jié)合哈希過(guò)濾的一種改進(jìn)多連接查詢優(yōu)化算法,計(jì)算機(jī)工程,2004,30(7),57-59

57. Huang Can, Xu Ren Zuo, Zhang Liang Ping. A Software Reliability Allocation Model Based on Cost-controlling, Advanced Reliability Modeling, Proceedings of the 2004 Asian International Workshop (AIWARM 2004), Singapore: World Scientific, Hiroshima, Japan, 26-27, August, 2004, 173-180 (ISTP收錄)

58. 徐仁佐、鄭紅軍等;诮巧蜕舷挛牡脑L問(wèn)控制模型,計(jì)算機(jī)應(yīng)用研究, 21(12),2004,140-143

59. 一種動(dòng)態(tài)可配置的分布式互操作體系結(jié)構(gòu)----DCDCA,計(jì)算機(jī)應(yīng)用研究, 21(增刊),2004,12,268-270

60. Xu Ren-zuo, Han Yi-fan, Huang Can, Yao Jun-feng. Investigation on Relationship between Cost and Software Reliability, The 1st Chinese Conference on Trusted Computing and Information Security, Wuhan University Journal of Natural Science, Jan. 2005, 10(1), 9-1260

61. 鄭紅軍,徐仁佐,高俊鵬。NHPP模型完全排錯(cuò)假設(shè)的修改,計(jì)算機(jī)工程與應(yīng)用,41(7),2005,49-50

62. 徐仁佐,劉麗娜,黃燦。軟件工程中的人因問(wèn)題研究,Proceedings of the Seventh Symposium on Reliability, RSORSC’ 2005, 北京:清華大學(xué)出版社,2005, 147-152

63.徐仁佐,黃燦,鄭紅軍,高俊鵬,韓弈凡。基于軟件知識(shí)的測(cè)試方法,Proceedings of the Seventh Symposium on Reliability, RSORSC’ 2005, 北京:清華大學(xué)出版社,2005,153-158

64. 徐仁佐。軟件工程中的復(fù)雜網(wǎng)絡(luò)現(xiàn)象與軟件可靠性研究,Proceedings of the Seventh Symposium on Reliability, RSORSC’ 2005, June 2-4, 北京:清華大學(xué)出版社,2005,357-363

65. Yan-shen Liu, Can Huang, Ren-zuo Xu. The Program Control Flow Graph and the Test Path Automation Generation for Source Program, Proceedings of the ICQR’2005, Singapore: World Scientific

66. 姚俊峰,徐仁佐。GreeNet 互聯(lián)網(wǎng)訪問(wèn)控制系統(tǒng)性能測(cè)試及評(píng)價(jià),計(jì)算機(jī)工程與應(yīng)用,2941(7),2005,154-155

67. RenZuo Xu et al, Investigation on Complex Networks in Software Engineering, Proceedings of 2006 IEEE International Conference on Management of Innovation and Technology, Design, Typeset and Printed by Stallion Press, June, 2006, 532-534

榮譽(yù)獎(jiǎng)勵(lì):


1、1994.10. 論文:“NHPP模型擬合質(zhì)量的改進(jìn)”獲湖北省第五屆自然科學(xué)優(yōu)秀學(xué)術(shù)論文叁等獎(jiǎng)。

2、1994.10. 論文:“NHPP模型參數(shù)調(diào)整與EM算法”獲湖北省計(jì)算機(jī)學(xué)會(huì)一九九四年優(yōu)秀學(xué)術(shù)論文獎(jiǎng)。

3、1996.11. 論文:“軟件可靠性專家系統(tǒng)及其實(shí)現(xiàn)”獲湖北省第六屆自然科學(xué)優(yōu)秀學(xué)術(shù)論文貳等獎(jiǎng)。

4、1997.3. 《軟件可靠性專家系統(tǒng)(SRES)》獲國(guó)家教委科學(xué)技術(shù)進(jìn)步叁等獎(jiǎng)(排名一)。

5、2005.12 《軟件質(zhì)量保證支撐系統(tǒng)SQAS》獲湖北省科技進(jìn)步壹等獎(jiǎng)(排名三)。

媒體報(bào)道:


實(shí)踐出真知 質(zhì)量與創(chuàng)新并重

——記武漢大學(xué)博士生導(dǎo)師徐仁佐教授

徐仁佐 1946年8月出生,湖北紅安人。1969年7月畢業(yè)于武漢大學(xué)數(shù)學(xué)系數(shù)學(xué)專業(yè),畢業(yè)后留校任教,F(xiàn)任武漢大學(xué)教授、博士生導(dǎo)師。1996年9月至1997年12月期間,曾任軟件工程國(guó)家重點(diǎn)實(shí)驗(yàn)室副主任。 他同時(shí)兼任的學(xué)術(shù)職務(wù)有:中國(guó)運(yùn)籌學(xué)會(huì)可靠性專業(yè)學(xué)會(huì)理事長(zhǎng);武漢計(jì)算機(jī)軟件工程學(xué)會(huì)理事長(zhǎng);中國(guó)計(jì)算機(jī)學(xué)會(huì)容錯(cuò)計(jì)算委員會(huì)委員;中國(guó)電子學(xué)會(huì)可靠性、可維性委員會(huì)委員;全國(guó)電工電子產(chǎn)品可靠性與維修性標(biāo)準(zhǔn)化技術(shù)委員會(huì)(SAC/TC24)委員。

結(jié)緣軟件可靠性研究 軟件可靠性,是軟件質(zhì)量的指標(biāo)之一,也是至今人們能定義出的唯一能定量指示軟件質(zhì)量的指標(biāo)。

從1983年開始,徐仁佐一直在武漢大學(xué)軟件工程國(guó)家重點(diǎn)實(shí)驗(yàn)室研究軟件可靠性、軟件可靠性工程、軟件工程。軟件可靠性工程是對(duì)軟件的質(zhì)量(特別是軟件可靠性)進(jìn)行管理和控制的實(shí)用性學(xué)科,而軟件可靠性模型又是軟件可靠性工程的基礎(chǔ)之一。從那時(shí)起,徐仁佐就與軟件開發(fā)、軟件質(zhì)量管理結(jié)下了不解之緣。并在從事研究的同時(shí),培養(yǎng)了大批的青年俊才。

在上個(gè)世紀(jì)八十年代,軟件工程在國(guó)外已研究多年,我國(guó)則是剛剛起步,一切都要從頭開始。對(duì)軟件可靠性的研究也是一個(gè)嶄新的領(lǐng)域,在國(guó)內(nèi)還從來(lái)沒有人做過(guò)。面對(duì)重重困難,徐仁佐迎著壓力沖上前去。在他看來(lái),中國(guó)的軟件產(chǎn)業(yè)要發(fā)展,就必須要走出自己的路,不能跟在別人的后面亦步亦趨。軟件企業(yè)要?jiǎng)?chuàng)品牌效益,只能靠質(zhì)量,靠自己的創(chuàng)新精神。

解密軟件可靠性 在軟件系統(tǒng)的開發(fā)過(guò)程中,集中了大量的人類的腦力勞動(dòng)。而要寫出好的軟件,就必須強(qiáng)迫人類嚴(yán)格按照電子計(jì)算機(jī)的方式去思考,這是十分不人道的。由于各個(gè)環(huán)節(jié)上的人為因素,帶入到軟件中去的錯(cuò)誤是不可避免的。這些錯(cuò)誤好比是埋設(shè)在軟件中的地雷,在軟件運(yùn)行的過(guò)程中,它們可能會(huì)因?yàn)楫?dāng)時(shí)的輸入和各種系統(tǒng)內(nèi)部狀態(tài)的組合而觸發(fā),使得軟件表現(xiàn)出來(lái)的行為偏離了人們?cè)谠O(shè)計(jì)時(shí)對(duì)它的期望,應(yīng)該發(fā)揮的功能不可能正常的發(fā)揮,此時(shí),軟件就出現(xiàn)了故障。因此,軟件錯(cuò)誤是因,軟件故障是果。

現(xiàn)在,大家都承認(rèn)人在寫軟件時(shí)錯(cuò)誤是“不可避免的”,好象在這個(gè)問(wèn)題上,人類命中注定是要“無(wú)所作為”了。真的如此嗎?因此,徐仁佐提出應(yīng)開展軟件工程中的人因問(wèn)題的研究。他提出,我們應(yīng)該從人類大腦的結(jié)構(gòu),從人類在寫軟件時(shí)對(duì)有關(guān)知識(shí)的運(yùn)用和加工處理等一系列機(jī)制入手,認(rèn)識(shí)人類犯錯(cuò)誤的原因,從中尋找可以有效預(yù)防人類犯錯(cuò)誤的措施和辦法。

研究軟件可靠性,選擇什么作為突破口?經(jīng)過(guò)深入細(xì)致的調(diào)查分析,徐仁佐決定從軟件可靠性的模型開始研究。很多研究軟件工程的人將研究軟件可靠性模型視為是一條難行的路途,因?yàn)檫@需要大量的數(shù)學(xué)知識(shí)。軟件可靠性模型,作為定量分析軟件可靠性的數(shù)學(xué)工具,必須有理論上的假設(shè):假設(shè)軟件出現(xiàn)錯(cuò)誤的行為方式;假設(shè)人們?cè)谶M(jìn)行軟件的測(cè)試時(shí)的工作效率和查出軟件錯(cuò)誤時(shí)的處理結(jié)果;假設(shè)軟件錯(cuò)誤在發(fā)生時(shí)對(duì)整個(gè)系統(tǒng)行為的影響等等。

其次,研究軟件可靠性要求研究者具有深厚的概率與隨機(jī)過(guò)程的功底。只有具備這些條件,對(duì)于在軟件測(cè)試過(guò)程中收集的軟件故障數(shù)據(jù)的處理,才能得心應(yīng)手。

另外,要研究軟件可靠性,必須要有軟件故障數(shù)據(jù),這就必須要求研究者對(duì)于軟件的測(cè)試要有深刻的了解。而這些,徐仁佐都具備。所以,當(dāng)他的學(xué)生問(wèn)到他原來(lái)是研究軟件可靠性的,為什么后來(lái)卻研究起軟件測(cè)試來(lái)了時(shí),他能給他們講清其中的邏輯關(guān)系。他先后主講高等數(shù)學(xué)、數(shù)理邏輯、算法設(shè)計(jì)與分析、離散數(shù)學(xué)、可計(jì)算性等本科課程,和軟件可靠性工程與軟件測(cè)試、軟件工程、計(jì)算機(jī)科學(xué)中的數(shù)理邏輯等碩士課程。由于他能及時(shí)將科研成果溶入教學(xué),堅(jiān)持教書育人,因此獲得學(xué)生廣泛好評(píng)。

聯(lián)系實(shí)際還要?jiǎng)?chuàng)新

在徐仁佐的研究工作中,十分強(qiáng)調(diào)理論聯(lián)系實(shí)際,堅(jiān)持認(rèn)為所研究的成果必須能在工程實(shí)際中得到真正的應(yīng)用,為我國(guó)的軟件產(chǎn)業(yè)發(fā)展壯大作出實(shí)際的貢獻(xiàn)。

關(guān)于軟件測(cè)試,徐仁佐經(jīng)過(guò)長(zhǎng)期的研究,提出“基于軟件知識(shí)的軟件測(cè)試”理論。他指出:軟件中包含了三類知識(shí):第一類軟件的正確功能所包含的領(lǐng)域知識(shí),歷來(lái)被從事軟件開發(fā)和軟件測(cè)試的人們所重視;第二類知識(shí)是關(guān)于軟件開發(fā)的正確知識(shí);第三類是關(guān)于正確使用軟件的知識(shí)。徐仁佐指出:人們?cè)趶氖萝浖䴗y(cè)試時(shí),對(duì)第一類知識(shí)十分重視,而往往忽略了對(duì)于另外兩類知識(shí)的測(cè)試,以至于造成對(duì)軟件的測(cè)試不完全的狀況。

認(rèn)真學(xué)習(xí)國(guó)外的先進(jìn)科技,為我所用,但決不跟在別人的后面亦步亦趨。徐仁佐先后出訪過(guò)新加坡、瑞典、美國(guó)、日本,無(wú)論出席國(guó)際學(xué)術(shù)會(huì)議,還是做訪問(wèn)學(xué)者,均堅(jiān)持實(shí)踐這一原則。

他的研究十分強(qiáng)調(diào)理論聯(lián)系實(shí)際。目前,由于政策的導(dǎo)向,學(xué)術(shù)界出現(xiàn)了寫論文的“專業(yè)戶”。在有人千方百計(jì)尋找影響因子低的雜志發(fā)表論文時(shí),他仍然堅(jiān)持為了振興我國(guó)的軟件產(chǎn)業(yè)孜孜不倦地探索、追求。他認(rèn)為,一個(gè)國(guó)家的科研,不在于發(fā)表多少論文,根本的目的是“科技強(qiáng)國(guó)、科技強(qiáng)軍、科技富國(guó)、科技富民”。他已組建軟件公司,以利成果的轉(zhuǎn)化。

他認(rèn)為我國(guó)IT業(yè)界在網(wǎng)絡(luò)的新一代體系結(jié)構(gòu)、網(wǎng)站布局、通信協(xié)議標(biāo)準(zhǔn)化、無(wú)線上網(wǎng)終端設(shè)施的設(shè)計(jì)、制造技術(shù)等方面,應(yīng)爭(zhēng)取走在世界的前列。他不跟在洋人后面研究復(fù)雜網(wǎng)絡(luò)的描述問(wèn)題,而是針對(duì)目前軟件質(zhì)量存在的問(wèn)題,在2004年率先提出開展軟件工程中的復(fù)雜網(wǎng)絡(luò)現(xiàn)象研究,很快在國(guó)內(nèi)外發(fā)表研究論文,獲得國(guó)內(nèi)外的好評(píng)。同時(shí)他指出只研究對(duì)于復(fù)雜網(wǎng)絡(luò)的描述是不夠的,應(yīng)回歸到對(duì)復(fù)雜網(wǎng)絡(luò)本身問(wèn)題的解決。他對(duì)目前國(guó)內(nèi)存在的種種學(xué)術(shù)腐敗現(xiàn)象深惡痛絕,反復(fù)教導(dǎo)他的學(xué)生在反對(duì)學(xué)術(shù)腐敗時(shí),不要忘記注意保護(hù)自己的知識(shí)產(chǎn)權(quán)。 學(xué)術(shù)成就

千里之行,始于足下。多年來(lái)務(wù)實(shí)求真的奮斗成就了徐仁佐教授輝煌的事業(yè)。到目前,徐仁佐教授已發(fā)表研究論文七十多篇,出版專著五本。由他主編的《軟件可靠性工程》一書,也將于2007年初在清華大學(xué)出版社出版。

多年來(lái), 徐仁佐教授共主持完成國(guó)家自然科學(xué)基金等國(guó)家科研工作十多項(xiàng),取得了一大批科研成果。1994年10月,他的論文《NHPP模型擬合質(zhì)量的改進(jìn)》獲湖北省第五屆自然科學(xué)優(yōu)秀學(xué)術(shù)論文三等獎(jiǎng);1994年10月,論文《NHPP模型參數(shù)調(diào)整與EM算法》獲湖北省計(jì)算機(jī)學(xué)會(huì)一九九四年優(yōu)秀學(xué)術(shù)論文獎(jiǎng);1996年11月,論文《軟件可靠性專家系統(tǒng)及其實(shí)現(xiàn)》獲湖北省第六屆自然科學(xué)優(yōu)秀學(xué)術(shù)論文二等獎(jiǎng)。由他主持開發(fā)的《軟件可靠性專家系統(tǒng)(SRES)》于1997年3月獲國(guó)家教委科學(xué)技術(shù)進(jìn)步二等獎(jiǎng)。2005年12月,他參加的科研課題《軟件質(zhì)量保證支撐系統(tǒng)SQAS》獲湖北省科技進(jìn)步獎(jiǎng)一等獎(jiǎng)。

結(jié)束語(yǔ) 成功沒有捷徑,但追求者的腳步卻有跡可尋。至今,徐仁佐教授在我國(guó)軟件可靠性工程領(lǐng)域從事科研已經(jīng)有二十多年了。流逝的年華,記錄在白發(fā)皺紋間,閃光的業(yè)績(jī),寫入我國(guó)計(jì)算機(jī)軟件的發(fā)展史。祝愿徐仁佐教授的科研人生永遠(yuǎn)年輕輝煌!

(出處:《科學(xué)中國(guó)人》2007年第三期)

文章錄入:zgkjcx    責(zé)任編輯:zgkjcx 
  • 上一篇文章:

  • 下一篇文章:
  •  

    關(guān)于我們 | 加入收藏 | 聯(lián)系我們 | 設(shè)為首頁(yè) | 廣告說(shuō)明 | 合作項(xiàng)目

    名稱:科技創(chuàng)新網(wǎng) 工信部備案號(hào):京ICP備13040577號(hào)-2 京公網(wǎng)安備11010802045251號(hào)
    版權(quán)所有:未經(jīng)授權(quán)禁止復(fù)制或建立鏡像 E-Mail:zgkjcx08@126.com
    亚洲熟女一区二区三区,亚洲毛片不卡aV在线播放一区,久久免费视频影视,国产精品尤物在线不卡