軟件學院國際學術月10月14日學術會議活動順利開展!-軟件學院
當前位置: 首頁 > 學院動態 > 學術活動 > 正文

軟件學院國際學術月10月14日學術會議活動順利開展!

更新時間:2020-10-18 11:18:37

2020年10月14日上午10點,軟件學院第五屆線上國際學術月會議暨“軟件&智能信息&物聯網”主題係列講座活動也進行到了最後一天,本次的國際學術月會議共持續三天,分為17個場次。會議主要圍繞軟件工程、智能信息和物聯網的國際研究前沿,討論工業軟件研究背景、麵臨的挑戰和可能的發展技術路線,活動旨在加速學院向學科研究型轉型,提升學院學術氛圍,擴大學院影響力,激發學生科研熱情。

第一場是由劉少英教授所帶來的題目為Testing-Based Formal Verification for Software Quality Assurance and Cost Reduction的講座。劉少英教授是日本著名計算機專家,日本法政大學教授。早年在西安交通大學獲得學士和碩士學位,後在英國曼徹斯特大學獲得博士學位。現為IEEE計算機學會複雜性技術委員會副主席,IEEE計算機學會、ACM、日本軟體科學與技術學會成員。講座具體從以下三個方麵進行了探討和研究:1、從軟件質量保證的角度,對測試設計進行定義,根據這個定義對測試設計階段的工作任務進行了描述。2、將標準化的思想引入到測試設計過程中來保證軟件質量。對軟件測試重要環節的測試用例設計進行了標準化方麵的探討,是軟件質量得到最有效地保證。3、為了通過測試設計是的軟件測試能夠發現更多的Bug,在測試設計過程中提出一種提高軟件錯誤發現率的測試策略,實現有限的時間和資源預算下更合理的分配測試資源,從而有效地節約測試時間、提高測試效率,達到更好的保證軟件質量的目的。劉教授專題技術報告主題係統深入、分析深刻透徹。開拓了我院軟件工程學科研究生的學術視野,深化了學科前沿的學術理解。

第二場是由蔡元芳教授所帶來的題目為The Economics behind Software Design Evolution的講座。蔡元芳教授是弗吉尼亞大學計算機博士畢業,現任美國Drexel大學終身教授,博士生導師,計算機係副主任。蔡教授過去10年間致力於軟件設計、架構、演化以及軟件經濟學的研究,旨在探索科學理論用以指導軟件開發實踐,提高軟件開發質量和生產效率。講座具體內容是以工程項目為主體,以技術——經濟係統為核心,研究如何有效利用資源,提高經濟效益方麵展開。集體講述了如何研究各種工程技術方案的經濟效益,研究各種技術在使用過程中如何以最小的投入獲得預期產出或者說如何以等量的投入獲得最大產出;如何用最低的壽命周期成本實現產品、作業以及服務的必要功能。在不到一小時的講座中,蔡教授以真實的軟件係統數據為引導,將自己在軟件經濟學領域最新的研究成果分享給與會學生,讓與會學生對軟件經濟學、軟件質量管理的學術前沿有了更深入的認識和思考。

第三場是由Tadashi Dohi教授所帶來的題目為PHM in Software Systems Engineering的講座。Tadashi Dohi教授來自日本廣島大學的信息工程學院,是ORSJ, JSIAM, IEICE, REAJ and IEEE等學會的會員。Tadashi Dohi教授的主要研究領域為軟件可靠性,軟件老化和恢複,硬件可靠性,維修性等,在國際學術期刊公開發表學術論文176篇。在講座中,Tadashi Dohi教授告訴我們在設計軟件時,一個重要的考慮因素是數據流的方向。因此,軟件將算法分為以下五大類PHM算法:數據預處理、特征發現、異常檢測、診斷/分類和預測/建模。PHM信息可用於維護預測和決策,以最小化壽命周期成本或最大限度地提高可用性。

在上午精彩的三場講座結束之後,2020年10月13日下午,國際學術月學術講座最後兩場召開。

第一場是來自愛爾蘭利莫瑞克大學的Mike Hinchey教授為我們帶來的主題為Is There anything that isn’t software的專題講座。Hinchey教授曾擔任NASA軟件工程實驗室主任。2009年,他獲得NASA Kerley獎,被評為年度創新人物,並入選NASA名人堂。Hinchey教授是注冊工程師、注冊工程專家,還是英國工程與技術學會會士(IET Fellow)、英國計算機協會會士(BCS Fellow)、澳大利亞工程師協會會士(FIEAust Fellow)、愛爾蘭工程師協會會士和愛爾蘭計算機協會會士(ICS Fellow),並擔任愛爾蘭計算機協會主席。Hinchey教授擔任《係統和軟件工程創新》主編。2018年,Hinchey教授被評為印度計算機協會榮譽會士,被東南亞計算機協會評為2018年度最佳全球信息通信技術專家。

本次課題主要分為4各部分。

首先Mike Hinchey教授首先向我們介紹了一些不同的發動機,以及本次課題的背景和動機,然後指出最關鍵的信息:軟件就是一切,全球信息通信技術需要先進的軟件能力。

接下來向我們介紹了當今我們麵臨的主要的三個軟件問題和挑戰:1.生產高質量的軟件是複雜而困難的 2.處理好軟件過程能力與業務的直接關係3.不斷增長的軟件大小。

在介紹完這些內容後,又指出軟件不是一個靜態的東西,它是不斷增長變化的,是動態的,然後向我們介紹了軟件的主要特性。

      最後,他向我們介紹了兩個軟件中進化的關鍵係統,比如進化了遺留代碼和遺留係統。

第二場是來自香港理工大學的裴玉副教授為我們帶來的主題為Effective program Repair Based on State Abstraction的講座,裴教授的主要研究目標是在現實世界中促進高質量軟件係統的生產。他在ieeetse、ICSE、ASE和ISSTA等頂級領域發表了十多篇同行評審的論文。

基於此講座的課題,裴教授首先向我們介紹了自動程序修複(Automated Program Repair)技術, 他指出目前大都是測試驅動的,所以輸入輸出都很容易描述清楚,然後介紹了自動程序修複中的兩種修複方式:Search-Based and Constraint-Based。接著裴教授向我們提出了一個問題:即使通過所有的測試用例,也不一定能通過其他的測試用例,怎麽解決?引發的同學們的思考。第三部分為

對程序的狀態進行抽象的工作,是利用三元組對程序狀態進行抽象,即按照[快照表達式、位置、值]來進行抽象。最後對本課題進行了一個總結。

在每次講座進行過程中,同學們都保持著高漲的熱情,積極了解與講座主題相關的知識,認真做好筆記。每次講座結束後,都會去提出自己的疑問,並於老師交流學習。通過這兩次的講座學習,我們了解到了當今軟件在世界的重要性和主要挑戰以及軟件修複的主要過程和技術,也對多個領域有了一個深刻的印象和體會,相信在以後的學習過程中和在對自己課題及研究方向上有所幫助。

(撰稿:甄清 鄒信元 攝影:甄清 鄒信元 張顥騫 審核:張琨)