自定义博客皮肤VIP专享

*博客头图：

格式为PNG、JPG，宽度*高度大于1920*100像素，不超过2MB，主视觉建议放在右侧，请参照线上博客头图

请上传大于1920*100像素的图片！

博客底图：

图片格式为PNG、JPG，不超过1MB，可上下左右平铺至整个背景

栏目图：

图片格式为PNG、JPG，图片宽度*高度为300*38像素，不超过0.5MB

主标题颜色：

RGB颜色，例如：#AFAFAF

Hover：

RGB颜色，例如：#AFAFAF

副标题颜色：

RGB颜色，例如：#AFAFAF

预览 取消 提交

自定义博客皮肤

-+
上一步保存

manok的专栏

  • 博客(8)
  • 资源 (20)
  • 收藏
  • 关注
全部文章> 2005年10月
排序：
按最后发布时间
按访问量
RSS订阅
12月 11月 10月 09月

原创 测试用例设计指南（七）

   后面的文章是讲解等价类划分、边界值分析、因果图、测试大纲、状态图、场景法设计测试用例了，因为这些方法在很多地方有参考资料，我在这里就不用添加了。在实际写测试用例时，要根据被测试软件的具体情况，来综合使用这种这些方法，而很少采用一种方法单独测试用例。设计测试用例是一个烦琐的工作，需要覆盖软件的需求，需要设计很多的测试用例，有些人在问，运行程序就能找出问题了，为什么花费这...

2005-10-19 09:46:32 91

原创 测试用例设计指南（七）_manok_新浪博客

后面的文章是讲解等价类划分、边界值分析、因果图、测试大纲、状态图、场景法设计测试用例了，因为这些方法在很多地方有参考资料，我在这里就不用添加了。在实际写测试用例时，要根据被测试软件的具体情况，来综合使用这种这些方法，而很少采用一种方法单独测试用例。设计测试用例是一个烦琐的工作，需要覆盖软件的需求，需要设计很多的测试用例，有些人在问，运行程序就能找出问题了，为什么花费这么多的时间设计测...

2005-10-19 09:46:32 58

原创 2005年的10月19日

   转眼又过了一周了，没有上来与大家进行交流，今天没有课，感觉很轻松，所以上来写点东西。马上就要讲解如何设计测试用例了，所以借备课之际，总结些东西。设计程序的用例，主要是根据软件的需求，测试用例覆盖软件的需求，在设计测试用例时，要划分测试用例设计的粒度，也就是如何把需求划分成一个个需求点，这时保证每个需求点都是可测的。而在实际写测试用例时，很多时候是按照程序本身来设计...

2005-10-19 08:52:38 163

原创 2005年的10月19日_manok_新浪博客

转眼又过了一周了，没有上来与大家进行交流，今天没有课，感觉很轻松，所以上来写点东西。马上就要讲解如何设计测试用例了，所以借备课之际，总结些东西。设计程序的用例，主要是根据软件的需求，测试用例覆盖软件的需求，在设计测试用例时，要划分测试用例设计的粒度，也就是如何把需求划分成一个个需求点，这时保证每个需求点都是可测的。而在实际写测试用例时，很多时候是按照程序本身来设计测试用例，边运行...

2005-10-19 08:52:38 54

原创 2005年的10月9日

昨天就开始上班了，忙碌了一天，写教案和出考试题目，题目出好了，教案还没有写完，今天主要是写教案了，争取把教案写完。后面的课程不是太多了，有了更多的时间，自己写点东西了。原来答应好给一个公司做几次企业培训，一直没有时间，这些天会整理一些资料，估计这个月会先做一、两次培训。另外还答应过51testing写篇文章，真想多写写，只要有时间，就多研究一些东西，写出来与大家分享。不过...

2005-10-09 09:05:31 138

原创 2005年的10月9日_manok_新浪博客

昨天就开始上班了，忙碌了一天，写教案和出考试题目，题目出好了，教案还没有写完，今天主要是写教案了，争取把教案写完。后面的课程不是太多了，有了更多的时间，自己写点东西了。原来答应好给一个公司做几次企业培训，一直没有时间，这些天会整理一些资料，估计这个月会先做一、两次培训。另外还答应过51testing写篇文章，真想多写写，只要有时间，就多研究一些东西，写出来与大家分享。不过最让我担心的是英...

2005-10-09 09:05:31 44

原创 2005年的10月2日

   放假了，应该好好轻松一下了，与LP订了到青岛、烟台等地的旅游团，晚上出发，白天处理一些事情，准备一下。一旦有时间，还免不了备备课，把自动化测试工具好好看看，象MI的LD、WR、QTP等，这些工具虽然在实践中运行还很难估量，但是各大公司做测试的都听说过这些工具，对面试人都在问，这些工具你用过吗？其实他们自己可能都没有使用过一次。为了我们的学员就业，我们还要好好的把这些工...

2005-10-02 07:31:00 97

原创 2005年的10月2日_manok_新浪博客

放假了，应该好好轻松一下了，与LP订了到青岛、烟台等地的旅游团，晚上出发，白天处理一些事情，准备一下。一旦有时间，还免不了备备课，把自动化测试工具好好看看，象MI的LD、WR、QTP等，这些工具虽然在实践中运行还很难估量，但是各大公司做测试的都听说过这些工具，对面试人都在问，这些工具你用过吗？其实他们自己可能都没有使用过一次。为了我们的学员就业，我们还要好好的把这些工具讲解一下，起码...

2005-10-02 07:31:00 49

AI的发展，2024年你的业务在哪里
AI的发展，2024年你的业务在哪里

2024-01-25

2023年12月初，新思科技发布了BSIMM 14 从报告上来看，我们能够清晰的看到2023年在软件安全领域发生的变化
2023年12月初，新思科技发布了BSIMM 14。从报告上来看，我们能够清晰的看到2023年在软件安全领域发生的变化。这个资源是翻译的全部资料，需要的请下载。

2023-12-19

保障软件供应链安全《SBOM推荐实践指南》2023年11月发布译文

2023年11底，美国ODN、NSA CCC、CISA、CSCC等多个政府机构部门联合发布了《保障软件供应链安全：SBOM推荐实践指南》，《SBOM推荐实践指南》主要由ESF（Enduring Security Framework长久安全框架）小组编撰，该文件根据行业内对于SBOM的最佳实践和原则提供了非常具有建议性的指导意见，并且鼓励软件开发商和供应商共同参考，以维护和提升对软件供应链安全的认识。

2023-12-18

Gartner 2023年7月份发布了安全运营Hype Cycle，这些资料对安全运营做了前瞻性的分析 有时间可以读读
Gartner 2023年7月份发布了安全运营Hype Cycle，这些资料对安全运营做了前瞻性的分析。有时间可以读读。

2023-12-01

安全产品开发，经常需要整理OWASP TOP 10与CWE的映射关系，这个文件是OWASP TOP 2021与CWE的映射关系
不管是做网络安全产品研发，还是应用安全产品开发，经常需要整理OWASP TOP 10与CWE的映射关系，这个文件是OWASP TOP 2021与CWE的映射关系，花费很长时间梳理的这张映射表啊，而OWASP TOP10 从2021年发布中，开始包括了与CWEDE 映射关系，但是给出的只是一些具有代表性的CWE编号。这张表很全。

2023-11-26

是Synopsys也就是新思的检测器，开发SAST工具的朋友都知道的
这是宝贵资源，请且下载且珍惜

2023-10-01

汽车领域的C/C++编码规范
汽车领域的C/C++编码规范，越来越多的汽车生产企业遵守该规范

2023-09-28

静态分析资料汇总和学习笔记
这个笔记是我从事SAST、SCA等软件应用安全领域工作多年整理的资料，包括有博士的，有南京大学的，有自己百度后整理的资料，对于从事静态分析的研发人员，测试人员，售前和售后人员都有很大裨益。 主要SAST相关资料。

2023-03-09

静态检测工具对比表-F&CO&COV.xlsx
对Fortify SCA、Covertity、CodeSec三款静态分析工具进行对比的文件。包括误报率、漏报率、检测效率、对第三方组件检测支持能力、支持CI能力、编译环境等

2022-06-25

静态分析工具对比,包括了常见静态分析工具
包括了Testbed、C++ test、Fortify、Klocwork、Coverity、Checkmarx、SonarQube、代码卫士、Cobot。对比项包括了厂家名称、所属国家、安装OS、检测引擎、架构、跨文件分析能力、检测器类型支持、规则定制支持能力、静态度量、运行缺陷检测能力、安全漏洞检测能力、支持的检测语言、误报率、漏报率、检测效率、检测报告、接口、二次开发SDK、是否支持CI/CD等等。

2022-06-25

COBOT与Jenkins集成的详细资料
cobot与Jenkins集成的材料，介绍的非常详细，欢迎查看。

2022-06-25

COBOT和其他工具对比.pdf
这是2021年Cobot与其它工具的对比资料

2022-06-20

静态源代码安全检测工具比较.pdf
对Fortify SCA、Checkmarx、CodeSecure 三款工具进行对比。

2022-06-20

不同企业，SDL差异几何——不同企业的SDL建设Roadmap分析4.10.pdf
不同企业的SDL建设Roadmap分析

2022-06-20

CppCheck扫描规则
这是CppCheck工具的检测规则，中英文。

2022-06-19

静态程序分析（五、六）:数据流分析基础理论
一、迭代算法 Iterative Algorithm Data Flow Analysis Foundations，数据流分析基础理论。掌握数据流分析 基础理论，才能自如的设计数据流分析算法来解决特定的静态分析问题。 下图是一个通用的数据流分析迭代算法，采用前向数据流，它用来得到一个 数据流问题的解 给定一个含有 k 个节点的程序 CFG，迭代算法每次迭代时更新每个 CFG 节点 的输出信息，即 OUT[n]。 假设数据流分析中数据 data facts 的集合是 V，这里的数据是指我们分析 问题的数据，数据的 domain 就是这些数据抽象值的域。比如，我们在分析到达 定值这个具体数据流问题时，V 就是程序所有变量的集合，domain 就是程序中所 有的变量可能取得的抽象值的集合{0,1}。再如，常量传播例子中，分析的数据 data facts 集合 V 就是程序中所有的变量，v 的 domain 就是{未定义、不是常 量、0、1、2、1.2、...} ，这个 domain 就是无穷的，因为作为常量可是任何数。 在到达定值中，我们用一个 bit vector 来表示节点的输出数据作为

2022-06-19

静态程序分析（七）:过程间分析

一、为什么需要过程间分析 前面的数据流分析学习中，我们接触到的都是过程内 intraprocedural 的分析，在过程内 分析遇到函数调用如何处理的呢？ 在过程内分析的情况下，对函数调用的通常的做法是：对方法的调用做最保守的估计， 认为方法调用可以做任何事情，以确保安全近似，举例如下： 对于常量传播的例子来说，如下程序片段： 过程内分析不对函数调用进行处理，在 foo()中对函数 bar()时，静态分析认为 bar()函数 输入的参数是任何值，所以 x = NAC，y=NAC，foo 函数中调用 bar 后的返回值也认为是任何 值，所以 n = NAC。而实际的运行情况来看，n 的值是 10，x 就是 42，y 就是 43。过程内分 析丢失了精度。 为提高分析的精度，就需要进行过程间的分析，数据流通过过程间的控制流边进行传递， 如下图所示：

2022-06-19

Mitigating the Risk of Software Vulnerabilities by Adopting
Mitigating the Risk of Software Vulnerabilities by Adopting a Secure Software Development Framework (SSDF)。 Donna Dodson Applied Cybersecurity Division Information Technology Laboratory Murugiah Souppaya Computer Security Division Information Technology Laboratory Karen Scarfone Scarfone Cybersecurity Clifton, VA April 23, 2020

2022-06-19

Static Program Analysis，静态程序分析
Anders Møller and Michael I. Schwartzbach February 10, 2022 这是最新的程序分析技术资料，2022年的。

2022-06-19

2004&2007&2010&2013&2017 OWASP TOP 10.rar
压缩包中包括OWASP top10 从2004年、2007年、2010年、2013年和2017年5次发布的OWASP top 10，是研究网络安全的好材料。

2020-04-12

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章？
取消 删除