软考（软件设计师）软件工程-软件质量，软件测试，McCabe圈复杂度

软件质量

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）

• 代码质量核心指标：

6. 可移植性（Portability）

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

💎 总结

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

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

软件测试

一、测试目标与原则

核心目标

原则

1. 缺陷集群性（二八定律）：80%缺陷集中在20%模块
2. 杀虫剂悖论：重复用例失效，需持续更新测试方案
3. 尽早测试：需求阶段介入，降低修复成本（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随机终止节点）

四、效能度量体系

关键指标

McCabe圈复杂度

一、核心原理与公式

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

程序被抽象为有向图：

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

2. 圈复杂度公式

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

V(G) = E - N + 2P

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

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

3. 复杂度风险等级

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

示例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");
    }
}

控制流图：

计算：

• 判定节点：3个（if/else if）
• V = 3 + 1 = 4

三、实践

1. 重构高复杂度函数：
   • 策略模式替代分支嵌套
   • 表驱动法管理业务规则
2. 预防措施：