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的相关产品如parasofttest、parasoftsoatest、parasoftdtp、virtualize等自动化测试产品一直以来广受军工及多领域用户的好评，为相关软件的开发和使用建立安全、专业的保障。
凭借专业的软件测试产品线，parasoft得到了国内诸多行业的一致认可，获得了包括北京芯跃科技在内合作商的大力支持，双方携手在军工等特殊领域取得了不菲的成绩。
如今智慧物联、网络安全、人工智能不断渗透到我们的生活中，软件测试已经不再是一个新奇的名词，越来越多的企业意识到软件开发及应用过程中的潜在问题，尤其是涉及安全、机密的特殊行业，则更加注重软件的安全保障。parasoft如同给软件安全编制了一个安全网，让网络安全更加坚固。我们也期待像parasoft这样专业的软件测试先驱品牌，能够时刻走在行业前列，不断开发并建立更加安全可靠、稳定标准的自动化测试解决方案，实现企业乃至行业发展的长远未来。