• 科拉特

  • 引用31篇文章[sw07259]
  • 检查每个输出的正确性生成 测试 案例作为一种方法,Korat构造了。。。Korat是一种自动化技术测试 案例 一代:给定一个谓词和一个边界。。。证明它是可行的生成 测试 案例即使在。。。预期,实验表明科拉特产生 测试 案例比声明性框架快得多。。。
  • 日本日报

  • 引用了43篇文章[sw04319]
  • 输出已用于生成 测试 案例,预测组件集成中的不兼容性,自动化定理。。。
  • 快速检查

  • 引用88篇[sw07277]
  • 定义自定义测试数据发电机. 我们提供了一些案例研究,其中。。。指出一些要避免的陷阱。随机测试特别适用于函数程序,因为。。。
  • 迪马奇

  • 参考515篇文章[sw08221]
  • 确定实际算法性能最差的地方案例分析过于悲观和概率模型。。。激励理论工作的问题。它也是测验关于实现方法和数据的许多假设。。。发展机会和测试问题实例,实例发电机以及其他方法测试...
  • AETG公司

  • 引用59篇文章[sw09715]
  • 生成高水平的测试平面图和详图测试 案例. 在一些应用中,它大大。。。
  • F外壳

  • 引用8篇文章[sw14481]
  • FShell:系统化试验 案件 用于动态分析和测量。虽然主要的类比是。。。反例一代还有白盒子测试已经反复强调,使用模式和性能。。。测试完全不同于正式的验证。我们的工具FShell提供了一个通用的测试环境。。。描述支持高效的架构修改测试 案例 一代...
  • 爬虫

  • 在10篇文章中引用[sw07253]
  • 自动化原型工具一代属于测试-案例满足严格的所有路径准则。。。代码,我们演示测试-案例 一代一个典型例子的过程。。。论证了严谨系统的可行性测试命令式语言编码的顺序程序。。。
  • 可爱的

  • 参考61篇文章[sw00177]
  • 部分装置可以测试通过生成单个输入函数的输入。。。函数可以包含指针参数,其中案例装置的输入是存储器。。。本文讨论了单元自动化问题测试以内存图作为输入。方法。。。更具体地说,使用这种组合生成 测试为探索所有可行的执行提供投入。。。
  • 盖特尔

  • 引用16条[sw07255]
  • 作为手段生成很多的测试 案例更能帮助锻炼身体。。。
  • 酒精试验原

  • 引用9篇文章【sw17720】
  • TestGen是a是a是a测试 案例 发电机对于基于规范的单元测试. 酒精试验。。。
  • jCUTE公司

  • 在10篇文章中引用[sw26692]
  • 这种组合,jCUTE能够生成 测试 案例执行许多不同的执行路径。。。
  • 测试者

  • 引用21篇文章[sw07258]
  • Java程序。自动测试仪产生所有非同构测试 案例在给定的输入大小内。。。
  • 温迪

  • 参考6篇文章[sw01246]
  • 从服务代理到测试 案例 一代.案件研究表明温迪有效地。。。
  • Pex公司

  • 参考33篇文章[sw07263]
  • 自动生成小的测试通常实现高代码覆盖率的套件。合二为一案例学习。。。
  • 地形图

  • 引用42篇文章[sw02206]
  • 生成通过标准和目标函数的全套组合,进行了计算测试... 其他作者。在某些方面案例这个新算法产生比最著名的解决方案更好。。。
  • jPET公司

  • 第3条引用[sw12788号]
  • jPET:自动试验-案件 发电机对于Java。我们提供jPET,一个白色的盒子测试...案例 发电机(TCG)可用于Java应用程序的软件开发。。。自动获得测试-案例与Java程序相关联的字节码。jPET。。。
  • Nat2测试

  • 第3条引用[sw16844号]
  • 全自动策略一代属于测试 案例从自然语言的要求,可能会考虑。。。当满足特殊条件时。试验 案例生成可能使用商业工具(比如。。。哪一个案例这个测试 一代证明是正确的。NAT2TEST工具,支持该策略。。。
  • 大门

  • 参考6篇文章[sw06442]
  • 使用高斯分布校准发电机作为测试 案例,被证明是非常有效的。。。
  • 汽车发动机

  • 第3条引用[sw09718]
  • 介绍了AutoMOTGen,一种自动化工具测试 案例 一代(ATG)来自MATLAB Simulink/Stateflow(SL/SF)模型。。。
  • 卡根

  • 第3条引用[sw25442]
  • 查询特定的测试 案例. 不幸的是,当前数据库发电机 生成独立于查询的数据库。。。生成 测试数据库可以获得与测试 案例...生成测试然后查看它与特定测试 案例... 提议生成一个查询感知数据库测试 案例. 对此。。。