【正文】 任務(wù)關(guān)鍵系統(tǒng)的測試效率問題。課題組在包括國際頂級雜志ACM TOSEM、IEEE TSE等與國際頂級會議ICSE、FSE等上發(fā)表高水平論文300余篇，他引4000多次。引用者包括許多國際著名學(xué)者，如E. Weyuker（ACM Fellow、IEEE Fellow、ATamp。T Fellow、美國工程院院士、ACM SIGSOFT杰出研究獎和ACM總統(tǒng)獎獲得者），B. Kitchenham（英國皇家統(tǒng)計學(xué)會院士和英國數(shù)學(xué)與應(yīng)用學(xué)院院士）等等。研究成果獲得了國內(nèi)外同行的廣泛認(rèn)可，并產(chǎn)生了較大的影響。面向方面切片相關(guān)的創(chuàng)新性研究成果已經(jīng)被軟件工程經(jīng)典著作采用。研究成果先后獲2007年江蘇省科學(xué)技術(shù)獎（基礎(chǔ)類）一等獎和2012年江蘇省科學(xué)技術(shù)獎（基礎(chǔ)類）一等獎。主要完成人情況表：完成人1：徐寶文，教授，南京大學(xué)對本項目主要學(xué)術(shù)貢獻(xiàn)：課題負(fù)責(zé)人，主持課題研究，把握課題總體研究方向、內(nèi)容和進(jìn)展，對課題研究中的重大問題進(jìn)行把握和決策，是主要科學(xué)發(fā)現(xiàn)和技術(shù)研究第（1）、第（2）和第（3）項的主要貢獻(xiàn)者。提出了軟件度量分析、指針分析與切片分析的主要目標(biāo)和總體研究思路；提出了一系列新型切片技術(shù)以及指針分析的模型并實現(xiàn)了其應(yīng)用；首次提出軟件度量中規(guī)模的潛在混和效應(yīng)問題及其解決方案；首次提出了相鄰約束因素的組合測試生成及其優(yōu)化方法；并將上述研究成果應(yīng)用于任務(wù)關(guān)鍵系統(tǒng)的質(zhì)量保障過程中。完成人2：周毓明，教授，南京大學(xué)對本項目主要學(xué)術(shù)貢獻(xiàn)：是主要科學(xué)發(fā)現(xiàn)和技術(shù)研究第（2）項的主要貢獻(xiàn)者。首次提出利用統(tǒng)計方法定量檢查軟件度量中規(guī)模的潛在混和效應(yīng)，并設(shè)計了一種有效的混和效應(yīng)移除方法, 使得質(zhì)量預(yù)測模型在單位測試和審查工作量下的缺陷檢測能力得到大幅度提高； 針對大規(guī)模的軟件系統(tǒng), 在程序依賴性分析和Web度量的基礎(chǔ)上設(shè)計了準(zhǔn)確的關(guān)鍵模塊識別方法, 在保證準(zhǔn)確性的前提下使得運行效率比現(xiàn)有方法提高了兩個數(shù)量級。完成人3：趙建軍，教授，上海交通大學(xué)對本項目主要學(xué)術(shù)貢獻(xiàn)：是主要科學(xué)發(fā)現(xiàn)和技術(shù)研究第（1）項的主要貢獻(xiàn)者。在面向方面切片等方面提出了一系列突破性、創(chuàng)新性的概念和方法，是國際面向方面切片的開拓者。提出了一系列并發(fā)程序和切片分析技術(shù)，以及基于面向方面切片分析的軟件測試方法。完成人4：張路，教授，北京大學(xué)對本項目主要學(xué)術(shù)貢獻(xiàn)：是主要科學(xué)發(fā)現(xiàn)和技術(shù)研究第（3）項的主要貢獻(xiàn)者。首次澄清了隨機(jī)變異體選擇在軟件測試中的問題，為變異測試開啟了一個新的研究方向。提出一種新型的字符串標(biāo)簽傳播分析技術(shù)，能夠在程序源代碼中有效地區(qū)分字符串，從而實現(xiàn)高效的軟件國際化維護(hù)。完成人5：陳振宇，副教授，南京大學(xué)對本項目主要學(xué)術(shù)貢獻(xiàn)：是主要科學(xué)發(fā)現(xiàn)和技術(shù)研究第（3）項的主要貢獻(xiàn)者。首次提出了“聯(lián)合蘊含”概念，徹底解決了邏輯故障的強(qiáng)弱關(guān)系問題，奠定了軟件邏輯測試的理論基礎(chǔ)。構(gòu)建了一個完整的邏輯故障結(jié)構(gòu)圖，并基于此提出了一種通用形式的邏輯故障結(jié)構(gòu)及其測試生成和優(yōu)化方法；將一系列新型切片分析方法融合與的測試生成和優(yōu)化中。8篇代表性論文：[1] Yuming Zhou, Hareton Leung. Empirical analysis of objectoriented design metrics for predicting high and low severity faults. IEEE Transactions on Software Engineering, 32(10), 2006: 771789.[2] Yuming Zhou, Hareton Leung, Baowen Xu. Examining the potentially confounding effect of class size on the associations between objectoriented metrics and changeproneness. IEEE Transactions on Software Engineering, 35(5), 2009: 607623.[3] Zhenyu Chen, Tsong Yueh Chen, Baowen Xu. A revisit of fault class hierarchies in general boolean specifications. ACM Transactions on Software Engineering and Methodology, 20(3), 2011: 13.[4] Yuming Zhou, Hareton Leung, Pinata Winoto. MNav: A Markov model based web site navigability measure. IEEE Transactions on Software Engineering, 33(12), 2007: 869890.[5] Jianjun Zhao, Baowen Xu: Measuring Aspect Cohesion. Proceedings of the 7th International Conference on Fundamental Approaches to Software Engineering (FASE 2004) 2004, pp. 5468[6] Lu Zhang, ShanShan Hou, JunJue Hu, Tao Xie, Hong Mei. Is operatorbased mutant selection superior to random mutant selection? Proceedings of the 32nd International Conference on Software Engineering (ICSE 2010), 2010, pp. 435444.[7] Lu Zhang, ShanShan Hou, Chao Guo, Tao Xie, Hong Mei, TimeAware TestCase Prioritization using Integer Linear Programming, Proceedings of International Symposium on Software Testing and Analysis (ISSTA 2009), 2009, pp. 213224.[8] Zhenqiang Chen, Yuming Zhou, Baowen Xu, Jianjun Zhao, Hongji Yang. A novel approach to measuring class cohesion based on dependence analysis. In: Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002: 377384.二、技術(shù)發(fā)明獎項目名稱：國家一類新藥左奧硝唑原料及制劑的研制與產(chǎn)業(yè)化項目簡介：該項目是南京圣和藥業(yè)股份有限公司自主研發(fā)的擁有國內(nèi)、國際專利的一類創(chuàng)新藥左奧硝唑及制劑，也是是我國十五期間的2009年10月上市的僅有的兩個創(chuàng)新一類化學(xué)藥之一。該項目的研究被列入國家科技部“重大新藥創(chuàng)制”科技重大專項“十一五”和“十二五”課題2項，還是“十一五”期間國家具有國際發(fā)明專利的僅有的兩個化學(xué)創(chuàng)新藥之一。作為我國第一個具有自主知識產(chǎn)權(quán)的抗厭氧菌感染藥物左奧硝唑，對神經(jīng)系統(tǒng)的損傷幾乎為零，突破了此類藥物的安全性瓶頸,克服了傳統(tǒng)同類藥物在中樞神經(jīng)系統(tǒng)的嚴(yán)重不良反應(yīng)，安全性顯著增強(qiáng)。因而使得患者用藥的安全性和有效性能夠得到更有效的保障。該項目產(chǎn)品主要用于治療由厭氧菌所引起的多種感染性疾病和用于術(shù)前預(yù)防及術(shù)后厭氧菌感染治療。本項目同時還發(fā)明了采用手性定向合成技術(shù)合成左奧硝唑的方法，促進(jìn)了硝基咪唑類藥物研究的技術(shù)進(jìn)步，使奧硝唑光學(xué)構(gòu)體的研究技術(shù)達(dá)到國內(nèi)外領(lǐng)先水平，低成本而且綠色環(huán)保，國內(nèi)外首創(chuàng)。同時，制劑工藝創(chuàng)新讓藥物更安全更穩(wěn)定，獲國家發(fā)明專利。該項目還獲得“國家重點新產(chǎn)品”、“江蘇省重點新產(chǎn)品”、“江蘇省專利新產(chǎn)品”和“2009年處方藥重磅新品”等殊榮。推廣應(yīng)用情況:由于該項目產(chǎn)品左奧硝唑比其他抗厭氧菌藥物更安全有效，因此，于2009年11月，入選《國家基本醫(yī)療保險和工傷保險目錄》（編號93），目前產(chǎn)品已遠(yuǎn)銷全國各地。并且，2012年底左奧硝唑氯化鈉注射液被衛(wèi)生管理部門列入了抗生素一線用藥即非限制用藥。根據(jù)Medtrack數(shù)據(jù)庫顯示，甲硝唑、替硝唑、奧硝唑注射劑在2012年全球銷售額約在20億瓶，因此，左奧硝唑氯化鈉注射液在國內(nèi)市場的市場前景相當(dāng)廣闊，最終可達(dá)國內(nèi)市場規(guī)模300400億元。同時，由于擁有國際專利，并且在2025年之前享受獨占權(quán)，并且該項目正開始國際準(zhǔn)入的申請，隨著其海外市場的開拓，國際更大的市場容量，上市后可實現(xiàn)百億美元以上的銷售額。同時也將為國家創(chuàng)造更多的就業(yè)機(jī)會和稅收。曾獲科技獎勵情況：國家“重大新藥創(chuàng)制”科技重大專項：新一代消基咪唑類創(chuàng)新藥左奧硝唑及其制劑的研究，2008ZX09101101國家“重大新藥創(chuàng)制”科技重大專項：國家一類新藥左奧硝唑氯化鈉注射液Ⅳ期臨床研究，2012ZX09104101江蘇省科技成果轉(zhuǎn)化專項資金項目：國家一類創(chuàng)新藥左奧硝唑及其氯化鈉注射液的研究及產(chǎn)業(yè)化，BA2010027。2012年度江蘇省南京市科技進(jìn)步一等獎，國家一類新藥左奧硝唑原料及制劑的研制與產(chǎn)業(yè)化，20121217001D12014年度江蘇省科技進(jìn)步一等獎，國家一類新藥左奧硝唑原料及制劑的研制與產(chǎn)業(yè)化主要知識產(chǎn)權(quán)目錄國別專利號專利類別授權(quán)情況發(fā)明名稱中國發(fā)明專利已授權(quán)左旋奧硝唑在制備抗厭氧菌感染藥物的應(yīng)用中國發(fā)明專利已授權(quán)左旋奧硝唑的靜脈給藥制劑及其制備方法中國發(fā)明專利已授權(quán)左旋奧硝唑在制備抗寄生蟲感染的藥物中的應(yīng)用中國發(fā)明專利已授權(quán)奧硝唑光學(xué)對映體的制備及純化方法中國發(fā)明專利已授權(quán)通過高效液相色譜法檢測奧硝唑光學(xué)對映體的方法中國發(fā)明專利已授權(quán)左旋奧硝唑陰道給藥制劑，及其制備方法和用途歐洲EP1875910B1發(fā)明專利已授權(quán)左旋奧硝唑在制備抗厭氧菌感染藥物的應(yīng)用歐洲EP1902712B1發(fā)明專利已授權(quán)左旋奧硝唑在制備抗寄生蟲感染的藥物中的應(yīng)用美國US8530507B2發(fā)明專利已授權(quán)左旋硝唑在制備抗厭氧菌感染藥物的應(yīng)用主要完成人情況表：完成人1：王勇作為本項目的第一完成人，負(fù)責(zé)該產(chǎn)品藥理與臨床研究的工作，探索了左奧硝唑治療寄生蟲感染的方法主要親自參加該產(chǎn)品合成技術(shù)和制劑工藝的研究。在研究中還發(fā)現(xiàn)左奧硝唑與同類藥物相比，有著治療指數(shù)高，安全范圍廣的優(yōu)點，使得左奧硝唑在臨床應(yīng)用上有了新的突破。他因本項目的研究還獲得了“中國藥學(xué)發(fā)展獎創(chuàng)新藥物獎突出成就獎”、“二OO六年度江蘇省有突出貢獻(xiàn)的中青年專家”、“333高層次人才培養(yǎng)工程”中青年科學(xué)技術(shù)帶頭人等榮譽。完成人2：張倉是本項目的第二完成人，主要是針對左奧硝唑的藥理研究發(fā)揮了其專業(yè)特長，使得本項目產(chǎn)品在臨床上的應(yīng)用有了新的突破。張倉同志在本項目的化學(xué)合成、制劑制備工藝、分析檢測及臨床應(yīng)用等方面的工作成果共獲得了5項國家發(fā)明專利授權(quán)。完成人3：滕再進(jìn)是本項目的第三完成人，負(fù)責(zé)該產(chǎn)品的制劑處方工藝的研究、中試研究、產(chǎn)業(yè)化研究，以及本項目向SFDA的申報工作。該同志共參與了“左旋奧硝唑在制備抗厭氧菌感染藥物的應(yīng)用”、“左奧硝唑靜脈的靜脈給藥制劑及其制備方法”2項發(fā)明，關(guān)鍵技術(shù)均已獲得國家發(fā)明專利授權(quán)。所在團(tuán)隊獲得了南京市“工人先鋒號”稱號。完成人4：張文萍是本項目的第四完成人，在本項目中主要負(fù)責(zé)合成工藝的研究。此項關(guān)鍵技術(shù)已獲得國家發(fā)明專利授權(quán)（專利號：ZL ）。所在團(tuán)隊獲得了南京市“工人先鋒號”稱號。完成人5：陶小鑫是本項目的第五完成人，參加了該產(chǎn)品藥理與臨床研究的工作，探索了左奧硝唑治療寄生蟲感染的方法，此項關(guān)鍵技術(shù)已獲得國家發(fā)明專利授權(quán)（專利號：ZL ）。在藥理研究中發(fā)現(xiàn)了左奧硝唑在PK/PD和防細(xì)菌耐藥方面的優(yōu)勢。在臨床研究中證實了左奧硝唑安全性優(yōu)于奧硝唑的優(yōu)勢，發(fā)表了臨床研究論文（左奧硝唑氯化鈉注射液治療口腔厭氧菌感染的療效，江蘇醫(yī)藥，2011，37 （6）：714715）。所在團(tuán)隊獲得了南京市“工人先鋒號”稱號。項目名稱：食品質(zhì)量與安全的智能化、成像化檢測技術(shù)研究項目簡介：食品品質(zhì)與安全直接關(guān)系到消費者的健康和生活質(zhì)量，因此食品檢測理論創(chuàng)新和技術(shù)突破十分緊迫和必要。近年來，食品無損檢測技術(shù)異軍突起，以其特有的客觀、快速、重現(xiàn)性好且易實現(xiàn)在線等優(yōu)勢，已成為當(dāng)前食品加工領(lǐng)域的熱點，食品無損檢測的水平反應(yīng)了食品加工業(yè)的信息化、現(xiàn)代化水平。本項目先后在十多項國家、部省級項目的資助下，圍繞著創(chuàng)建精度更高、更簡捷的新檢測技術(shù)、圍繞著建立食品品質(zhì)智能化評價體系的核心理論問題展開研究，在以下3方面取得了方法上和理論上的突破。（1）創(chuàng)建了食品智能化仿生評價新理論，突破了仿生傳感器陣列優(yōu)化、多仿生傳感器信息融合的模糊非線性系統(tǒng)構(gòu)建等理論瓶頸。在國際上首次仿生了人類感覺器官之間的交互感應(yīng)，使傳感智能評價與人工感官評價在機(jī)理上更接近,開辟了食品品質(zhì)全新的檢測理念。（2）發(fā)明了食品質(zhì)量與安全指標(biāo)的二維分布成像化檢測新方法，除得到被測物的總體平均指標(biāo)外，還可更直觀地描繪出被測指標(biāo)的“地形”分布圖，把被測指標(biāo)從傳統(tǒng)的一維表達(dá)推進(jìn)到二維面表達(dá)，在檢測方法和手段上取得了突破性進(jìn)展。（3）發(fā)明了基于色素陣列的食品質(zhì)量與安全指標(biāo)成像化檢測新方法，表達(dá)形象直觀，操作簡便，并突破無損檢測往往受精度困擾的技術(shù)瓶頸，在國內(nèi)外首次實現(xiàn)了采用無損檢測對農(nóng)藥、重金屬、生物胺等質(zhì)量與安全指標(biāo)的高精度、快速檢測。利用上述發(fā)明，成系列地研制了符合我國國情、完全具