先進裝備軟件高安全、高可(kě)靠、智能化驗證與評估

技術研討(tǎo)會

尊敬的領導/專家，您好！

誠邀您參加我們的先進裝備軟件高安全，高可(kě)靠，智能化驗證與評估技術研討(tǎo)會

以航空航天船(chuán)舶電子爲代表的先進裝備軟件發展迅速，裝備軟件的安全性，可(kě)靠性和智能化要求達到了新的高度，相(xiàng)關技術也面臨着新的挑戰。

随着軟件系統不斷複雜，産生的數據不斷增多，智能化程度不斷加深，如(rú)何确保軟件的安全性與可(kě)靠性成爲熱(rè)點話(huà)題。同時，AI技術的進步，在裝備中應用的逐漸增多，也給智能化系統的驗證，以及利用智能技術進行驗證，提出了新的課題。

基于此現狀，我們将于2018年(nián)5月30日(rì)，在武漢舉辦“先進裝備軟件高安全，高可(kě)靠，智能化驗證與評估技術研討(tǎo)會”，立足裝備軟件發展現狀，對如(rú)何實施裝備軟件的安全性，可(kě)靠性，智能化驗證與評估工作(zuò)進行研討(tǎo)。我們将邀請(qǐng)業内知名專家，進行分享交流，無論是面向滿足愈發嚴苛的裝備軟件驗證要求，還(hái)是面向未來(lái)以AI技術爲代表的軟件驗證新技術，都(dōu)将是一次有益的探討(tǎo)與碰撞。

南京金掌櫃信息科技有限公司（簡稱創聯智軟）擁有多年(nián)豐富的軟件工程及測試專業技術積累和行業應用經驗，緻力于幫助客戶迅速提高軟件質量的同時大(dà)幅縮短(duǎn)周期和降低成本。針對當前軟件測試與驗證行業現狀，提供完整的解決方案，提升軟件測試效率及質量。創聯智軟的軟件測試與驗證整體(tǐ)解決方案包括軟件需求分析、安全性可(kě)靠性分析、模型驅動的測試驗證、分布式測試以及自動化測試；覆蓋從(cóng)代碼、單元、集成到系統級測試的全過程；覆蓋白(bái)盒及黑(hēi)盒測試，功能及性能等各種測試領域；全部測試流程管理以及工具集成于有效的測試管理平台。

創聯智軟的軟件工程解決方案集成了Micro Focus公司的軟件應用質量管理、北航可(kě)靠性管理與測評中心的嵌入式系統級測試、北大(dà)軟件的國(guó)産化高安全測試工具，并提供軟件定制化及測試咨詢技術服務。此次會議(yì)得(de)到各方的大(dà)力支持，邀請(qǐng)了各方專家進行技術交流。

Micro Focus作(zuò)爲軟件測試行業巨頭，其完整的應用質量管理解決方案包括質量中心，性能中心和應用安全中心。質量中心主要提供的是測試過程中的測試管理，功能測試和業務流程測試功能。性能中心提供的是測試過程中對性能的測試和診斷功能，通過系統性能測試評估未上線系統的性能并發現可(kě)能的瓶頸。應用安全中心在軟件開發生命周期的每個階段檢查Web 應用程序安全漏洞,幫助研發人(rén)員(yuán)、質量保證 (QA) 團隊和安全專家迅速高效的監測和糾正安全漏洞，全面修複整個應用程序的生命周期。

特邀專家劉暢博士講解軟件安全性分析、軟件失效模式分析、通用失效基礎數據等技術，爲開展符合GJB 900A、GJB 102A、“航定4号文”等标準要求的軍用軟件安全性需求獲取，安全性分析與設計(jì)等工作(zuò)提供支撐，解決軟件安全性需求的正确性和完整性。能夠支撐用戶建立基于GJB 438B标準需求模型，開展模型驅動的安全性可(kě)靠性分析與設計(jì)，并實現通用軟件失效數據的複用與累積，形成功能需求與安全性可(kě)靠性需求的高效一體(tǐ)化分析制定過程。

特邀專家餘正偉博士講解軟硬件一體(tǐ)的仿真測試環境，爲被測嵌入式軟件提供真實環境交聯設備的仿真，實現對實時嵌入式軟件進行實時、閉環、非侵入式的系統測試。

特邀專家薛雲志研究員(yuán)講解人(rén)工智能與軟件開發及軟件測試領域的探索。AI正在改變我們的工作(zuò)和生活方式，它将對軟件開發的方式産生重大(dà)影(yǐng)響。算法被導入應用程序後，用于檢測性能、尋找問(wèn)題源并确定數據的相(xiàng)關性，幫助程序員(yuán)快(kuài)速解決問(wèn)題。

創聯智軟公司與Micro Focus公司長期緊密合作(zuò)，是Micro Focus公司軍工行業最佳代理商。共同聯手，針對軍工行業，舉辦一系列高水平的深入的技術交流研討(tǎo)會，爲大(dà)家帶來(lái)先進的技術、更全面的應用解決方案，同時也會特邀業内知名專家到場，與我們共同探討(tǎo)行業内共存的問(wèn)題和現狀，共同分享在實施過程中的寶貴心得(de)和體(tǐ)驗。

會議(yì)安排

日(rì)期：2018年(nián)  5 月30日(rì)9：00-16：00      

地址：武漢保利大(dà)酒店(diàn)  武昌區民(mín)族路(lù)788号,近中南(nán)路(lù)東湖風(fēng)景區(近地鐵4号線洪山(shān)廣場站(zhàn)) 

會議(yì)日(rì)程：