注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. PC-Lint,代码静态测试工具，搞测试的人员必备

  2. PC-Lint,代码静态测试工具，搞测试的人员必备 PC-Lint,代码静态测试工具，搞测试的人员必备

  3. 所属分类：其它

    • 发布日期：2009-07-02
    • 文件大小：2097152
    • 提供者：cuiyuzheng

  1. 单元测试工具 C++单元测试工具 静态代码分析 代码动态测试

  2. 单元测试工具 C++单元测试工具！静态代码分析 代码动态测试

  3. 所属分类：C++

    • 发布日期：2010-02-04
    • 文件大小：27648
    • 提供者：zxpzxpzxpzxp

  1. 白盒测试常用工具 详解

  2. 白盒测试工具一般是针对代码进行测试，测试中发现的缺陷可以定位到代码级，根据测试工具原理的不同，又可以分为静态测试工具和动态测试工具。静态测试工具直接对代码进行分析，不需要运行代码，也不需要对代码编译链接，生成可执行文件。静态测试工具一般是对代码进行语法扫描，找出不符合编码规范的地方，根据某种质量模型评价代码的质量，生成系统的调用关系图等；动态测试工具与静态测试工具不同，动态测试工具的一般采用“插桩”的方式，向代码生成的可执行文件中插入一些监测代码，用来统计程序运行时的数据。其与静态测试工具最大

  3. 所属分类：其它

    • 发布日期：2010-03-30
    • 文件大小：31744
    • 提供者：jinhua88

  1. PC_Line 8.88w

  2. PC-Lint简介 C/C++语言的语法拥有其它语言所没有的灵活性，这种灵活性带来了代码效率的提升，但相应也使得代码编写具有很大的随意性，另外C/C++编译器不进行强制类型检查，也不做任何边界检查，这就增加了代码中存在隐患的可能性。如果能够在代码提交测试之前发现这些潜在的错误，就能够极大地减轻测试人员的压力，减少软件项目的除错成本，可是传统的C/C++编译器对此已经无能为力，这个任务只能由专用的代码检查工具完成。 PC-Lint是GIMPEL SOFTWARE公司开发的C/C++软件代码静态分

  3. 所属分类：C

    • 发布日期：2011-08-17
    • 文件大小：3145728
    • 提供者：zmxfirst

  1. 代码静态测试工具

  2. C代码静态测试工具，大家共享，使用说明另附.得个积分

  3. 所属分类：C

    • 发布日期：2011-12-08
    • 文件大小：2097152
    • 提供者：zyx_w

  1. PC_Lint C/C++ 软件代码 静态分析工具

  2. PC-Lint是C/C++软件代码静态分析工具，你可以把它看作是一种更加严格的编译器。它不仅可以检查出一般的语法错误，还可以检查出那些虽然符合语法要求但不易发现的潜在错误。 C语言的灵活性带来了代码效率的提升，但相应带来了代码编写的随意性，另外C编译器不进行强制类型检查，也带来了代码编写的隐患。PCLint识别并报告 C语言中的编程陷阱和格式缺陷的发生。它进行程序的全局分析，能识别没有被适当检验的数组下标，报告未被初始化的变量，警告使用空指针，冗余的代码，等 等。软件除错是软件项目开发成本和延

  3. 所属分类：C++

    • 发布日期：2013-11-16
    • 文件大小：2097152
    • 提供者：wjh627641217

  1. 嵌入式软件测试工具--LOGISCOPE

  2. LOGISCOPE 是一组嵌入式软件测试工具集。它贯穿于软件开发、代码评审、单元/集成测试、系统测试、以及软件维护阶段。它面向源代码进行工作。LOGISCOPE 针对编码、测试和维护。因此，LOGISCOPE 的重点是帮助代码评审（Review ）和动态覆盖测试（Testing ）。 LOGISCOPE对软件的分析，采用基于国际间使用的度量方法（Halstead、McCabe等）的质量模型，以及从多家公司收集的编程规则集，可以从软件的编程规则，静态特征和动态测试覆盖等多个方面，量化地定义质量模

  3. 所属分类：硬件开发

    • 发布日期：2008-10-13
    • 文件大小：15728640
    • 提供者：zhongyunde

  1. 软件静态测试工具 — QAC/QAC++

  2. QAC/QAC++是一个完全自动化的代码静态分析工具，可以提供编码规则检查、代码质量度量、软件结构分析等功能，QAC/QAC++以其能全面而准确的发现软件中存在的潜在问题的能力得到客户的广泛认可。

  3. 所属分类：其它

  1. pclint C/C++软件代码静态分析工具

  2. PC-Lint是C/C++软件代码静态分析工具,使用PC-Lint在代码走读和单元测试之前进行检查，可以提前发现程序隐藏错误，提高代码质量，节省测试时间。并提供编码规则检查，规范软件人员的编码行为。 因本软件好多人不易安装，所以特集成安装说明、配置、及常见问题，省得大家到处找安装方法。

  3. 所属分类：C++

    • 发布日期：2009-02-17
    • 文件大小：3145728
    • 提供者：zzhangjiali

  1. 白盒测试工具名称汇总

  2. 描述了白盒测试工具，包括静态代码检测、内存分析、性能分析等的工具名称。

  3. 所属分类：其它

    • 发布日期：2009-02-23
    • 文件大小：12288
    • 提供者：lwei406

  1. 主流软件测试工具简介

  2. 简介主流软件测试工具简介软件测试工具白盒测试工具白盒测试工具一般是针对代码进行测试，测试中发现的缺陷可以定位到代码级，根据测试工具原理的不同，又可以分为静态测试工具和动态测试工具。静态测试工具：直接对代码进行分析，不需要运行代码，也不需　　主流软件测试工具简介  软件测试工具　　白盒测试工具　　白盒测试工具一般是针对代码进行测试，测试中发现的缺陷可以定位到代码级，根据测试工具原理的不同，又可以分为静态测试工具和动态测试工具。　　静态测试工具：直接对代码进行分析，不需要运行代码，也不需要对代码编译

  3. 所属分类：其它

    • 发布日期：2021-03-23
    • 文件大小：49152
    • 提供者：weixin_38669729

  1. 嵌入式软件测试工具--LOGISCOPE

  2. LOGISCOPE是一组嵌入式软件测试工具集。它贯穿于软件开发、代码评审、单元/集成测试、系统测试、以及软件维护阶段。它面向源代码进行工作。LOGISCOPE针对编码、测试和维护。因此，LOGISCOPE的重点是帮助代码评审(Review)和动态覆盖测试(Testing)。 　　LOGISCOPE对软件的分析，采用基于国际间使用的度量方法(Halstead、McCabe等)的质量模型，以及从多家公司收集的编程规则集，可以从软件的编程规则，静态特征和动态测试覆盖等多个方面，量化地定义质量模型，并检

  3. 所属分类：其它

    • 发布日期：2021-03-23
    • 文件大小：76800
    • 提供者：weixin_38663113

  1. 如何挑选白盒测试工具

  2. 白盒测试目前主要用在具有高可靠性要求的软件领域，例如：军工软件、航天航空软件、工业控制软件等等。白盒测试工具在选购时应当主要是对开发语言的支持、代码覆盖的深度、 　　白盒测试目前主要用在具有高可靠性要求的软件领域，例如：军工软件、航天航空软件、工业控制软件等等。白盒测试工具在选购时应当主要是对开发语言的支持、代码覆盖的深度、嵌入式软件的测试、测试的可视化等。 　　对开发语言的支持：白盒测试工具是对源代码进行的测试，测试的主要内容包括词法分析与语法分析、静态错误分析、动态检测等。但是对于不同的开发

  3. 所属分类：其它

    • 发布日期：2021-03-23
    • 文件大小：72704
    • 提供者：weixin_38704156

  1. Java静态检测工具的简单介绍

  2. 静态检查:静态测试包括代码检查、静态结构分析、代码质量度量等。它可以由人工进行，充分发挥人的逻辑思维优势，也可以借助软件工具自动进行。代码检查代码检查包括代码走查、桌面检查、代码审查等，主要检查代码和设计的一致性，代码对标准的遵循、可读性，代码的逻辑表达的正确性，代码结构的合理性等方面;可以发现违背程序编写标准的问题，程序中不安全、不明确和模糊的部分，找出程序中不可移植部分、违背程序编程风格的问题，包括变量检查、命名和类型审查、程序逻辑审查、程序语法检查和程序结构 　　检查等内容。”。看了一系列

  3. 所属分类：其它

    • 发布日期：2021-03-23
    • 文件大小：72704
    • 提供者：weixin_38557530

  1. 嵌入式软件测试工具--LOGISCOPE

  2. LOGISCOPE是一组嵌入式软件测试工具集。它贯穿于软件开发、代码评审、单元/集成测试、系统测试、以及软件维护阶段。它面向源代码进行工作。LOGISCOPE针对编码、测试和维护。因此，LOGISCOPE的重点是帮助代码评审(Review)和动态覆盖测试(Testing)。 　　LOGISCOPE对软件的分析，采用基于国际间使用的度量方法(Halstead、McCabe等)的质量模型，以及从多家公司收集的编程规则集，可以从软件的编程规则，静态特征和动态测试覆盖等多个方面，量化地定义质量模型，并检

  3. 所属分类：其它

    • 发布日期：2021-03-23
    • 文件大小：76800
    • 提供者：weixin_38713412

  1. glasgo:静态分析工具，可使用AST检查安全问题-源码

  2. Glasgo静态分析工具 该项目的官方存储库已移至 项目 这是用Go for Go代码编写的静态分析工具。它将发现安全性和一些可能对安全性有影响的正确性问题。 编译中 要编译该工具，请确保首先拥有Go编译器。 使用Go build本地二进制文件 使用Go install编译并在Go Path中安装 使用工具 目前，所有测试都已运行。 Glasgo directory1, directory2 或者 Glasgo file1.go, file2.go Note:该工具不能同时在目录和单个文件上运

  3. 所属分类：其它

    • 发布日期：2021-03-19
    • 文件大小：15360
    • 提供者：weixin_42112685

  1. Java静态检测工具的简单介绍

  2. 静态检查:静态测试包括代码检查、静态结构分析、代码质量度量等。它可以由人工进行，充分发挥人的逻辑思维优势，也可以借助软件工具自动进行。代码检查代码检查包括代码走查、桌面检查、代码审查等，主要检查代码和设计的一致性，代码对标准的遵循、可读性，代码的逻辑表达的正确性，代码结构的合理性等方面；可以发现违背程序编写标准的问题，程序中不安全、不明确和模糊的部分，找出程序中不可移植部分、违背程序编程风格的问题，包括变量检查、命名和类型审查、程序逻辑审查、程序语法检查和程序结构检查等内容。”。看了一系列的静态

  3. 所属分类：其它

    • 发布日期：2021-03-02
    • 文件大小：142336
    • 提供者：weixin_38680492

  1. phpstan：PHP静态分析工具-无需运行即可发现代码中的错误！-源码

  2. PHPStan-PHP静态分析工具 PHPStan专注于在不实际运行代码的情况下查找代码中的错误。 即使在编写代码测试之前，它也可以捕获所有类别的错误。 从某种意义上说，它使PHP更接近于编译语言，因为可以在运行实际行之前检查代码的每一行的正确性。 赞助商 文献资料 所有文档都位于： 和 PHPStan专业版 PHPStan Pro是开源PHPStan Static Analysis Tool之上的付费附加组件，具有以下高级功能： 用于浏览发现的错误的Web UI，您可以在有问题的行上

  3. 所属分类：其它

    • 发布日期：2021-02-05
    • 文件大小：2097152
    • 提供者：weixin_42138788

  1. 测试工具的选择和使用

  2. 2003年第9期《程序员》上啄木鸟部落发文“测试工具的选择和使用”，现将其中的工具列表摘录，以备忘。Parasoft白盒测试工具集工具名支持语言环境简介JtestJava代码分析和动态类、组件测试JcontractJava实时性能监控以及分析优化C++TestC,C++代码分析和动态测试CodeWizardC,C++代码静态分析Insure++C,C++实时性能监控以及分析优化.test.Net代码分析和动态测试Compuware白盒测试工具集工具名支持语言环境简介BoundsCheckerC+

  3. 所属分类：其它

    • 发布日期：2021-02-04
    • 文件大小：159744
    • 提供者：weixin_38625448

  1. Java静态检测工具的简单介绍

  2. 静态检查:静态测试包括代码检查、静态结构分析、代码质量度量等。它可以由人工进行，充分发挥人的逻辑思维优势，也可以借助软件工具自动进行。代码检查代码检查包括代码走查、桌面检查、代码审查等，主要检查代码和设计的一致性， 代码对标准的遵循、可读性，代码的逻辑表达的正确性，代码结构的合理性等方面；可以发现违背程序编写标准的问题，程序中不安全、不明确和模糊的部分，找出程序中不可移植部分、违背程序编程风格的问题，包括变量检查、命名和类型审查、程序逻辑审查、程序语法检查和程序结构 检查等内容。”。看

  3. 所属分类：其它

    • 发布日期：2021-01-31
    • 文件大小：122880
    • 提供者：weixin_38693589
« 12 3 4 5 6 7 8 9 10 ... 25 »