T-CICC 35010-2025 复杂软件系统测试性技术要求

T/CICCTechnicalrequirementsfortestabilityofcomplexsof2025-09-12发布2025-09-12实施中国指挥与控制学会发布I 4 4 4 4 4 4 5 5 5 6 6 6 7 7 7 7 9 1复杂软件系统测试性技术要求2（软件产品或系统的）质量特性qualitycharacteristic（ofsoftwareproductor3缺陷Defect系统状态输出比例SystemState可观测输出比例Observable4X………………（1）AX………………（2）全局变量与代码量的比例是指输出的全局变量总数与全局变量总数之比，计算见公式X………………（3）5X………………（4）X4：需求正向追踪率。−X4………………（5）X5：软件文档逆向追踪率。X4：需求正向追踪率。缺陷发现率D的计算见公式（6）。其中，ε为源代码中植入错误的语句被执行的概率，计算ε分布特征的随机量，选取ne组输入，重复执行被测程序，统计使位置l执行的输入个数cel，估算执行λ为该错误感染其他正确语句，并使其也产生错误的概率，计算λ时，针对位置l随机选取ni个可能的变异进行缺陷注入，分别执行缺陷注入前后位置l的代码，统计缺陷注入前后执行后数据状态不一致的次数cil，估算传染概率计算见公式（8）。φ为错误被传播到输出，形成软件故障的概率，计算φ时，随机选取位置l执行后可能的np个错误数据状态，执行位置l后代码，统计输出与预期不一致的执行次数cpl，估算传播概率计算见公式6X…………（10）X6：故障发现率。X7：故障隔离率。X…………（12））；7X8：误报率。X…………（13）X9：语句覆盖率。X…………（14）AX10：条件覆盖率。89），），）：）：），），2）功能可观察性。指在测试过程中通过观察软件4）信息流转的可观察性。对于一个基于信息通信的软3）构件执行控制。指软件在测试模型、普3）测试覆盖分析。指在选定的测试标准下别为oa，ob，oc，od，oe，它们的取值是通过对5条特性的具体指标打分而得到的。以oa为例，其令Da=oa，Db=ob，Dc=oc，Dd=od，De=oe，五边形中各项数值所得分数的连接率，P(I)为该错误感染其他正确语句并使其也产生错误的概率，P(P)为错误被传播到输出，形成软件故障的概率，故障暴露率可以被看作是这三个环节概率的连乘结果.在软件系统需求阶段，就将测试性作为一项关键的非功能性需求进行），表:软件生命周期中的测试性活动总结划计证性行[2]GB/T28171[5]SAEJA1003[6]NASA-STD-8729.1Nasareliabilityandmaintainabilitystandardfors[7]NASA-STD-8739.8Softwareassuranceand[8]NPR7150.2NASAsoftwareengineeringr[11]ISO/IEC/IEEE12207:2017systems[12]IEEE730-2014IEEEStandardforSoftw[13]ISO/IEC27001:2022Informationsecur