2018年5月31日，以“先進產品和測試技術”和“FPGA測試與形式化驗證”為主題的軟件測試新技術研討會在北京舉辦。據了解，本次會議由北京芯躍科技有限公司（以下簡稱“北京芯躍科技”）主辦，Parasoft中國、Arcas技術專家與大連理工大學相關專家，共同就當前軟件測試行業的創新產品、熱點技術、成功經驗進行了充分的交流與討論。
Parasoft中國區總經理劉岳與北京芯躍科技總經理王友振
會議內容顯示，北京芯躍科技長期致力于為科學研究、金融、電信、政府、院校等行業領域，提供軟件開發、軟件工程、軟件測試等專家級技術解決方案。不僅于此，憑借對行業和技術發展的深刻的認識和獨到的見解，北京芯躍科技曾多次參與國家級大型軟件測試平臺的搭建和GJB5000A的認證支持，在業內有很高口碑。
針對中國軟件測試的現狀，Parasoft中國區總經理劉岳在會上介紹說，“軟件測試被視為軟件的生命，而自動化測試正在成為軟件測試領域里令人矚目的一個潮流，這也是軟件工程和嵌入式軟件實踐中的重要發展趨勢之一。”
針對此現狀，Parasoft技術工程師周杰先生分享了Parasoft新一代軟件測試產品DTP及和C++TEST,Jtest、Dottest的集成，并通過實例演示的式直觀呈現其最新功能，引發了與會專家們的熱烈討論。周杰補充說“通過C++TEST可實現靜態分析、同行代碼審查流程自動化、漏洞預防、應用程序監測運行時錯誤檢測等全流程的功能自動化測試，以幫助開發團隊預防、發現及糾正相關錯誤，從而確保其C以及C++代碼如預期般工作。”
而在嵌入式代碼自動生成方面，包括Parasoft、北京芯躍科技、Arcas等企業負責人相繼給出了對應的解決方案。現場就“嵌入式代碼自動生成工具ZIPC”、“最新的形式化驗證技術”、“FPGA測試的跨時鐘域檢查”等多個方面的創新技術，以及其在當前軍工行業中軟件測試的應用現狀進行了深入探討。
Parasoft中國區總經理劉岳為研討會致辭
作為全球范圍內最具代表性的軟件測試解決方案供應商之一，Parasoft是全球首屈一指的軟件測試服務解決方案提供商，依靠30多年的豐富專業技術積累和多行業應用經驗，在軟件測試、SDLC解決方案、自動化測試等領域已成為全球領導者。
進入中國市場十多年來，Parasoft已和國內諸多企業及品牌建立了良好的合作關系。僅在合作商層面上，目前Parasoft已經形成了北京、上海、香港、臺灣、廣州、成都等覆蓋全國的銷售網絡，并與代理商保持了密切的合作關系。這些合作商與Parasoft一道，共同開拓了金融、能源、汽車、教育、軍工、交通、IT科技通訊等諸多領域，包含中國移動、一汽集團、百度、華為、北車等知名國內企業及部分軍工研究所，都有Parasoft軟件測試解決方案的身影。
伴隨互聯網+、大數據、云計算等技術的飛速發展，以及國家要求國防現代化的大背景下，軟件測試在軍工、國防、航空航天等重要領域的作用愈發凸顯。據了解，Parasoft的相關產品如Parasoft Test、Parasoft SOA test、Parasoft DTP、Virtualize等自動化測試產品一直以來廣受軍工及多領域用戶的好評，為相關軟件的開發和使用建立安全、專業的保障。
憑借專業的軟件測試產品線，Parasoft得到了國內諸多行業的一致認可，獲得了包括北京芯躍科技在內合作商的大力支持，雙方攜手在軍工等特殊領域取得了不菲的成績。
如今智慧物聯、網絡安全、人工智能不斷滲透到我們的生活中，軟件測試已經不再是一個新奇的名詞，越來越多的企業意識到軟件開發及應用過程中的潛在問題，尤其是涉及安全、機密的特殊行業，則更加注重軟件的安全保障。Parasoft如同給軟件安全編制了一個安全網，讓網絡安全更加堅固。我們也期待像Parasoft這樣專業的軟件測試先驅品牌，能夠時刻走在行業前列，不斷開發并建立更加安全可靠、穩定標準的自動化測試解決方案，實現企業乃至行業發展的長遠未來。
（新聞稿 2018-06-01）