1.数据流分析的基本原理
2.技术实现的关键维度
3.数据流分析在代码缺陷检查中的应用示例
4.挑战与优化方向
……
已有110人学习
1.HTTP的背景及安全缺陷
2.HTTPS的发展
3.HTTPS的工作流程
4.HTTPS的安全特性
……
已有222人学习
1.项目背景
2.数据安全管理体系设计
3.数据全生命周期安全
4.基础安全
……
已有217人学习
1.HTTP协议背景
2.HTTP协议介绍
3.常见攻击方式
……
已有116人学习
1.产品测试流程
2.不同产品测试策略
3.自动化测试的应用
……
已有115人学习
1.静态分析揭秘
2.单元测试揭秘
3.静态分析与单元测试的集成
4.未来展望与总结
……
已有132人学习
1.静态分析揭秘
2.单元测试揭秘
3.静态分析与单元测试的集成
4.未来展望与总结
……
已有279人学习
1.背景介绍
2.标准概述
3.框架介绍
4.实施策略
……
已有188人学习
1.形式化方法基本原理
2.模型检查基本原理
3.定理证明基本原理
4.可满足性分析应用案例
……
已有180人学习
1. 软件测试技术的基本原理和Oracle自动判定问题
2. 蜕变测试技术原理和应用案例
3. 基于性质测试技术原理和应用案例
……
已有184人学习
1. 软件工程与形式化方法简介
2. 形式化方法在工程中落地的机遇与挑战
3. 形式化工程方法的实践案例
……
已有603人学习
1. 测试经常碰到的问题
2. 常见测试过程
3. 测试改进的展望
……
已有214人学习
代码缺陷检查中的数据流分析技术
HTTPS对于网络安全的重要性
数据安全管理体系设计研究
HTTP协议网络安全攻击
基于不同产品的软件测试策略
功能安全中软件的白盒测试-静态分析和单元测试揭秘(下)
功能安全中软件的白盒测试-静态分析和单元测试揭秘(上)
Cybersecurity ASPICE实施策略-基于ISO/SAE 21434
形式化方法理论与应用初探
软件测试Oracle自动判定技术和探索
形式化方法的工程化及国产工具研发与应用
当下测试的设计-持续改进 不断适应
已完成
数据加载中