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

技術研討會

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

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

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

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

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

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

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

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

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

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

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

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

會議安排

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

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

會議日程：