VIP20
本课程属于:025-形式化验证 芯片设计与FPGA · 共 20 门相关课程,组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录 咨询 / 购买

断言编写与缺陷定位进阶技巧

📚 共计 30 章节
01
断言基础
什么是断言 · 断言的作用 · assert语句基本语法
入门核心
02
断言与异常处理
assert vs try-except · 何时用断言 · 何时用异常
对比设计
03
断言表达式
布尔表达式 · 复合条件 · and/or/not 构建断言
逻辑条件
04
断言消息
自定义失败消息 · 消息格式化 · 动态消息生成
调试可读性
05
断言与单元测试
unittest assert方法 · pytest assert · TDD 作用
测试pytest
06
断言与调试
防御性编程 · 断言作为文档 · 断言+日志
调试防御
07
断言性能
禁用断言 -O · 开销分析 · 生产策略
性能优化
08
断言陷阱
副作用问题 · 不可靠断言 · 过度使用
反模式注意
09
断言进阶
自定义断言函数 · 断言装饰器 · 上下文管理器
高级技巧
10
断言与类型检查
isinstance断言 · 类型注解+断言 · 运行时类型检查
类型安全
11
断言与数据结构
列表/字典/集合技巧 · 嵌套结构 · 数据一致性
集合校验
12
断言与数值计算
浮点数比较 · 近似相等 · 边界条件
数值精度
13
断言与字符串
模式匹配 · 正则断言 · 字符串内容断言
文本正则
14
断言与文件操作
文件存在性 · 文件内容 · 文件权限断言
IO系统
15
断言与网络编程
连接状态 · 响应状态码 · 超时断言
网络HTTP
16
断言与多线程
线程安全 · 竞态检测 · 死锁检测断言
并发安全
17
断言与数据库
连接断言 · 查询结果 · 事务完整性
SQL数据
18
断言与API测试
请求参数 · 响应体 · Schema验证断言
API契约
19
断言与日志分析
日志模式 · 日志级别 · 日志频率断言
监控可观测
20
断言与配置管理
配置完整性 · 类型断言 · 范围断言
配置校验
21
断言与状态机
状态转换 · 状态合法性 · 一致性断言
状态FSM
22
断言与契约式设计
前置条件 · 后置条件 · 不变量断言
契约设计
23
断言与模糊测试
输入合法性 · 边界值 · 随机输入断言
模糊健壮性
24
断言与性能测试
响应时间 · 吞吐量 · 资源使用断言
性能基准
25
断言与安全测试
输入验证 · 权限检查 · 加密验证断言
安全渗透
26
断言与代码审查
断言作为文档 · 设计约束 · 审查清单
审查规范
27
断言与持续集成
CI断言策略 · 断言覆盖率 · 失败通知
CI/CD自动化
28
断言与代码重构
重构保护 · 断言迁移 · 断言清理
重构维护
29
断言与框架开发
框架断言设计 · 用户接口 · 扩展点
框架架构
30
断言最佳实践
编写规范 · 命名约定 · 维护策略
规范总结