• veriSoft公司

  • 引用92篇文章[sw01489]
  • 软件系统中的断言冲突生成控制和观察可能的执行。。。组件。它集成自动的 测试 一代,在单一框架中执行和评估。VeriSoft包括。。。
  • 投掷

  • 引用74篇文章[sw07260]
  • 工具,名为飞镖,用于自动 测试结合了三种主要技术的软件:(1)自动提取。。。静态源代码解析;(二)自动的 一代测试这个接口的驱动程序。。。程序在随机情况下运行测试自动的 一代新的测试系统指导的输入。。。测试或简称飞镖。飞镖的主要优点是测试...
  • 克莱

  • 引用了45篇文章[sw04894]
  • 克莱:无人帮助和自动 高覆盖率测验对于复杂系统程序。。。符号执行工具,KLEE,能够自动 生成 测验实现高覆盖率。。。
  • SifDec公司

  • 在209篇文章中引用[sw04087]
  • 测试问题格式和一代适合的文件自动的差异化软件包。。。
  • Pex公司

  • 引用了35篇文章[sw07263]
  • 白盒子试验 因为。净利润。Pex公司自动产生一个小测试套房高。。。行为。结果是自动 生成小的测试通常实现高代码的套件。。。
  • 科拉特

  • 参考33篇文章[sw07259]
  • 介绍了Korat,一个新的自动化框架测试Java程序。给出一个正式的规范。。。使用方法前提条件自动 生成全部(非同构)测试在给定的情况下。。。检查每个输出的正确性。生成 测试一种方法的案例,Korat构造。。。Korat是一种自动的 测试案例一代:给定一个谓词和一个边界。。。
  • 阿特根

  • 参考11篇文章[sw07275]
  • 阿特根:自动的 测试数据一代利用约束逻辑编程和符号执行进行了验证。。。慢点。尤其是自动的设计与设计一代属于测试总的来说,数据仍然存在。。。作为一种方法自动的 测试数据一代本文提出了一个自动的 测试... 在以下领域的潜力自动的 测试数据一代呈现。阿特根,安自动的 测试...
  • 盖特尔

  • 引用16条[sw07255]
  • 盖茨:自动 试验 根据光泽描述GATeL是一个由法国人开发的工具。。。
  • 苏格拉底

  • 在10篇文章中引用[sw10073]
  • 苏格拉底一个高效率的人自动的 测试图案一代系统。自动的 测试图案一代系统。。。显著改善和加速自动的 测试图案一代基于组合和扫描的过程。。。
  • Netgen公司

  • 在184篇文章中引用[sw06679]
  • 抽象规则。算法自动的网格发电机介绍了NETGEN。域。。。三维网格整体任务一代分为四个子问题:特殊点计算、边。。。最终体积网格一代.表面和体积网格一代以前进的战线为基础。。。要素一代规则。网格优化的几种技术测试呈现和质量。。。
  • 快速检查

  • 引用98篇文章[sw07277]
  • 自动 测试对随机输入,但也可以定义自定义测试数据。。。发电机我们提供了大量的案例研究,在这些案例中,该工具被成功地应用于。。。
  • 测试者

  • 参考22篇文章[sw07258]
  • Java程序。测试者自动 产生所有非同构测试给定输入大小内的事例。。。
  • jCUTE公司

  • 参考12篇文章[sw26692]
  • 合并单位测试发动机(jCUTE)自动 产生单元测验对于Java程序。合并执行组合。。。随机具体执行与符号执行和自动的约束求解。符号执行允许jCUTE。。。这种组合,jCUTE能够生成 测试执行许多不同执行路径的案例。。。
  • GKLEE公司

  • 在10篇文章中引用[sw12794]
  • GKLEE:共同验证和测试 一代对于GPU。通常包含正确的gpu程序。。。SIMD并发性的保守建模分析生成错误的警报导致错误的搜索。。。这些程序,GKLEE也可以自动 生成 测验提供高覆盖率。这些测验发球。。。
  • 爬虫

  • 在10篇文章中引用[sw07253]
  • 路径爬虫程序:自动 路径的测验结合静态和动态分析。我们呈现。。。的PathCrawler原型工具自动的 一代属于测试-满足严格所有路径的案例。。。
  • Rcpp公司

  • 引用244篇文章[sw08385]
  • 可从R和调用的函数自动 生成调用它们所需的代码。属性。。。示例包括在内,大约891个单元测验430单元测试函数提供额外的。。。
  • 焦点测试

  • 参考6篇文章[sw06448]
  • 约束解算器自动 生成 测试数据(例如,Pex、Sage、Gatel、PathCrawler、Euclide)。然而。。。
  • 语调90

  • 引用306篇[sw04705]
  • 允许一代代码列表和自动的区别。关于预处理的章节。。。基于分枝定界,不可行测试区间牛顿算法在John条件下的应用。。。
  • 汽车发动机

  • 引用4篇文章[sw09718]
  • 汽车发动机:自动面向模型试验 发电机对于嵌入式控制系统。。。提供AutoMOTGen,一个用于自动的 测试案例一代(ATG)来自MATLAB Simulink/Stateflow(SL/SF)模型。。。