先進裝備軟件高安全、高可(kě)靠、智能化驗證與評估 技術研討(tǎo)會
發布時間:2018-06-05閱讀(dú)次數:3891

2018年(nián)5月30日(rì),我公司聯合Micro Foucs,北航可(kě)靠性管理與測評中心,在武漢舉辦了一場“先進裝備軟件高安全,高可(kě)靠,智能化驗證與評估技術研討(tǎo)會”。志在解決軟件安全性與可(kě)靠性的問(wèn)題,對智能化系統以及利用智能技術的驗證進行討(tǎo)論和交流。


 

參會人(rén)員(yuán)


Micro Focus業務總監練躍華、資深技術顧問(wèn)歐陽磊,北航可(kě)靠性管理與測評中心餘正偉博士出席此次研討(tǎo)會,我公司特邀中科(kē)院薛雲志博士、中電科(kē)14葉波高級工程師(shī)、中船(chuán)722朱昭俊博士、北大(dà)高慶博士等業内知名專家莅臨現場,探討(tǎo)業内共存的問(wèn)題和現狀,并分享在實施過程中的寶貴心得(de)和經驗。

          Ø 完整測試提升軟件質量

創聯智軟公司技術總監屠亞齊爲與會者分享了軟件質量智能管控平台的最新信息:數字化轉型是企業運營的最佳助力者,而DevOps則是最佳的中台解決方案。


 

創聯智軟技術總監屠亞齊


          Ø 新一代預警探測系統的軟件質量管控和測試技術研究與實踐

特邀專家、來(lái)自中國(guó)電子科(kē)技集團公司第十四研究所的葉波博士,爲我們分享了新一代預警探測系統軟件質量管控和測試技術研究。素有三軍之眼之稱的預警系統,在戰争中有着至關重要的作(zuò)用。應用新一代預警系統,會讓我軍的作(zuò)戰能力提升幾何?這勾起了大(dà)家強烈的好奇心。


 

中電14所葉波高工


          Ø Micro Focus 應用質量解決方案

Micro Focus 的資深技術顧問(wèn)歐陽磊爲我們獻上了應用質量管理解決方案。歐陽老師(shī)從(cóng)那些阻礙用戶獲得(de)優秀體(tǐ)驗的障礙入手,抛出了應用宏觀管理的3個問(wèn)題:

應用能跑起來(lái)嗎(ma)?跑得(de)好嗎(ma)?跑得(de)是否安全?

接下來(lái),引出了 Micro Focus 對于這些問(wèn)題的一攬子解決方案,個個皆是明星級産品:

· 應用質量管理平台 ALM

· 自動化功能測試大(dà)法 UFT

· 自動化性能測試神器 LoadRunner

· 自動化應用安全測試雙雄 WebInspect+ Fortify

· 順應時代潮流的移動應用測試中心 Mobile Center

Micro Focus,以更加智能的解決方案、衆多的客戶實施經驗、全球50000+的企業及成功案例,以及最重要的中國(guó)本地化全方位支持,期待着與您雙赢!


 

Micro Focus 的資深技術顧問(wèn)歐陽磊老師(shī)


          Ø 艦船(chuán)通信系統測試及解決方案

軍工産業的特邀專家、來(lái)自七二二所的朱昭俊博士。他(tā)深入淺出,由軟件測評中心的業務、服務和資質,徐徐講起艦船(chuán)通信系統是如(rú)何進行系統軟件測試的,聽得(de)大(dà)家是津津有味。


 

中船(chuán)722所朱昭俊博士

  

          Ø 人(rén)工智能在軟件開發及測試方面的探索

來(lái)自中科(kē)院研究所的薛雲志博士,他(tā)爲我們奉上了幹貨滿滿的一場關于智能無人(rén)系統的演講。

衆所周知,智能無人(rén)系統将在未來(lái)獲得(de)大(dà)範圍應用,并将重塑經濟、社會格局。這就(jiù)對無人(rén)系統的功能性、安全性提出了非常高的标準。

現有一系列的測試,如(rú)對抗性樣本測試、白(bái)盒測試等來(lái)确保系統的安全性。美國(guó)和中國(guó)都(dōu)在積極部署人(rén)工智能測試平台。

在這些測試中,有數以百計(jì)的各類細分測試項目,其中虛拟現實(VR)在這方面大(dà)放(fàng)異彩,包括場景的虛拟、多種傳感器的仿真、實時數據的傳送顯示等。



中科(kē)院薛雲志博士


          Ø 系統級測試保障可(kě)靠性

來(lái)自中國(guó)航空工業集團公司計(jì)算機(jī)軟件、北航可(kě)靠性管理與測評中心的餘正偉博士,爲我們分享了軟件可(kě)靠性工程的相(xiàng)關内容,包括系統測試環境的現狀與問(wèn)題,以及正在進行的GESTE研制、TCSSRET兩款軟件的特點和功能介紹。


 

北航餘正偉博士


          Ø 模型驅動軟件安全可(kě)靠性分析

我公司技術顧問(wèn)劉暢博士爲與會者生動地講解了軟件安全性分析與驗證的課題。通過一個真實的德國(guó)航空迫降的案例的複盤,深入淺出,讓與會者有了真切體(tǐ)會。


 

北航劉暢博士


          Ø 軟件代碼自動化檢測

來(lái)自北京大(dà)學軟件工程國(guó)家工程研究中心的高慶博士。主要分享了背景及代碼測試生态簡介、源代碼掃描工具、二進制代碼掃描工具、動态監控及覆蓋率計(jì)算工具,以及軟件成分分析等内容。


 

北大(dà)高慶博士


此次研討(tǎo)會,一睹諸多專家博士的,聆聽了許多受益匪淺的學術討(tǎo)論報告,參會者有了更多的技術交流,對後續的研究工作(zuò)起到了更好的推動作(zuò)用,同時讓我們公司對用戶的需求也有更進步的了解,在今後的工作(zuò)中,我們以“爲客戶提供優質服務”爲終極目标,切實做到幫助客戶持續成功。


 

參會者合照(zhào)


上一篇:軟件質量及安全軟件分析與驗證技術研討(tǎo)會-4月19日(rì)上海站(zhàn)
下一篇:2018年(nián)5月30日(rì)于武漢召開技術研討(tǎo)會
Copyright © 2018 南京金掌櫃信息科技有限公司 版權所有 備案号:     管理