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

技術研討會

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

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

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

隨著軟件系統(tǒng)不斷復雜，產(chǎn)生的數(shù)據(jù)不斷增多，智能化程度不斷加深，如何確保軟件的安全性與可靠性成為熱點話題。同時，AI技術的進步，在裝備中應用的逐漸增多，也給智能化系統(tǒng)的驗證，以及利用智能技術進行驗證，提出了新的課題。

基于此現(xiàn)狀，我們將于2018年5月30日，在武漢舉辦“先進裝備軟件高安全，高可靠，智能化驗證與評估技術研討會”，立足裝備軟件發(fā)展現(xiàn)狀，對如何實施裝備軟件的安全性，可靠性，智能化驗證與評估工作進行研討。我們將邀請業(yè)內知名專家，進行分享交流，無論是面向滿足愈發(fā)嚴苛的裝備軟件驗證要求，還是面向未來以AI技術為代表的軟件驗證新技術，都將是一次有益的探討與碰撞。

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

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

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

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

特邀專家余正偉博士講解軟硬件一體的仿真測試環(huán)境，為被測嵌入式軟件提供真實環(huán)境交聯(lián)設備的仿真，實現(xiàn)對實時嵌入式軟件進行實時、閉環(huán)、非侵入式的系統(tǒng)測試。

特邀專家薛云志研究員講解人工智能與軟件開發(fā)及軟件測試領域的探索。AI正在改變我們的工作和生活方式，它將對軟件開發(fā)的方式產(chǎn)生重大影響。算法被導入應用程序后，用于檢測性能、尋找問題源并確定數(shù)據(jù)的相關性，幫助程序員快速解決問題。

創(chuàng)聯(lián)智軟公司與Micro Focus公司長期緊密合作，是Micro Focus公司軍工行業(yè)最佳代理商。共同聯(lián)手，針對軍工行業(yè)，舉辦一系列高水平的深入的技術交流研討會，為大家?guī)硐冗M的技術、更全面的應用解決方案，同時也會特邀業(yè)內知名專家到場，與我們共同探討行業(yè)內共存的問題和現(xiàn)狀，共同分享在實施過程中的寶貴心得和體驗。

會議安排

日期：2018年  5 月30日9：00-16：00      

地址：武漢保利大酒店  武昌區(qū)民族路788號,近中南路東湖風景區(qū)(近地鐵4號線洪山廣場站) 

會議日程：