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人学习
1. 开源风险治理平台“伏羲”
2. 函数级漏洞传播影响分析
3. PyPI和NPM生态的实时投毒检测
4. 开源漏洞补丁自动定位
……
已有215人学习
1.工控网络资产的可视化管理,动态识别非法接入设备,直观展示工控网络安全威胁
2.安全组件采用非侵入式安全监测与防护工作方式,可确保将设备对工控网络的干扰降低到最低
3.常见工控协议的支持:S7、Modbus、OPC、IEC61850、IEC101/102/103/104、DLT645、BacNet、CDT、CIP、DNP3、MMS、ProfiNet、EIP等100多种...
已有112人学习
1.记一次渗透经历
2.特别的复盘思考
3.信息安全的重要性
已有231人学习
1.保障工控网络安全的必要性
2.当前工控网络安全的成熟度及面临风险
3.如何保障工控网络安全
……
已有190人学习
基于不同产品的软件测试策略
功能安全中软件的白盒测试-静态分析和单元测试揭秘(下)
功能安全中软件的白盒测试-静态分析和单元测试揭秘(上)
Cybersecurity ASPICE实施策略-基于ISO/SAE 21434
形式化方法理论与应用初探
软件测试Oracle自动判定技术和探索
形式化方法的工程化及国产工具研发与应用
当下测试的设计-持续改进 不断适应
开源软件供应链风险分析与治理
智能制造行业工控安全解决方案
从「黑客」视野看企业数据安全
工控网络安全实践和案例分享
已完成
数据加载中