软件质量及安全软件分析与验证技术研讨会-4月19日上海站
发布时间:2010-03-03阅读次数:4602
尊敬的领导/专家，您好！
诚邀您参加我们的软件质量及安全软件分析与验证技术研讨会
现代航空航天、船舶电子、轨道交通、医疗电力等行业中，软件控制着系统核心功能，软件失效极易引起系统事故，轻则功能丧失任务失败，重则设备损坏人员伤亡，因此被称为安全关键软件。军用关键和重要级软件，民航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余种指标。支撑国产化网络系统性能，并发，压力，容量的测试，满足军用软件测评的严格要求。
创联智软与惠普公司长期紧密合作，是惠普公司军工行业最佳代理商。共同联手，针对军工行业，举办一系列高水平的技术交流研讨会，为大家带来先进的技术、更全面的应用解决方案，同时也会特邀业内知名专家到场，与我们共同探讨行业内共存的问题和现状，共同分享在实施过程中的宝贵心得和体验。
