TCICC350102025复杂软件系统测试性技术要求

T/CICC35010—Technicalrequirementsfortestabilityofcomplexsoftware 中国指挥与控制学 发T/CICC 前 范 T/CICC 参考文 T/CICCT/CICCT/CICCT/CICC本文件按照GB/T1.1-2020 《标准化工作导则第1部分：标准化文件的结构和起草规则》的规定起草。 GJB3181A—2020 GJB2547A—2024 GJB451A—2005 GJB450B—2021 GJB438C—2021 ISO/IEC25010:2023 andsoftwarequalitymodels软件测试性Software测度T/CICCT/CICCT/CICCT/CICC（软件产品或系统的）质量特性qualitycharacteristic（ofsoftwareproductor质量属性quality可观测性可控性可理解性可分解性可追踪性敏感性测试支持能力TestSupport缺陷失效正向追踪率ForwardTraceability逆向追踪率BackwardTraceability系统状态输出比例SystemStateOutput可观测输出比例ObservableOutput全局变量与代码行比例GlobalVariabletoLOC故障注入Fault软件自测试SoftwareSelf-模拟对象Mock 内建测试（Built-InTest）X

X X

X X51X D 为源代码中植入错误的语句被执行的概率，计算时，按照指定的测试用例集或指定分布特征的随机量，选取ne组输入，重复执行被测程序，统计使位置l执行的输入个数cel，估算执行

为该错误感染其他正确语句，并使其也产生错误的概率，计算时，针对位置l随机选取ni个可能的变异进行缺陷注入，分别执行缺陷注入前后位置l的代码，统计缺陷注入前后执行后数据状态不一致的次数cil，估算传染概率计算见公式（8）。 为错误被传播到输出，形成软件故障的概率，计算时，随机选取位置l执行后可能的np个错误数据状态，执行位置l后代码，统计输出与预期不一致的执行次数cpl，估算传播概率计算见公式

X X X X

b）支持通过探针机制或标准化通信中间件记录关键接口调用栈与数据流。d）面向研发和调试的低优先级观测点。c）执行实验注入，在系统中引入扰动；f）重复注入新故障，直到覆盖预定的故障案例。文档有效性。指文档对软件说明的有效性。文档包括需求分析、API规范和用户参考手API的接口具有的可测试性。这里，可以将软件需求需求可测量性。指软件APIGUI可观察性。对于一个带有GUI接口的软件，指通过用户界面交互有助于用户理解I/O被正常使用的难oaA1A2AiiAii为分支个DaoaDbobDcocDdodDeoe线内的面积即为测试性数值。以aob为例，其面积的计算公式为Saob0.5sin70DaDb，则5个内三角形的面积之和为S0.48DaDbDbDcDcDdDdDeDeDa。S即为该软件PIPP为错误被传播到输出，形成软 块测试性目标设定：定义复杂度上单元测试覆盖率PIE模型故T/CICCT/CICC参考文GB/T GB/T IEEEStd IEEErecommendedpracticeonsoftwareSAEJA SoftwarereliabilityprogramSAEJA Softwarereliabilityprogramimplementation Nasareliabilityandmaintainabilitystandardforspaceflightandsupport SoftwareassuranceandsoftwaresafetyNPR NASAsoftwareengineering NASASoftwareSafetyIEEE1856-2017 IEEEStandardFrameworkforPrognosticsandHealthManagementofElectronicISO/IEC/IEEE systemsandsoftwareengineering—SoftwarelifecycleIEEE730- IEEEStandardforSoftwareQualityAssuranceISO/IEC27001:2022 Informationsecurity,cybersecurityandprivacyprotection—Informationsecuritymanagementsystems—Requirements.ISO/IEC2