簡介
南京大學軟體質量研究所與江蘇省軟體質量研究所、江蘇省軟體質量工程中心是一個實體三塊牌子。軟體質量研究所的主要任務包括三個方面:一、從事與軟體質量及其保證與監督相關的軟體方法、技術與工具的研究;二、進行與軟體產品質量保證與監督相關的政策、法規、標準化的研究;三、進行與軟體質量保證與監督相關的培訓、諮詢、認證、測試與評測等服務工作。目前主要研究領域包括:軟體分析、理解、測試、度量方法與技術,軟體質量保證技術,程式設計語言及實現技術, Web信息獲取技術、Web軟體分析測試技術等。
軟體質量研究所的創建者自1980年代中期就參與了國防科工委的程式設計語言設計與實現、軟體維護與程式分析等等研究工作以及航空工業部(航空航天工業部)的軟體工程規範與標準的研究與制定工作。從1990年代後期始,主要進行軟體分析(程式切片)、度量與測試等方面的研究工作。到本世紀初,徐寶文教授團隊的研究工作開始引起國內外同行的關注。在2005年前後,有關研究成果已經引起國際同行極大關注。
歷史
軟體質量研究所的前身為東南大學軟體工程實驗室。2003年,江蘇省質量技術監督局發文批准,在該實驗室基礎上與江蘇省計算機系統工程測試中心聯合成立江蘇省軟體質量研究所,2005年該局又發文成立江蘇省軟體質量工程中心。2008年秋研究所整體遷至南京大學。
成績
20多年來,先後承擔了總裝備部(國防科工委)、航空航天工業部、中國船舶工業總公司、國家自然科學基金委員會、教育部、科技部、江蘇省以及華為、中興、Intel等公司的科研項目30多項,包括國防重點預先研究項目、國防科學基金項目,國家傑出青年科學基金項目,國家自然科學基金重大研究計畫項目、重點項目、面上項目、青年基金項目、國際合作項目,973項目、863重點與一般項目,江蘇省科技攻關項目、高技術項目、自然科學基金項目等。多年來,團隊成員先後研製了CRL/Ada語言及其生成系統、Ada程式分析與理解系統APAUS、Ada逆向工程與軟體維護支撐系統ARMS、嵌入式軟體測試支撐系統ETS、軟體質量保證支撐系統SQAS等多個系統,並為Intel、華為以及一些軍工科研單位研製了多個專用工具。
出版著譯作10餘部,擔任《新世紀高等學校計算機系列教材》與《實用軟體詳解從書》編委會主任;在包括國際頂級雜誌IEEE Transactions on Software Engineering(TSE)、ACM Transactions on Software Engineering and Methodology(TOSEM)、ACM Computer Survey、Journal of Computer and System Sciences(JCSS)在內的各類重要雜誌與會議上發表論文400餘篇,被SCI、EI、ISTP收錄400餘篇次,論文被40多個國家和地區的學者(包括相關領域許多著名學者、著名雜誌、著名高校和研究單位)廣泛引用與採用,國內外他引2000多次(其中國外他引800多次) ,有關成果被國外學者認為“其結果是對相關領域的重要貢獻”與“重大貢獻”。
積極組織和參與學術活動,與美、英、加、澳、港、台等國家和地區的學者有比較密切的合作關係。先後組織國際國內學術會議10多次,出版學術會議論文集20多本,擔任國際學術會議主席、程式委員會主席、分組會議主席、程式委員會委員等100餘次。
自1993年起,團隊成員作為第一獲獎者(獲獎單位)獲得省部級科技進步一等獎2次、科技進步(自然科學)二等獎5次、三四等獎若干次。此外還多次獲得省級優秀軟體獎和優秀論文獎、國際國內學術會議優秀論文獎等。
自1990年起,團隊成員已指導博士後8人、博士生40餘人(其中已畢業30餘人)、各類碩士生100餘人。所指導學生髮表了一批有國際影響力的論文,10多人次獲得全國百篇優秀博士論文、微軟學者獎、省優秀博士論文、省優秀碩士論文、省優秀本科畢業論文一等獎。
團隊成員(曾)任國家自然科學基金委員會第十一、十二屆學科組成員,軟體工程國家重點實驗室(武漢大學)、教育部高可信軟體重點實驗室(北京大學)、上海市計算機軟體評測重點實驗室、安徽省計算與通訊軟體重點實驗室(中國科學技術大學)等學術委員會委員。
團隊成員先後擔任中國計算機學會理事暨電子政務與辦公自動化專業委員會主任、中國軟體行業協會理事、江蘇省計算機學會副理事長、江蘇省軟體行業協會副理事長(副會長),教育部高等學校計算機科學與技術教學指導分委員會委員、軟體工程教學指導分委員會委員等。
團隊成員(曾)獲航空航天部優秀青年教師,教育部跨世紀優秀人才、教育部新世紀優秀人才、教育部優秀青年骨幹教師,江蘇省優秀教育工作者、省優秀青年骨幹教師、省跨世紀學術帶頭人、省優秀博士生導師、省優秀科技工作者等稱號。獲中創軟體人才獎、政府特殊津貼、江蘇省中青年科技領軍人才、省“六大人才高峰”A類人才培養對象。
經過20多年的開創和建設,軟體質量研究所已經取得了一系列重要研究成果,在國際國內同行中產生了較大影響。