航天中认华南分中心材料介绍

1、 软件测试服务及体系软件测试服务及体系 建设方案建设方案 航天中认软件测评科技（北京）有限责任公司航天中认软件测评科技（北京）有限责任公司 项目案例项目案例 华南分中心规划 主要产品与服务 航天中认概况 目录目录 航天中认软件测评科技（北京）有限责任公司航天中认软件测评科技（北京）有限责任公司（以 下简称航天中认）是在推动军民融合，推进信息化与工 业化融合，提升中国民用软件产业质量和效率的背景下， 由中国航天软件评测中心、中国质量认证中心、中国家中国航天软件评测中心、中国质量认证中心、中国家 用电器研究院、北京航天科工军民融合科技成果转化创用电器研究院、北京航天科工军民融合科技成果转化创 业投

2、资基金业投资基金合资建立。 一、 航天中认概况 为客户提供民用软件为客户提供民用软件 资质认证和软件质量资质认证和软件质量 能力提升的一站式服能力提升的一站式服 务，成为中国民用软务，成为中国民用软 件质量服务行业件质量服务行业综合综合 实力最强实力最强、品牌价值品牌价值 最好最好和和商业价值最高商业价值最高 的的软件质量服务机构软件质量服务机构 成就软件质量成就软件质量 以航天品质以航天品质 定位与愿景定位与愿景 使命使命 一、航天中认概况使命、定位与愿景 1 2 4 3 股东构成股东构成 中国家用电 器研究院 中国航天科 工集团第二 研究院七0六 所（航天软 件测评中心） 中国航天科 工军

3、民融合 科技成果转 化创业投资 基金 中国质量认 证中心cqc 一、航天中认概况股东构成 产品涉及嵌入式计算机软硬件、 信息安全、网络、软件工程与 测评、惯性测量、数控等专业 领域，是总部装备部军用计算 机及软件技术专业组成员单位， 是总部装备部军用计算机研制 生产定点单位。 航天软件测评中心航天软件测评中心 始建于1957年 是我国最早从事计算机研究 以计算机软硬件研制及产品 开发应用为主集研究、设计 、试验、生产和服务于一体 的国防领域计算机与控制技 术核心研究所。 一、航天中认概况中认股东（航天软件测评中心）中认股东（航天软件测评中心） 一、航天中认概况中认股东（航天软件测评中心）中认股

4、东（航天软件测评中心） 19961996年年6 6月正式成立（计字月正式成立（计字19961996057057号）号） 国内第一家从事高可靠高安全软件评测的专业软件国内第一家从事高可靠高安全软件评测的专业软件 评测机构评测机构 软件工程和软件评测领域军用标准制定者软件工程和软件评测领域军用标准制定者 国内软件评测体系技术领导单位国内软件评测体系技术领导单位 载人航 天工程 奥运、亚运 安保工程 武器 装备 交通部 信息系统 成果 展示 国家电网 信息系统 探月 工程 公安部 信息系统 卫星导 航系统 核安全控 制系统 中海油信 息系统 智能家电智能家电 领域领域 一、航天中认概况中认股东（航天

5、软件测评中心）中认股东（航天软件测评中心） 19981998 20022002 20042004 20072007 19961996 20082008 国内第一 家以软件 评测为认 证项目通 过了新时 代认证中 心的质量 管理体系 国内第一家通过了国内第一家通过了gbj 5000 （cmm）三级正式评估的三级正式评估的 软件测评机构；具有中国载软件测评机构；具有中国载 人航天工程和月球探测工程人航天工程和月球探测工程 的软件独立测试资质的软件独立测试资质 国内第一 家通过了 中国人民 解放军总 装备部军 用软件测 评实验室 认可 通过国防实 验室和国家 实验室资质 认可和国家 实验室资质 认定

6、的现场 评审 2月，获得国家认 证认可监督管理 委员会计量认证 资质认定； 3月通过中国合 格评定国家认可 委员会实验室 （cnas）认可， 出具的测试报告 国际认可； 国防科工委认定 成为国内唯一国 防科技工业软件 测试和评价实验 室 6月中心 成立，是 国内第一 家从事高 安全、高 可靠软件 测评的专 业机构 发展历程 一、航天中认概况中认股东（航天软件测评中心）中认股东（航天软件测评中心） l星务管理软件 l卫星导航软件 l有效载荷软件 卫星星载 软件评测任务软件评测任务 一、航天中认概况中认股东（航天软件测评中心）中认股东（航天软件测评中心） 所获资质 一、航天中认概况中认股东（航天软

7、件测评中心）中认股东（航天软件测评中心） 所获荣誉 一、航天中认概况中认股东（航天软件测评中心）中认股东（航天软件测评中心） 一、航天中认概况中认股东（中认股东（中国质量认证中心中国质量认证中心） 一、航天中认概况中认股东（中认股东（中国质量认证中心中国质量认证中心） cqc颁发的认证标志 一、航天中认概况中认股东（中认股东（中国质量认证中心中国质量认证中心） 一、航天中认概况中认股东（中认股东（中国家用电器研究院中国家用电器研究院） 一、航天中认概况中认股东（中认股东（中国家用电器研究院中国家用电器研究院） 一、航天中认概况中认股东（中认股东（北京航天科工军民融北京航天科工军民融 合科技成果

8、转化创业投资基金合科技成果转化创业投资基金） 三 品牌优势 航天品牌 高技术 高质量 管理优势 丰富行业管理经验 扁平的管理模式 资源优势 政府支持 项目资源丰富 核心优势 一、航天中认概况中认股东（中认股东（北京航天科工军民融北京航天科工军民融 合科技成果转化创业投资基金合科技成果转化创业投资基金） 诚信 公正 客观科学 一、航天中认概况中认发展主旨中认发展主旨 市场影响最大市场影响最大 用户评价最好用户评价最好 品牌价值最高品牌价值最高 综合实力最强综合实力最强 一、航天中认概况中心愿望中心愿望 围绕以上我国软件行业现况和发展需求，结 合航天中认企业及股东资源，我们主要通过软件软件 测评与

9、认证、软件质量能力提升测评与认证、软件质量能力提升两大类业务，为 行业和企业提供软件质量的一站式一站式服务。 二、主要产品与服务中认软件测评行业解决方案中认软件测评行业解决方案 软件及信息技术企业的软件及信息技术企业的“高端认证高端认证”、“医院医院”、 “4s4s”店和店和 “ “学校学校”，为这类企业发展提供良好的区，为这类企业发展提供良好的区 域公共平台。域公共平台。 软件测评业务为第三方软件测评服务，通过全面的、专软件测评业务为第三方软件测评服务，通过全面的、专 业的测试保证软件的正确性、可靠性和完整性，具有专业的测试保证软件的正确性、可靠性和完整性，具有专 业性、客观性。业性、客观性

10、。 产品标准符合性测试服务、产品确认测试服务、系统产品标准符合性测试服务、产品确认测试服务、系统 验收测试服务和系统运维测试服务。验收测试服务和系统运维测试服务。 一站式服务一站式服务 软件测评与认证软件测评与认证 软件测评服务类型软件测评服务类型 二、主要产品与服务中认软件测评行业解决方案中认软件测评行业解决方案 家电行业 交通行业 轨道交通 高校 国际顶级认 证机构 电力行业 行业软件准入标准，海尔、小天鹅、美的、长 虹等软件测试和软件实验室等。 电力行业软件测试标准，高端软件测试，国家 电网软件测试联合实验室等。 交通部软件测试实验室建设，软件质量管理整 体实施规划。 轨道交通-航天中认

11、联合软件测评实验室。 大连理工大学软件测评实验室等 。 航天中认-南德联合软件测评实验室。 二、主要产品与服务中认软件测评实验室建设中认软件测评实验室建设 软件第三方 测试服务 软件测试领域咨询 软件测试工具 （代理及自研） 软件工程 技术咨询 软件测试 整体解决方案 软件测试、软件工程 培训及认证 产品 及服务 二、主要产品与服务服务介绍 软件单元软件单元 测试工具测试工具 cantatacantata 软件运行监软件运行监 测分析工具测分析工具 testbedtestbed 软件安全性测试工软件安全性测试工 具具rational rational appscanappscan 软件代码分析

12、软件代码分析 工具工具klocworkklocwork 压力与性能压力与性能 测试工具测试工具loadrunnerloadrunner 软件静态软件静态 分析工具分析工具 c+ testc+ test 二、主要产品与服务中认软件测评实验室部分中认软件测评实验室部分 工具介绍工具介绍 c+test 二、主要产品与服务中认软件测评实验室部分中认软件测评实验室部分 工具展示工具展示 loadrunner 二、主要产品与服务中认软件测评实验室部分中认软件测评实验室部分 工具展示工具展示 功能测试 接口测试 性能测试 静态分析 代码审查 文档审查 余量测试 人机交互 界面测试 强度测试 安全性 测试 恢

13、复性 测试 测试类型 标准符合性 测试 容量测试 安装性 测试 数据处理 测试 边界测试 代码分析 二、主要产品与服务软件测试类型介绍软件测试类型介绍 二、主要产品与服务软件测试流程介绍软件测试流程介绍 体系文件由质量手体系文件由质量手 册、程序文件、作册、程序文件、作 业文件组成，满足业文件组成，满足 cnas资质认定的资质认定的 通用要求和认可准通用要求和认可准 则要求则要求 质量管理体系质量管理体系 紧密结合中心实际紧密结合中心实际 工作，使各项软件工作，使各项软件 评测工作在一个成评测工作在一个成 熟、规范的过程控熟、规范的过程控 制下进行，有效保制下进行，有效保 证软件评测的工作证软

14、件评测的工作 质量质量 二、主要产品与服务中认质量管理体系 实行内外网物理隔离，严格保护客户 商业机密及知识产权 二、主要产品与服务中认保密管理 测试的对象是软件单元、软件模块测试的对象是软件单元、软件模块 单元测试 测试的对象是软件部件，软件部件由软件单元组成，测试的对象是软件部件，软件部件由软件单元组成， 应对构成软件部件的每个软件单元的单元测试情况进应对构成软件部件的每个软件单元的单元测试情况进 行检查，建立部件测试环境，如桩模块和驱动模块行检查，建立部件测试环境，如桩模块和驱动模块 部件测试 测试的对象是计算机软件配置项（测试的对象是计算机软件配置项（cscicsci），按软件需），按

15、软件需 求规格说明的要求，对配置项的功能、性能等进行测求规格说明的要求，对配置项的功能、性能等进行测 试试 配置项测试 测试的对象是完整的、集成的计算机系统（测试的对象是完整的、集成的计算机系统（cscs），重），重 点是新开发的配置项的集合，按系统点是新开发的配置项的集合，按系统/ /子系统设计说明子系统设计说明 的规定，逐项测试系统的功能、性能等特性的规定，逐项测试系统的功能、性能等特性 系统测试 二、主要产品与服务软件测试级别 对对研制研制方提交文档的完整性、一致性和准确性进行的检查方提交文档的完整性、一致性和准确性进行的检查 文档审查 检查代码和设计的一致性、代码执行标准的情况、代码逻

16、辑表达的正确性、检查代码和设计的一致性、代码执行标准的情况、代码逻辑表达的正确性、 代码结构的合理性以及代码的可读性代码结构的合理性以及代码的可读性 代码审查 主要对程序进行静态度量分析、质量标准验证、代码规则检查等主要对程序进行静态度量分析、质量标准验证、代码规则检查等 静态分析 主要检测数组越界、内存泄露、变量使用之前未赋初值、指针错误等深层主要检测数组越界、内存泄露、变量使用之前未赋初值、指针错误等深层 次软件缺陷次软件缺陷 代码分析 对软件需求规格说明中的功能需求逐项进行的测试，以验证其功能是否满对软件需求规格说明中的功能需求逐项进行的测试，以验证其功能是否满 足要求足要求 功能测试

17、测试在获得定量结果时程序计算的精确性、时间特性和实际完成功能的时测试在获得定量结果时程序计算的精确性、时间特性和实际完成功能的时 间等性能指标间等性能指标 性能测试 测试所有外部接口，检查接口信息的格式及内容，对每一个外部输入测试所有外部接口，检查接口信息的格式及内容，对每一个外部输入/ /输出输出 接口必须做正常和异常情况的测试接口必须做正常和异常情况的测试接口测试 二、主要产品与服务软件测试主要类型 对所有人机交互界面提供的操作和显示界面进行的测试，以检验是否满足用户的要求对所有人机交互界面提供的操作和显示界面进行的测试，以检验是否满足用户的要求 人机交互界面测试 强制软件运行在不正常到发

18、生故障的情况下（设计的极限状态到超出极限），检验软强制软件运行在不正常到发生故障的情况下（设计的极限状态到超出极限），检验软 件可以运行到何种程度的测试件可以运行到何种程度的测试强度测试 测试软件全部存储量的余量、输入、输出及通道的余量等是否达到需求规格说明中余测试软件全部存储量的余量、输入、输出及通道的余量等是否达到需求规格说明中余 量的要求量的要求余量测试 对软件处在边界或端点情况下运行状态的测试对软件处在边界或端点情况下运行状态的测试 边界测试 在真实的或仿真的环境中，为做出软件可靠性估计而对软件进行的功能测试，必须按照运行剖在真实的或仿真的环境中，为做出软件可靠性估计而对软件进行的功能

19、测试，必须按照运行剖 面和使用的概率分布随机地选择测试用例面和使用的概率分布随机地选择测试用例可靠性测试 检验软件中已存在的安全性、安全保密性措施是否有效的测试检验软件中已存在的安全性、安全保密性措施是否有效的测试 安全性测试 对有恢复或重置功能的软件的每一类导致恢复或重置的情况，逐对有恢复或重置功能的软件的每一类导致恢复或重置的情况，逐 一进行的测试一进行的测试 恢复性测试 二、主要产品与服务软件测试主要类型 针对测试工作需求，选取适当 测试工具并实施采购、培训 实现对软件测试的资源、活动以及过程等进行有 效的控制和管理，提高软件测试的规范化、自动 化程度和管理水平 测评实验室 建设 软件质

20、量 体系建设 测评过程 管理体系 建设 测试工具 采购及培训 包括质量方针和质量目标、质量手册、程序文 件 、作业指导书、质量记录等规范与文档 二、主要产品与服务软件测评实验室建设服务 云测试平台是实现“以航天品质成就软件质量以航天品质成就软件质量”的关键板块。 国内软件企业软件工程和软件测试能力提升有赖于技术基础设施的 改善。航天中认致力于将云测试平台建设成为中国软件测试和软件云测试平台建设成为中国软件测试和软件 质量服务的质量服务的“京东京东”和和“淘宝淘宝”。为中小型软件开发机构、软件测 试机构和软件质量服务机构打造国内最大的软件测试、软件工程和 软件培训的在线公共基础设施平台和服务交易

21、平台。同时依托云测 试平台，为高端行业客户提供软件测试整体方案和认证等服务。 二、主要产品与服务云测试平台建设 9 .城际铁路地面通信控制服务器（ccs）软件测试项目； 10 .嵌入式程序技术服务； 项目案例 家电行业：家电行业： 1. v850室外电控软件测试技术开发 广东美的； 2. 洗衣机电脑板软件可靠性测试。 项目案例 典型软件测评项目案例 介绍 数字化核安全级控制保护系数字化核安全级控制保护系 统统mpu板卡正常运行模式软板卡正常运行模式软 件件 数字化核安全级控制保护系数字化核安全级控制保护系 统统scu板卡软件板卡软件 数字化核安全级控制保护系数字化核安全级控制保护系 统统mpu

22、板卡维护模式软件板卡维护模式软件 广利核测试项目介绍被测软件 系统概述 本次测试系统为：数字化核安全级控制保护系统 。 被测系统主要包括三个软件：mpu板卡正常运行模式软件、mpu板卡维护模式 软件及scu板卡软件。mpu板卡正常运行模式软件主要实现主控制站运算处理 功能， mpu板卡维护模式用于实现工程师站控制算法下装和参数整定的工作模 式，当系统处于维护模式中，不能执行正常运行模式以及测试模式的功能，scu 板卡软件实现主处理单元板卡和i/o板卡之间的数据传输，scu板卡通过sn1总 线与i/o板卡进行通信，通过sn2总线与mpu板卡交换数据 。系统框图如下图所 示。 mpu板卡正常运行模

23、式软件 功能介绍 数字化核安全级控制保护系统b系列mpu板卡正常运行模式软件主要 实现主控制站运算处理功能，功能分解如图所示。 mpu 板卡正 常运行 模式软件 执行平台 软件 解析组态 信息和参数 信息，获取 配置信息 将配置信息 和控制指 令传送给 通信板卡 接收网络 通信板卡 和i/o通信 板卡数据 执行应用 软件，进行 逻辑运算 处理 实现自监 视功能 实现故障 处理功能 mpu板卡维护模式软件 功能介绍 数字化核安全级控制保护系统b系列mpu板卡维护模式软件主要实现主控 制站运算处理功能，功能分解如图所示。 mpu 板卡维护 模式软件 接收工程师站 下装的配置信 息、参数数据 将参数

24、信息、 应用软件和 配置信息存 储到mpu板卡 将反馈信息 发送给工程 师站实现 参数整定功能 异常状态下 实现故障 处理功能 scu板卡软件 功能介绍 数字化核安全级控制保护系统scu板卡正常运行软件实现主处理单元板卡 和i/o板卡之间的数据传输功能，功能分解如图所示。 scu 板卡软件 读取配置 信息，解 析校验后 反馈配置 结果 接收mpu 板卡数据 发送mpu 板卡数据 接收i/o 板卡数据 发送i/o 板卡数据 进行周期 诊断， 诊断板卡 自身状态 进行周期 维护， 维护板卡 运行状态 信息 故障处理， 将日志信 息写入 日志区 被测系统基本情况介绍 软件名称软件名称软件规模软件规模

25、测试用例数测试用例数问题数问题数 测试类型测试类型 数字化核安全级控制 保护系统mpu板卡正 常运行模式软件 1069622744 功能测试 性能测试 接口测试 强度测试 余量测试 安全性测试 边界测试 系统级白盒测试 数字化核安全级控制 保护系统mpu板卡维 护模式软件 417699145 数字化核安全级控制 保护系统scu板卡软 件 1019815675 动态测试手段 软件的动态测试是在数字化核安全级控制保护系统软件仿真 平台测试环境中进行 ，动态测试分为两部分： u 系统级黑盒测试 u 系统级白盒测试 系统级黑盒测试覆盖测试类型主要包括：功能测试、性能测试、接口测试、 安全性测试、余量测

26、试、强度测试 、边界测试等。 系统级白盒测试是使用cuttle-ite对被测软件的源程序进行白盒测试，逐个 函数进行覆盖率 统计，对未执行到的语句、分支逐一进行分析说明。 关键技术解决方案 动态测试需要在仿真平台测试环境中进行，测试过程中遇到 的难点问题主要包括以下几个方面： 1、 i/o板卡为实际硬件板卡，如何模拟i/o板卡异常及发 送 错误配置信息； 2、系统级白盒测试需要测试工具辅助统计代码运行覆盖率， 测试工具通过网口接收网络数据，如何实现测试平台正确搭 建； 3、系统级白盒测试通过cuttle ite工具实现代码打桩，如何 保证打桩方式不会对程序运行的性能产生影响。 关键技术解决方案

27、 针对动态测试过程中遇到的困难和问题，测试组与承研单位 反复沟通协商，最终一一解决了动态测试问题，并获得研制 单位的认可。解决方案如下： 1、测试方通过自研的模拟i/o板卡应用软件，实现了模拟i/o板卡异常及模拟发送 异常配置信息，覆盖了系统级黑盒测试中所有判断i/o反馈信息的正常及异常测试 用例，覆盖了系统级白盒测试中与i/o板卡交互部分的覆盖率统计。 2、由于测试环境为实验室仿真平台测试环境，软硬件结合紧密，调试过程中一个 环节异常将导致测试工具无法从网口获取正确的数据信息，经过反复的调试，终 于获取正确的数据信息。 3、由于程序运行一个周期的时间为6ms，要保证测试插桩不影响程序的正常运

28、行， 必须保证插桩后的一个流程数据处理时间小于6ms，并保有20%的余量，测试组 通过示波器对插桩前及插桩后的数据时间进行探测，发现插桩后的数据处理时间 远小于6ms，并经过长时间运行，系统运行正常。 广利核典型案例分析 l动态测试过程中发现的重要错误类型： 功能项未实现； 数组越界； 变量使用之前未初始化； 程序设计错误； 逻辑判断条件冲突； 不可达分支和语句； 异常保护错误； 传入参数未进行保护。 l典型问题描述数组下标越界 if (1u != a_32_ccois_slot_numu32_ccois_io_slot_num) a_32_ccois_slot_numu32_ccois_io

29、_slot_num = 1u; ； 数组a_32_ccois_slot_num定义为： a_32_ccois_slot_numio_max_num + 2u = 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u; 其中io_max_num值为12，而由于数组下标使用过程中判断错误，导致下标存在14的 可能，存在数组越界的隐患。 数字化核安全级控制保护系统软件 下标越界，导致i/o板 卡槽号判断错误，将 越界的数组强制赋值 为1，影响反馈信息的 正确性 l典型问题描述程序逻辑错误 if (success = b_ih_ret) b_ih

30、_ret = clear_dpram(); /*clear dpram*/ if (failure = b_ih_ret) b_ih_flag = success; if (success = b_ih_ret) b_ih_ret = clear_ram(); /*clear ram*/ if (failure = b_ih_ret) set_status_error_code(error_init_check_mem); if (success = b_ih_flag) /* note error code*/ 数字化核安全级控制保护系统软件 当满足b_ih_flag等于 success，必

31、有 b_ih_ret为failure， 即双口ram初始化失败， 而只有b_ih_flag为 success且b_ih_ret为 success时，提示 “error_init_chec k_dpram”，程序存在 逻辑错误。设计师用多 个变量做双口ram失败 时的判断条件，而两个 条件逻辑有冲突 l典型问题描述程序设计错误 if (0 x1u = u32_cs_board_eth_use) /*note error code*/ disp_error_info(dm_err_init_eth2); /*display error code number*/ if (failure = b_c

32、s_eth1_ret) /*set return flag to failure*/ 此段程序有两个重要问题：此段程序有两个重要问题： 1、此程序为判断网口是否正常可用，网口一与网口二为独立关系，而程序设计中将网口二的判断作为网口一的判断分、此程序为判断网口是否正常可用，网口一与网口二为独立关系，而程序设计中将网口二的判断作为网口一的判断分 支。支。 2、程序中当网口一初始化失败并且网口二初始化失败的情况下，才设置变量、程序中当网口一初始化失败并且网口二初始化失败的情况下，才设置变量b_cs_ret为失败，设计不当。应为网口为失败，设计不当。应为网口 一初始化失败或网口二初始化失败时，设置一初

33、始化失败或网口二初始化失败时，设置b_cs_ret为失败，即一旦一个网口有误就应报错为失败，即一旦一个网口有误就应报错。 数字化核安全级控制保护系统软件 1. 高速铁路lkd2- t2型列控中心 （tcc）主机单元 系统软件； 2. 临时限速服务器 软件（tsrs） 国家电网智能电网国家电网智能电网 调度技术支持系统调度技术支持系统 铁路铁路电力电力 家电 全自动洗衣机控制 系统软件 航天软件评测中心典型测试项目 列控中心主机单元 实现站内和区间轨道电路的载频、低 频信息编码功能 实现应答器报文的实时组帧、编码、 校验和向leu发送的功能 实现tcc站间安全信息的实 时传输 实现区间信号机的点

34、灯控制 实现进出站信号机的驱动采集 实现异物侵限防护 实现区间运行方向与闭 塞的控制 实现自诊断与维护功能 系统功能 临时限速服务器软件功能 控制列车按限速 要求运行 负责控制应答器 传送相应的限速 信息给c2列车； 负责通过gsm-r 传送相应的限速 信息给c3列车 负责校验临时 限速命令，并 分发给相关tcc rbc执行（边界 处限速还要传递 给相邻tsrs下 发） 提供临时限速计 划调度命令输入 及执行操作和限 速状态显示的人 机界面 ctc tsrstcc/ rbc 车载 设备 软件名称软件名称问题数问题数 测试类型测试类型 lkd2-t2型列控中心（tcc） 主机单元系统软件 440

35、 静态分析 代码分析 代码审查 单元测试 集成测试 确认测试 临时限速服务器（tsrs）软 件 1162 高速铁路tcc和tsrs软件 测试结果 家电全自动洗衣机控制系统软件 数码显示功能按键选择功能 蜂鸣功能记忆功能风干功能 自动平衡调整功能 预约洗涤功能 软化剂自动投放功能 软件名称软件名称问题数问题数 测试类型测试类型 全自动洗衣机控制系统软件 117 静态分析 代码分析 代码审查 确认测试 家电全自动洗衣机控制系统软件 测试结果 国家电网智能电网调度技术支持系统 服务特高压大电网安全运行 日前 计划校核 实时 调度运行 年月 方式分析 数据传输 网络化 运行监视 全景化 安全评估 动态

36、化 源网协调 最优化 调度决策 精益化 运行控制 自动化 一体化智能电网调度体系 智能电网调度技 术支持系统 总体目标 国家电网智能电网调度技术支持系统 系统结构 国家电网智能电网调度技术支持系统 系统模块图 黄色部分 为已测模块 测试结果 软件名称软件名称问题数问题数 测试类型测试类型 智能电网调度技术支持系统智能电网调度技术支持系统智能分智能分 析与辅助决策软件析与辅助决策软件 513 静态分析静态分析 代码分析代码分析 智能电网调度技术支持系统基础平智能电网调度技术支持系统基础平 台台服务总线软件服务总线软件 63 智能电网调度技术支持系统基础平智能电网调度技术支持系统基础平 台台消息总

37、线软件消息总线软件 70 智能电网调度技术支持系统智能电网调度技术支持系统安全约安全约 束经济调度软件束经济调度软件 795 智能电网调度技术支持系统基础平智能电网调度技术支持系统基础平 台台模型管理软件模型管理软件 121 智能电网调度技术支持系统基础平智能电网调度技术支持系统基础平 台台实时库软件实时库软件 953 国家电网智能电网调度技术支持系统 航天软件评测中心典型案例分析 l测试过程中发现的重要错误类型： 数组越界； 变量使用之前未初始化； 数据溢出； 逻辑判断条件冲突； 不可达分支和语句； 逻辑处理错误； 异常保护错误； 传入参数未进行保护。 高速铁路临时限速服务器（tsrs）软件

38、 l典型问题描述数组下标越界 for(j = 0; j 6); 数组flkqdztij中j的最大取值为59，上述代码中subcfgi.uby_bsnum的值存在 为0 xff的情况，导致数组flkqdztij在引用过程中存在数组越界的隐患。 临时限速服务器（tsrs）软件 下标越界，导致发送 给外部联锁设备的列 车线路状态错误，影 响联锁设备对线路状 态的判断 l典型问题描述变量使用之前未初始化 if(qdlx = 0 xa800) qdzt = bit_tc_clear; 局部变量qdzt在满足上述if条件时赋值，当该if条件不满足时，此时程序其它地 方引用局部变量qdzt时该变量使用之前未

39、初始化。 临时限速服务器（tsrs）软件 局部变量qdzt使用之前 未初始化，为任意值， 运行过程中程序有可能 进入意想不到的分支 临时限速服务器（tsrs）软件 v_data16数据溢出 导致接收的接口转 换站设备发送的调 度命令号错误，无 法正确地实现临时 限速命令的控制 l典型问题描述不可达语句和分支 n = fnmarkspcmd(index1); if(n != 0) fnsetcmdbad(index1, index2, 2,n); return 2; ind = fngetsectionindex(j, if(ind allmainlinej.sum) 若处if条件满足，则处if判断条件必满足，程序退出，导致异常处理情况失效。 临时限速服务器（tsrs）软件 处if条件不 可达，导致临 时限速命令异 常判断失效， 无法判断是否 对不存在的线 路下达了限速 命令 l测试过程中发现的重要错误类型： 数组越界； 异常处理不正确； 逻辑处理错误； 存在死循环的可能； 语句表达错误； 存在不可达语句和分支； 边界值使用不当； 逻辑判断条件错误。 航天软件