先進(jìn)裝備軟件高安全、高可靠、智能化驗(yàn)證與評(píng)估

技術(shù)研討會(huì)

尊敬的領(lǐng)導(dǎo)/專家，您好！

誠(chéng)邀您參加我們的先進(jìn)裝備軟件高安全，高可靠，智能化驗(yàn)證與評(píng)估技術(shù)研討會(huì)

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

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

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

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

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

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

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

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

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

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

會(huì)議安排

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

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

會(huì)議日程：