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