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