软件质量

ISO/IEC 9126 是软件工程领域的经典质量模型，于1991年首次发布，2001年更新后成为软件产品质量评估的国际标准。其核心贡献是将抽象的“质量”概念分解为可度量、可管理的特性体系。以下是深度解析（2023年行业实践视角）：

🧱 **一、模型分层结构

🔍 二、六大特性详

1. 功能性（Functionality）

定义：软件满足需求的能力

2. 可靠性（Reliability）

定义：在规定条件下维持性能水平的能力
案例：
- 航空控制系统要求 MTBF > 10,000小时
- AWS EC2 SLA承诺可用性≥99.99%

3. 易用性（Usability）

评估维度：
度量举例：
- 新用户任务完成时间 < 5分钟（如滴滴出行首次叫车）

4. 效率（Efficiency）

资源类型：
- 时间特性：响应延迟（如5G基站控制指令<10ms）
- 资源利用：CPU/内存占用率（如MySQL查询内存<100MB）

5. 维护性（Maintainability）

代码质量核心指标：

指标	优质阈值	劣质信号
圈复杂度	< 15	> 50 (不可测试)
重复代码率	< 5%	> 20% (修改风险↑300%)

6. 可移植性（Portability）

关键活动：
- 环境抽象（如Spring Boot自动配置）
- 依赖隔离（Docker容器化）

💎 总结

尽管已被ISO/IEC 25010取代，9126仍是质量模型的理论基石

正如Capers Jones所言：
“没有度量就没有改进” —— 9126的价值在于将模糊的质量诉求转化为可行动的工程实践。在云原生时代，其精神正通过自动化质量流水线延续生命。

软件测试

一、测试目标与原则

核心目标

在这里插入图片描述

原则

缺陷集群性（二八定律）：80%缺陷集中在20%模块
杀虫剂悖论：重复用例失效，需持续更新测试方案
尽早测试：需求阶段介入，降低修复成本（IBM统计：需求缺陷修复成本=代码级10倍）

二、测试层级金字塔（Mike Cohn模型）

1. 单元测试（Unit Testing）

对象：函数/类方法

工具：JUnit（Java）, Pytest（Python）

// Junit示例：账户余额校验
@Test
void whenBalanceInsufficient_thenThrowException() {Account account = new Account(500);assertThrows(InsufficientBalanceException.class, () -> account.withdraw(1000));
}

覆盖率要求：关键模块≥80%（航空软件要求100% MC/DC）

2. 集成测试（Integration Testing）

焦点：模块间接口、数据流

3. 系统测试（System Testing）

测试类型：
- 功能测试：需求覆盖度矩阵
- 性能测试：JMeter模拟10万并发用户
- 安全测试：OWASP ZAP扫描SQL注入

4. 验收测试（Acceptance Testing）

形式：
- UAT（用户验收）：真实业务流程验证
- Alpha：开发环境内测
- Beta：生产环境公测

三、测试方法矩阵

1. 黑盒 vs 白盒

维度	黑盒测试	白盒测试
测试依据	需求文档	代码结构
技术门槛	低（无需编码）	高（需读源码）
典型方法	等价类划分、边界值	路径覆盖、条件覆盖

2. 静态 vs 动态

静态测试：不运行代码
- 代码审查（GitHub PR机制）
- 需求评审（Checklist验证）
动态测试：运行中验证
- 压力测试（Locust模拟秒杀场景）
- 故障注入（Chaos Monkey随机终止节点）

四、效能度量体系

关键指标

指标	计算公式	健康阈值
缺陷逃逸率	上线后缺陷数 / 测试发现缺陷数	< 10%
自动化覆盖率	自动化用例数 / 总用例数	核心模块≥70%
平均修复时间(MTTR)	总修复时间 / 缺陷数量	< 4小时

McCabe圈复杂度

一、核心原理与公式

1. 控制流图（Control Flow Graph）基础

程序被抽象为有向图：

节点：代码块（顺序执行语句）
边：控制转移路径（分支/跳转）

2. 圈复杂度公式

圈复杂度 V(G) 的计算公式：

V(G) = E - N + 2P

E：边的数量（Edges）
N：节点的数量（Nodes）
P：连通分量数（通常为1）

简化公式：V(G) = 判定节点数 + 1

3. 复杂度风险等级

圈复杂度	风险等级	维护建议
1-5	低风险	优秀代码
6-10	中等风险	需审查
11-20	高风险	强烈建议重构
20+	极高风险	不可接受

二、实例解析（含控制流图）

示例1：顺序结构

void printSequence() {printf("A");printf("B");printf("C");
}

控制流图：

计算：

边数 E = 3
节点 N = 4
V = 3 - 4 + 2 = 1

示例2：分支结构

void checkValue(int x) {if (x > 0) {printf("Positive");}printf("Done");
}

控制流图：

计算：

判定节点：1个（if语句）
V = 1 + 1 = 2

示例3：多分支结构

void evaluate(int score) {if (score >= 90) {printf("A");} else if (score >= 70) {printf("B");} else if (score >= 60) {printf("C");} else {printf("F");}
}