論文專著:

已發(fā)表研究論文60多篇,出版專著5本。
出版專著:
1、譯著:《論大型軟件的開發(fā)》,武漢大學(xué)出版社,1986
2、中國計算機(jī)學(xué)會學(xué)術(shù)著作叢書:《軟件可靠性模型及應(yīng)用》,清華大學(xué)出版社,廣西科學(xué)技術(shù)出版社,1994
3、專著:《軟件可靠性專家系統(tǒng)(SRES)開發(fā)》,北京:清華大學(xué)出版社,1996
4、專著:《軟件可靠性》,(合著),北京:國防工業(yè)出版社,1998
5、教材:《軟件工程》,(主編),武漢:華中科技大學(xué)出版社,2001
6、研究生教材: 《廣義軟件可靠性工程》,北京:清華大學(xué)出版社,2006
發(fā)表論文:
1. 軟件錯誤及其對工具系統(tǒng)—WPADT的影響,武漢大學(xué)學(xué)報(自然科學(xué)版),1986,2,21—28
2. 容錯軟件的設(shè)計技巧,軟件產(chǎn)業(yè),1987,10,1—12
3. 軟件可靠性評估—一門引人注目的邊緣學(xué)科,軟件產(chǎn)業(yè),1987,11,1—7
4. 論軟件工程發(fā)展的三個方面—C2F,武漢大學(xué)學(xué)報(自然科學(xué)版),1988,3,117—122
5. 第十屆國際軟件工程會議概況,計算機(jī)科學(xué),1988,5,25—30
6. 軟件可靠性估測現(xiàn)存問題及克服方法的研究,武漢大學(xué)學(xué)報(自然科學(xué)版),1988,6,178—184
7. 論軟件工程數(shù)據(jù)的收集,軟件產(chǎn)業(yè),1989,8,11—15
8. Combining Test Strategy in Reliability Modeling,全國可靠性數(shù)學(xué)第三屆學(xué)術(shù)會論文集,西安,1989,9,17—21,210—215
9. NHPP模型擬合質(zhì)量的改進(jìn),自然科學(xué)進(jì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è)計環(huán)境的開發(fā)與應(yīng)用,軟件產(chǎn)業(yè),1992,2,8—11
12. 非齊次泊松過程模型的擴(kuò)展,武漢大學(xué)學(xué)報(自然科學(xué)版),1992,3,17—22
13. EM算法在非齊次泊松過程模型參數(shù)估計中的應(yīng)用,武漢大學(xué)學(xué)報(自然科學(xué)版),1992, 4,17—22
14. NHPP模型參數(shù)調(diào)整與EM算法,計算機(jī)學(xué)報,1992,5,第15卷,第5期,388—396 (EI檢索)
15. SRPS—可供實用的軟件可靠性估測系統(tǒng),計算機(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ù)與實施方法,軟件世界,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. 非齊次泊松過程模型參數(shù)估計的奇異性,武漢大學(xué)學(xué)報(自然科學(xué)版),1993,5,21—26
20. 非齊次泊松過程模型的參數(shù)計算方法,武漢大學(xué)學(xué)報(自然科學(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. 軟件可靠性估測專家系統(tǒng)與實現(xiàn),Proceedings of The First Symposium on SoftwareReliability in China,May 9—10,1995,Wuhan,China,80—84
23. 軟件可靠性專家系統(tǒng)及其實現(xiàn),全國第五屆可靠性學(xué)術(shù)會議論文集,機(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)驗?zāi)P偷钠娈愋詥栴}與參數(shù)估計方法,計算機(jī)學(xué)報,1998,2,第21卷,第2期,145—153 (EI 檢索)
27.軟件可靠性專家系統(tǒng)的開發(fā)與使用,計算機(jī)應(yīng)用研究,1998,3,第15卷,第3期,16 —20
28.三參數(shù)NHPP軟件可靠性模型的參數(shù)演化計算,計算機(jī)應(yīng)用研究, 1998,2,第15卷,第2期(J),122—123
29.軟件可靠性模型的奇異性問題,計算機(jī)應(yīng)用研究,1998,2,第15卷,第2期(J),137—138
30.軟件可靠性模型參數(shù)的演化計算估計方法,計算機(jī)應(yīng)用研究,1998,2,第15卷,第2期(J),139—140
31.計算機(jī)輔助軟件工程工具采用技術(shù)研究,計算機(jī)應(yīng)用研究,1998,2,第15卷,第2期(J),235—241
32.具奇異性的軟件可靠性模型的參數(shù)計算,計算機(jī)應(yīng)用研究,1998,2,第15卷,第2期(J),259—260
33.軟件可靠性指標(biāo)分配工具Assitool,小型微型計算機(jī)系統(tǒng),1998,11,第19卷,第11期,18—239 (EI 檢索)
34. The Implementation of Software Reliability Expert System(SRES) in Win95,全國第六屆可靠性學(xué)術(shù)會議論文集,機(jī)械工業(yè)出版社,泰安,1998,10,52—61
35.面向多用戶的模塊化軟件系統(tǒng)可靠性分配,小型微型計算機(jī)系統(tǒng),1999,第20卷,第1 期,5-10
36. 基于測試覆蓋的NHPP模型,小型微型計算機(jī)系統(tǒng),1999,第20卷,第8期,587-592 (EI檢索)
37.軟件可靠性穩(wěn)定增長與安全性測試的故障樹分析法,小型微型計算機(jī)系統(tǒng), 1999, 9,Vol.20, No.9, 668-671
38.用含仿射操作的遺傳算法求解軟件可靠性模型參數(shù)估計的奇異性問題,小型微型計算機(jī)系統(tǒng),1999,工程9, Vol.20, No.9, 654-656
39. 軟件可靠性指標(biāo)分配的故障樹分析法,武漢大學(xué)學(xué)報(自然科學(xué)版), 1999,10,Vol.45,No. 5B, 684-686
40.具有錯誤修復(fù)的非齊次馬爾可夫模型,小型微型計算機(jī)系統(tǒng),2000,3,Vol.21,No.3,242-245
41. 基于軟件知識的測試方法,武漢大學(xué)學(xué)報(自然科學(xué)版), 2000,1,Vol.46,No.1, 61-62
42.基于軟件知識的測試方法,《面向新世紀(jì)的中國測試技術(shù)》:2000年全國測試學(xué)術(shù)會議論文集,北京:裝甲兵工程學(xué)院,2000,10,16-18,北京:《電子測試》雜志社,ISSN:1000-8519
43. 網(wǎng)上電子支付系統(tǒng)分析,計算機(jī)應(yīng)用研究,2001,5,Vol.18,No.5, 56-58
44. 面向多用戶軟件系統(tǒng)的可靠性分配的故障樹分析法,小型微型計算機(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. 軟件可靠性多模型綜合評估,同濟(jì)大學(xué)學(xué)報,自然科學(xué)版,2002,10,Vol.30, No.10, 1183-1185
48. 基于模塊開發(fā)控制的一個軟件可靠性分配模型,武漢大學(xué)學(xué)報(理學(xué)版),2003,1,Vol.49,No.1, 44-48
49. 軟件安全性測試,第三屆中國信息和通信安全學(xué)術(shù)會議論文集,科學(xué)出版社,北京,2003,3,351-357
50. 軟件系統(tǒng)的可靠性評估,計算機(jī)應(yīng)用研究,第20卷(2003增刊),177-178
51. 軟件可靠性分配的一個非線性規(guī)劃模型,計算機(jī)工程,2003,29(17),34-36
52.構(gòu)造面向?qū)ο筌浖蓮?fù)用測試用例的模式研究,武漢大學(xué)學(xué)報(理學(xué)版),2003,5(49),592-596
53. 普適計算的安全問題及其訪問控制模型,武漢大學(xué)學(xué)報(信息科學(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é)合哈希過濾的一種改進(jìn)多連接查詢優(yōu)化算法,計算機(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. 徐仁佐、鄭紅軍等。基于角色和上下文的訪問控制模型,計算機(jī)應(yīng)用研究, 21(12),2004,140-143
59. 一種動態(tài)可配置的分布式互操作體系結(jié)構(gòu)----DCDCA,計算機(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模型完全排錯假設(shè)的修改,計算機(jī)工程與應(yīng)用,41(7),2005,49-50
62. 徐仁佐,劉麗娜,黃燦。軟件工程中的人因問題研究,Proceedings of the Seventh Symposium on Reliability, RSORSC’ 2005, 北京:清華大學(xué)出版社,2005, 147-152
63.徐仁佐,黃燦,鄭紅軍,高俊鵬,韓弈凡;谲浖R的測試方法,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)訪問控制系統(tǒng)性能測試及評價,計算機(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
媒體報道:
實踐出真知 質(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月期間,曾任軟件工程國家重點實驗室副主任。 他同時兼任的學(xué)術(shù)職務(wù)有:中國運籌學(xué)會可靠性專業(yè)學(xué)會理事長;武漢計算機(jī)軟件工程學(xué)會理事長;中國計算機(jī)學(xué)會容錯計算委員會委員;中國電子學(xué)會可靠性、可維性委員會委員;全國電工電子產(chǎn)品可靠性與維修性標(biāo)準(zhǔn)化技術(shù)委員會(SAC/TC24)委員。
結(jié)緣軟件可靠性研究 軟件可靠性,是軟件質(zhì)量的指標(biāo)之一,也是至今人們能定義出的唯一能定量指示軟件質(zhì)量的指標(biāo)。
從1983年開始,徐仁佐一直在武漢大學(xué)軟件工程國家重點實驗室研究軟件可靠性、軟件可靠性工程、軟件工程。軟件可靠性工程是對軟件的質(zhì)量(特別是軟件可靠性)進(jìn)行管理和控制的實用性學(xué)科,而軟件可靠性模型又是軟件可靠性工程的基礎(chǔ)之一。從那時起,徐仁佐就與軟件開發(fā)、軟件質(zhì)量管理結(jié)下了不解之緣。并在從事研究的同時,培養(yǎng)了大批的青年俊才。
在上個世紀(jì)八十年代,軟件工程在國外已研究多年,我國則是剛剛起步,一切都要從頭開始。對軟件可靠性的研究也是一個嶄新的領(lǐng)域,在國內(nèi)還從來沒有人做過。面對重重困難,徐仁佐迎著壓力沖上前去。在他看來,中國的軟件產(chǎn)業(yè)要發(fā)展,就必須要走出自己的路,不能跟在別人的后面亦步亦趨。軟件企業(yè)要創(chuàng)品牌效益,只能靠質(zhì)量,靠自己的創(chuàng)新精神。
解密軟件可靠性 在軟件系統(tǒng)的開發(fā)過程中,集中了大量的人類的腦力勞動。而要寫出好的軟件,就必須強(qiáng)迫人類嚴(yán)格按照電子計算機(jī)的方式去思考,這是十分不人道的。由于各個環(huán)節(jié)上的人為因素,帶入到軟件中去的錯誤是不可避免的。這些錯誤好比是埋設(shè)在軟件中的地雷,在軟件運行的過程中,它們可能會因為當(dāng)時的輸入和各種系統(tǒng)內(nèi)部狀態(tài)的組合而觸發(fā),使得軟件表現(xiàn)出來的行為偏離了人們在設(shè)計時對它的期望,應(yīng)該發(fā)揮的功能不可能正常的發(fā)揮,此時,軟件就出現(xiàn)了故障。因此,軟件錯誤是因,軟件故障是果。
現(xiàn)在,大家都承認(rèn)人在寫軟件時錯誤是“不可避免的”,好象在這個問題上,人類命中注定是要“無所作為”了。真的如此嗎?因此,徐仁佐提出應(yīng)開展軟件工程中的人因問題的研究。他提出,我們應(yīng)該從人類大腦的結(jié)構(gòu),從人類在寫軟件時對有關(guān)知識的運用和加工處理等一系列機(jī)制入手,認(rèn)識人類犯錯誤的原因,從中尋找可以有效預(yù)防人類犯錯誤的措施和辦法。
研究軟件可靠性,選擇什么作為突破口?經(jīng)過深入細(xì)致的調(diào)查分析,徐仁佐決定從軟件可靠性的模型開始研究。很多研究軟件工程的人將研究軟件可靠性模型視為是一條難行的路途,因為這需要大量的數(shù)學(xué)知識。軟件可靠性模型,作為定量分析軟件可靠性的數(shù)學(xué)工具,必須有理論上的假設(shè):假設(shè)軟件出現(xiàn)錯誤的行為方式;假設(shè)人們在進(jìn)行軟件的測試時的工作效率和查出軟件錯誤時的處理結(jié)果;假設(shè)軟件錯誤在發(fā)生時對整個系統(tǒng)行為的影響等等。
其次,研究軟件可靠性要求研究者具有深厚的概率與隨機(jī)過程的功底。只有具備這些條件,對于在軟件測試過程中收集的軟件故障數(shù)據(jù)的處理,才能得心應(yīng)手。
另外,要研究軟件可靠性,必須要有軟件故障數(shù)據(jù),這就必須要求研究者對于軟件的測試要有深刻的了解。而這些,徐仁佐都具備。所以,當(dāng)他的學(xué)生問到他原來是研究軟件可靠性的,為什么后來卻研究起軟件測試來了時,他能給他們講清其中的邏輯關(guān)系。他先后主講高等數(shù)學(xué)、數(shù)理邏輯、算法設(shè)計與分析、離散數(shù)學(xué)、可計算性等本科課程,和軟件可靠性工程與軟件測試、軟件工程、計算機(jī)科學(xué)中的數(shù)理邏輯等碩士課程。由于他能及時將科研成果溶入教學(xué),堅持教書育人,因此獲得學(xué)生廣泛好評。
聯(lián)系實際還要創(chuàng)新
在徐仁佐的研究工作中,十分強(qiáng)調(diào)理論聯(lián)系實際,堅持認(rèn)為所研究的成果必須能在工程實際中得到真正的應(yīng)用,為我國的軟件產(chǎn)業(yè)發(fā)展壯大作出實際的貢獻(xiàn)。
關(guān)于軟件測試,徐仁佐經(jīng)過長期的研究,提出“基于軟件知識的軟件測試”理論。他指出:軟件中包含了三類知識:第一類軟件的正確功能所包含的領(lǐng)域知識,歷來被從事軟件開發(fā)和軟件測試的人們所重視;第二類知識是關(guān)于軟件開發(fā)的正確知識;第三類是關(guān)于正確使用軟件的知識。徐仁佐指出:人們在從事軟件測試時,對第一類知識十分重視,而往往忽略了對于另外兩類知識的測試,以至于造成對軟件的測試不完全的狀況。
認(rèn)真學(xué)習(xí)國外的先進(jìn)科技,為我所用,但決不跟在別人的后面亦步亦趨。徐仁佐先后出訪過新加坡、瑞典、美國、日本,無論出席國際學(xué)術(shù)會議,還是做訪問學(xué)者,均堅持實踐這一原則。
他的研究十分強(qiáng)調(diào)理論聯(lián)系實際。目前,由于政策的導(dǎo)向,學(xué)術(shù)界出現(xiàn)了寫論文的“專業(yè)戶”。在有人千方百計尋找影響因子低的雜志發(fā)表論文時,他仍然堅持為了振興我國的軟件產(chǎn)業(yè)孜孜不倦地探索、追求。他認(rèn)為,一個國家的科研,不在于發(fā)表多少論文,根本的目的是“科技強(qiáng)國、科技強(qiáng)軍、科技富國、科技富民”。他已組建軟件公司,以利成果的轉(zhuǎn)化。
他認(rèn)為我國IT業(yè)界在網(wǎng)絡(luò)的新一代體系結(jié)構(gòu)、網(wǎng)站布局、通信協(xié)議標(biāo)準(zhǔn)化、無線上網(wǎng)終端設(shè)施的設(shè)計、制造技術(shù)等方面,應(yīng)爭取走在世界的前列。他不跟在洋人后面研究復(fù)雜網(wǎng)絡(luò)的描述問題,而是針對目前軟件質(zhì)量存在的問題,在2004年率先提出開展軟件工程中的復(fù)雜網(wǎng)絡(luò)現(xiàn)象研究,很快在國內(nèi)外發(fā)表研究論文,獲得國內(nèi)外的好評。同時他指出只研究對于復(fù)雜網(wǎng)絡(luò)的描述是不夠的,應(yīng)回歸到對復(fù)雜網(wǎng)絡(luò)本身問題的解決。他對目前國內(nèi)存在的種種學(xué)術(shù)腐敗現(xiàn)象深惡痛絕,反復(fù)教導(dǎo)他的學(xué)生在反對學(xué)術(shù)腐敗時,不要忘記注意保護(hù)自己的知識產(chǎn)權(quán)。 學(xué)術(shù)成就
千里之行,始于足下。多年來務(wù)實求真的奮斗成就了徐仁佐教授輝煌的事業(yè)。到目前,徐仁佐教授已發(fā)表研究論文七十多篇,出版專著五本。由他主編的《軟件可靠性工程》一書,也將于2007年初在清華大學(xué)出版社出版。
多年來, 徐仁佐教授共主持完成國家自然科學(xué)基金等國家科研工作十多項,取得了一大批科研成果。1994年10月,他的論文《NHPP模型擬合質(zhì)量的改進(jìn)》獲湖北省第五屆自然科學(xué)優(yōu)秀學(xué)術(shù)論文三等獎;1994年10月,論文《NHPP模型參數(shù)調(diào)整與EM算法》獲湖北省計算機(jī)學(xué)會一九九四年優(yōu)秀學(xué)術(shù)論文獎;1996年11月,論文《軟件可靠性專家系統(tǒng)及其實現(xiàn)》獲湖北省第六屆自然科學(xué)優(yōu)秀學(xué)術(shù)論文二等獎。由他主持開發(fā)的《軟件可靠性專家系統(tǒng)(SRES)》于1997年3月獲國家教委科學(xué)技術(shù)進(jìn)步二等獎。2005年12月,他參加的科研課題《軟件質(zhì)量保證支撐系統(tǒng)SQAS》獲湖北省科技進(jìn)步獎一等獎。
結(jié)束語 成功沒有捷徑,但追求者的腳步卻有跡可尋。至今,徐仁佐教授在我國軟件可靠性工程領(lǐng)域從事科研已經(jīng)有二十多年了。流逝的年華,記錄在白發(fā)皺紋間,閃光的業(yè)績,寫入我國計算機(jī)軟件的發(fā)展史。祝愿徐仁佐教授的科研人生永遠(yuǎn)年輕輝煌!
(出處:《科學(xué)中國人》2007年第三期)