今日是:
歡迎光臨青島科技大學新聞網

|當前位置: 本站首頁 >> 學術動態 >> 正文
智能化軟件技術及產業發展研討會
作者:王華東  審核: 來源:信息學院  編輯: 點擊:[] 日期:2021年07月27日

報告時間:2021年7月30日(星期五)8:30-12:00

報告地點:青島科技大學信息科學技術學院樓402報告廳



報告題目1 :基於大規模運維數據的雲原生軟件多維度分析

報告人:彭鑫教授  復旦大學

報告摘要: 大規模雲原生軟件系統具有高度的複雜性和動態性,同時也是一個不斷擴展和生長的複雜生態系統。這類系統普遍面臨着技術風險高、故障定位難、缺少全局業務和技術視圖、架構退化等方面的問題。包含各種日誌、度量、軌跡數據在內的大規模軟件運維數據不僅可以用於運行時問題發現和根因定位,而且也為我們洞悉雲原生軟件系統業務和技術運轉狀況及其長期發展趨勢提供了手段。本次報告將從故障和性能問題、架構理解與設計質量、業務流程和特性三個不同維度闡述基於大規模運維數據的雲原生軟件分析思路,並介紹復旦大學CodeWisdom團隊在相關方面的研究和實踐探索。

報告人簡歷:彭鑫,復旦大學計算機科學技術學院副院長、軟件學院副院長、教授、博士生導師。中國計算機學會軟件工程專委會副主任,上海市計算機學會青工委主任,《Journal of Software: Evolution and Process》聯合主編(Co-Editor),《ACM Transactions on Software Engineering and Methodology》編委(Associate Editor),《軟件學報》編委,《Empirical Software Engineering》編委,IEEE軟件維護與演化國際會議(ICSME)執委(2017-2020)。2016年獲得NASAC青年軟件創新獎。主要研究方向包括軟件開發大數據分析、智能化軟件開發、雲原生與智能化運維、泛在計算軟件系統等。研究工作獲得ICSM 2011最佳論文獎、ACM SIGSOFT傑出論文獎(ASE 2018)、IEEE TCSE傑出論文獎(ICSME 2018/2019/2020)、IEEE Transactions on Software Engineering年度最佳論文獎(2018)。擔任ICGSE 2014及ICSME 2017組委會主席、Internetware 2017及ICSR 2019程序委員會主席,以及ICSE、FSE、ASE、ICSME、SANER、RE等會議程序委員會委員。帶領復旦大學CodeWisdom研究團隊開展軟件開發大數據分析平台以及智能化軟件開發平台的研究與實踐,研究成果在多家大型企業進行了實踐應用。

報告題目2 :進化優化與知識共融的軟件變異測試

報告人:鞏敦衞教授  中國礦業大學

報告摘要 變異測試是一種重要的軟件測試方法,能夠評價測試數據集的檢錯性能,但變異體的增多大大增加了變異測試的難度。變異測試過程中,進化優化與知識共融能夠提高測試效率。報告針對串行程序變異測試,給出通過佔優關係約減變異體、將進化優化與知識融合提高變異測試數據生成效率的方法。最後,指出需要進一步研究的問題。

報告人簡歷:鞏敦衞,中國礦業大學教授、博士生導師,江蘇省自動化學會副祕書長,中國人工智能學會機器學習專委會委員,中國計算機學會軟件工程專委會委員,中國自動化學會大數據專委會委員。研究方向為進化優化理論與方法、基於搜索的軟件工程、綜合能源系統運行優化。主持國家自然科學基金、國家“973”計劃子課題、國家重點研發計劃子課題9項。研究成果獲2017年高等學校科學研究優秀成果獎自然科學二等獎和2018年江蘇省科學技術二等獎(均排名第1);獲授權發明專利25項;發表中科院一、二區期刊論文70餘篇,其中,IEEE TEVC、TCYB、TSE、TASE、TR和ACM TOSEM、ECJ等彙刊論文30餘篇,入選ESI前1%高被引論文7篇。

報告題目3 :基於羣智資源的程序智能化生成方法

報告人:董威教授  國防科技大學

報告摘要: 由機器根據任務規約自動化地合成(綜合)出滿足目標的程序,一直是計算機科學領域備受關注的研究熱點,也出現了不同的方法途徑,但都面臨着如何準確表達和理解意圖、如何高效生成較複雜程序等難題。隨着互聯網上積累了越來越多的代碼資源,以及羣體化軟件開發的普及,我們認為利用這些不同類型羣體智慧中存在的知識來提高程序合成的效果是一個值得探討的方向。在該報告中,將介紹我們利用互聯網中代碼大數據和開發者相關資源促進程序合成的一些研究工作,以及分別在歸納式合成與演繹式合成方面的工作。

報告人簡歷:董威,國防科技大學計算機學院教授、博士生導師,主要研究方向為高可信軟件技術、智能化軟件開發方法,中國計算機學會高級會員、軟件工程專委會委員、形式化方法專委會祕書長。入選教育部新世紀優秀人才支持計劃,曾獲首屆東軟-NASAC青年軟件創新獎、霍英東基金會高校青年教師獎、IEEE Reliability Society和IEEE Division VI授予的傑出服務獎等。先後主持國家自然科學基金、國家863、國防領域課題多項,發表學術論文70餘篇,包括ICSE、ASE、IEEE Trans等會議和期刊,出版國家級規劃教材兩部,相關成果應用於航空航天、裝備控制、智能交通、指控系統、自主操作系統等關鍵領域重大工程。


上一條:王磊教授團隊再次在Nature子刊發表高水平研究論文

下一條:數理學院程尊水、辛友明團隊在國際頂級期刊IEEE TNNLS發表長文

【中通快遞香港】

0
新聞鏈接
讀取內容中,請等待...
科大要聞
綜合新聞
焦點圖志

友情鏈接

嶗山校區 - 山東省青島市松嶺路99號   四方校區 - 山東省青島市鄭州路53號   中德國際合作區(中德校區) - 山東省青島市西海岸新區團結路3698號 高密校區 - 山東省高密市杏壇西街1號   濟南校區 - 山東省濟南市文化東路80號

©2015 青島科技大學    管理員郵箱:master@qust.edu.cn

魯ICP備05001948號-1   魯公網安備 37021202000007號   青島市互聯網違法信息舉報中心