劉少英教授受聘為重點(diǎn)實(shí)驗室客座教授暨專(zhuān)題講座

為加強員工測試理論知識，2015年7月27日下午，上海軟件中心計算機軟件評測重點(diǎn)實(shí)驗室特邀日本法政大學(xué)劉少英教授做了一場(chǎng)題為“Testing-Based Formal Verification: A New and Practical Approach for Software Quality Assurance”的專(zhuān)題講座。軟件中心副主任、重點(diǎn)實(shí)驗室主任蔡立志為劉少英教授頒發(fā)了實(shí)驗室客座教授聘書(shū)。

劉少英，日本法政大學(xué)教授，于1992 年在英國曼徹斯特大學(xué)獲得計算機科學(xué)博士學(xué)位。主要研究領(lǐng)域為：形式工程方法、基于規格說(shuō)明審查和測試、智能軟件工程環(huán)境等。他撰寫(xiě)的學(xué)術(shù)專(zhuān)著(zhù)“Formal Engineering for Industrial Software Development”已由Springer-Verlag 出版。他主編了4個(gè)國際學(xué)術(shù)會(huì )議的論文集，在學(xué)術(shù)期刊和國際會(huì )議上發(fā)表了 120 多篇學(xué)術(shù)論文。他是 ICFEM國際會(huì )議的常委會(huì )主席，是軟件測試、驗證和可靠性 (STVR)期刊的編委、 ISRN 軟件工程期刊的編委。他還是英國計算機學(xué)會(huì )會(huì )員、 IEEE 計算機學(xué)會(huì )高級會(huì )員、日本軟件科學(xué)與技術(shù)學(xué)會(huì )成員。

劉少英教授針對當前質(zhì)量保證面臨的挑戰，介紹了一種基于測試的形式驗證技術(shù)（TBFV）的研究情況。形式驗證過(guò)程可以證明一個(gè)系統不存在某個(gè)缺陷或符合某個(gè)或某些屬性，通過(guò)定理證明的方式來(lái)驗證系統是否具備所期望的關(guān)鍵性質(zhì)，其優(yōu)勢是能夠基于無(wú)窮域上的歸納法處理無(wú)窮狀態(tài)空間。形式驗證的結果可以幫助開(kāi)發(fā)人員確保軟件質(zhì)量。

為開(kāi)闊員工理論視野，提升專(zhuān)業(yè)素養，激發(fā)大家對測試技術(shù)研究的興趣，中心軟件評測重點(diǎn)實(shí)驗室還將繼續開(kāi)展一系列學(xué)術(shù)講座。