本文将深入剖析单元测试、模糊测试等当前主流的自动化API测试形式与技术。
当谈及安全测试时，逻辑漏洞挖掘一直是一个备受关注的话题，它与传统的安全漏洞（如SQL注入、XSS、CSRF）不同，无法通过WAF、杀软等安全系统的简单扫描来检测和解决。这类漏洞往往涉及到权限控制和校验...
本篇我们介绍分支覆盖，从测试技术对代码的测试程度上来说，在复杂代码中，分支覆盖比语句覆盖效果要好。
本文系统介绍了应用程序编程接口（API）的概念及其在软件开发中的作用与重要性，重点分享自动化API测试的发展历程与测试对象。
本文将深入到代码层面，讲解单元测试中的一项重要工作-软件代码测试。
本文主要探讨了形式化方法在航空领域中的工业应用。
随着汽车行业对于数据通信的需求不断增加，SOME/IP作为支持汽车以太网进程和设备间通信的一种通信协议应运而生。
本文将聚焦于轨交领域，从领域专用的需求撰写与分析工具Prema入手，介绍形式化方法在工业中的实际应用。
汽车信息安全事件频发使得汽车行业安全态势愈发紧张。本文则选取典型的智能网联汽车网络安全攻击实例展开详细介绍。
本篇将展开讨论降低民机机载操作系统适航风险的具体方法。
已完成
数据加载中
