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