軟件質(zhì)量及安全軟件分析與驗(yàn)證技術(shù)研討會(huì)-4月19日上海站
發(fā)布時(shí)間:2010-03-03閱讀次數(shù):3819
尊敬的領(lǐng)導(dǎo)/專家，您好！
誠(chéng)邀您參加我們的軟件質(zhì)量及安全軟件分析與驗(yàn)證技術(shù)研討會(huì)
現(xiàn)代航空航天、船舶電子、軌道交通、醫(yī)療電力等行業(yè)中，軟件控制著系統(tǒng)核心功能，軟件失效極易引起系統(tǒng)事故，輕則功能喪失任務(wù)失敗，重則設(shè)備損壞人員傷亡，因此被稱為安全關(guān)鍵軟件。軍用關(guān)鍵和重要級(jí)軟件，民航A和B級(jí)軟件，工業(yè)控制的SIL4和SIL3級(jí)軟件等，都屬于安全關(guān)鍵軟件。對(duì)于安全關(guān)鍵軟件的分析、測(cè)試與驗(yàn)證工作，國(guó)內(nèi)外都有嚴(yán)格的標(biāo)準(zhǔn)，無論是航空ARP 4761+DO178C、航天NASA 8719、工業(yè)IEC 61508，還是GJB 900A、GJB 102A等，都對(duì)安全關(guān)鍵軟件分析驗(yàn)證提出明確要求。但目前我國(guó)對(duì)安全關(guān)鍵軟件分析驗(yàn)證方法、技術(shù)和手段仍存在欠缺，難以滿足日趨嚴(yán)格的標(biāo)準(zhǔn)要求。
基于提高我國(guó)安全關(guān)鍵軟件的分析、測(cè)試與驗(yàn)證能力的目標(biāo)，現(xiàn)定于2016年4月19日，南京創(chuàng)聯(lián)智軟信息科技有限公司在上海舉辦“軟件質(zhì)量及安全軟件分析與驗(yàn)證技術(shù)研討會(huì)”，基于軟件生命周期，研討如何構(gòu)建安全關(guān)鍵軟件分析與驗(yàn)證技術(shù)，討論如何滿足標(biāo)準(zhǔn)的要求與目標(biāo)，交流國(guó)內(nèi)外最新的研究成果和手段。
南京創(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è)試的全過程；覆蓋白盒及黑盒測(cè)試，功能及性能等各種測(cè)試領(lǐng)域；全部測(cè)試流程管理以及工具集成于有效的測(cè)試管理平臺(tái)。
創(chuàng)聯(lián)智軟的軟件測(cè)試整體解決方案集成了IT巨頭惠普公司的軟件應(yīng)用質(zhì)量管理解決方案、北航可靠性管理與測(cè)評(píng)中心的嵌入式系統(tǒng)級(jí)測(cè)試與軟件安全性可靠性分析評(píng)估等解決方案、中科院軟件所的國(guó)產(chǎn)平臺(tái)性能測(cè)試解決方案等，并提供測(cè)試咨詢技術(shù)服務(wù)。此次會(huì)議得到各方的大力支持，邀請(qǐng)了各方專家進(jìn)行技術(shù)交流。
惠普作為軟件測(cè)試行業(yè)巨頭，其完整的應(yīng)用質(zhì)量管理解決方案包括質(zhì)量中心，性能中心和應(yīng)用安全中心。質(zhì)量中心主要提供的是測(cè)試過程中的測(cè)試管理，功能測(cè)試和業(yè)務(wù)流程測(cè)試功能。性能中心提供的是測(cè)試過程中對(duì)性能的測(cè)試和診斷功能，通過系統(tǒng)性能測(cè)試評(píng)估未上線系統(tǒng)的性能并發(fā)現(xiàn)可能的瓶頸。應(yīng)用安全中心在軟件開發(fā)生命周期的每個(gè)階段檢查Web 應(yīng)用程序安全漏洞,幫助研發(fā)人員、質(zhì)量保證 (QA) 團(tuán)隊(duì)和安全專家迅速高效的監(jiān)測(cè)和糾正安全漏洞，全面修復(fù)整個(gè)應(yīng)用程序的生命周期。
特邀專家劉暢博士講解軟件安全性分析、軟件失效模式分析、通用失效基礎(chǔ)數(shù)據(jù)等技術(shù)，為開展符合GJB 900A、GJB 102A、“航定4號(hào)文”等標(biāo)準(zhǔn)要求的軍用軟件安全性需求獲取，安全性分析與設(shè)計(jì)等工作提供支撐，解決軟件安全性需求的正確性和完整性。支撐產(chǎn)品Castle能夠支撐用戶建立基于GJB 438B標(biāo)準(zhǔn)需求模型，開展模型驅(qū)動(dòng)的安全性可靠性分析與設(shè)計(jì)，并實(shí)現(xiàn)通用軟件失效數(shù)據(jù)的復(fù)用與累積，形成功能需求與安全性可靠性需求的高效一體化分析制定過程。
公司顧問金大海博士講解國(guó)產(chǎn)自主源代碼安全性缺陷掃描技術(shù)與單元集成測(cè)試技術(shù)。適用于國(guó)產(chǎn)化平臺(tái)，是自主研發(fā)的源代碼缺陷掃描工具。支持GJB 5369，支持Java、C/C++語言的200多種缺陷模式自動(dòng)掃描；缺陷識(shí)別準(zhǔn)確度高于國(guó)際同類產(chǎn)品。國(guó)產(chǎn)自動(dòng)化單元覆蓋測(cè)試工具。支持語句、分支、MC/DC、邊界、難測(cè)故障變異等覆蓋分析，面向路徑的測(cè)試用例自動(dòng)生成達(dá)到50%以上的覆蓋率，具有高故障檢測(cè)率等優(yōu)點(diǎn)。已有60多個(gè)客戶，形成完全自主可控的，滿足測(cè)評(píng)要求的白盒測(cè)試解決方案。
特邀專家余正偉博士講解軟硬件一體的仿真測(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è)試。該產(chǎn)品彌補(bǔ)了國(guó)內(nèi)系統(tǒng)級(jí)嵌入式測(cè)試通用工具的空白。軟件可靠性評(píng)估與預(yù)測(cè)工具SRET可以實(shí)現(xiàn)軟件可靠性增長(zhǎng)測(cè)試評(píng)估以及驗(yàn)證測(cè)試評(píng)估的自動(dòng)化實(shí)施。還有，軟件可靠性測(cè)試數(shù)據(jù)自動(dòng)生成工具TCS為軟件可靠性的定量評(píng)估提供手段。
特邀專家薛云志副研究員講解國(guó)產(chǎn)自主大規(guī)模系統(tǒng)檢測(cè)及熱修復(fù)工具。用于發(fā)現(xiàn)系統(tǒng)中的安全漏洞、代碼缺陷以及程序bug，并對(duì)檢測(cè)結(jié)果進(jìn)行系統(tǒng)無干擾、用戶無感知的熱修復(fù)。支持基于開源組件搭建的各類型系統(tǒng)，如Linux、Apache、MySQL、PHP等典型web系統(tǒng)等，支持C、C++、Java、PHP、Python等10余種語言。支撐國(guó)產(chǎn)化系統(tǒng)安全缺陷檢測(cè)及修復(fù)，滿足軍用軟件安全系統(tǒng)保障的嚴(yán)格要求。
特邀專家孟令中博士講解國(guó)產(chǎn)自主應(yīng)用系統(tǒng)負(fù)載測(cè)試和性能分析方法與支撐工具。用于發(fā)現(xiàn)性能瓶頸和評(píng)估系統(tǒng)性能。支持國(guó)產(chǎn)操作系統(tǒng)和數(shù)據(jù)庫(kù)，支持10余種通信協(xié)議及20余種指標(biāo)。支撐國(guó)產(chǎn)化網(wǎng)絡(luò)系統(tǒng)性能，并發(fā)，壓力，容量的測(cè)試，滿足軍用軟件測(cè)評(píng)的嚴(yán)格要求。
創(chuàng)聯(lián)智軟與惠普公司長(zhǎng)期緊密合作，是惠普公司軍工行業(yè)最佳代理商。共同聯(lián)手，針對(duì)軍工行業(yè)，舉辦一系列高水平的技術(shù)交流研討會(huì)，為大家?guī)硐冗M(jìn)的技術(shù)、更全面的應(yīng)用解決方案，同時(shí)也會(huì)特邀業(yè)內(nèi)知名專家到場(chǎng)，與我們共同探討行業(yè)內(nèi)共存的問題和現(xiàn)狀，共同分享在實(shí)施過程中的寶貴心得和體驗(yàn)。
