搜索

Spec Explorer基于模型的测试工具

0粉丝
Spec Explorer是微软研究院研发的一款基于模型的测试工具（非开源）。可以自动探索规格说明（即Specification，简称Spec）的所有
知识
简介
Spec Explorer是微软研究院研发的一款基于模型的测试工具（非开源）。可以自动探索规格说明（即Specification，简称Spec）的所有潜在行为，并将其行为模型表示为状态机。由于状态机工具常常会引起状态信息爆炸的问题，所以Spec Explorer附带了一个名为Cord的语言对这些信息... 更多
其它信息
授权协议
免费，非开源
开发语言
C/C++
操作系统
Windows
软件类型
免费软件
所属分类
开发工具、 测试工具
开源组织
微软
地区
不详
适用人群
未知

时光轴

里程碑1
LOG0
2023
10-01
轻识收录
打卡
我要打卡
我要打卡
评价
0.0（满分 10 分）0 个评分
什么是点评分
图片
表情
全部评价( 0)
推荐率 100%
推荐
Spec Explorer基于模型的测试工具
Spec Explorer是微软研究院研发的一款基于模型的测试工具（非开源）。可以自动探索规格说明（
ParaTest基于 PHP 的 PHPUnit 测试工具
ParaTest的目的是为了支持在PHPUnit中进行并行测试。只要有编写好的PHPUnit测试，就可以插入paratest项目并开始使用它，无需其他引导程序或配置。优势代码覆盖率报告合并。在N个并行
TextTest基于文本的功能测试工具
TextTest 是一个自动的基于文本的功能测试工具，可以使用各种命令行方式执行批处理测试，使用文本
TextTest基于文本的功能测试工具
TextTest是一个自动的基于文本的功能测试工具，可以使用各种命令行方式执行批处理测试，使用文本输出生产测试包括。
ParaTest基于 PHP 的 PHPUnit 测试工具
ParaTest 的目的是为了支持在 PHPUnit 中进行并行测试。只要有编写好的 PHPUnit
PentestGPT基于 GPT4 的自动化渗透测试工具
PentestGPT是基于GPT4的自动化渗透测试工具，目前已实现简单的辅助渗透，可提升效率。PentestGPT旨在自动化渗透测试过程。它基于ChatGPT构建，通过GPT互动方式，指引渗透测试人员
PentestGPT基于 GPT4 的自动化渗透测试工具
PentestGPT 是基于 GPT4 的自动化渗透测试工具，目前已实现简单的辅助渗透，可提升效率。
Beetle.DT基于 .NET 的分布式压力测试工具
基于.NET实现的分布式压力测试工具，用户可以根据需求编写相关的测试用例；通过管理工具即可以把测试用
DragDiffusion基于 Diffusion 模型的 AI 图像编辑工具
DragDiffusion 是 AI 图像编辑工具，通过利用 Diffusion 模型来控制基于点的
DragDiffusion基于 Diffusion 模型的 AI 图像编辑工具
DragDiffusion是AI图像编辑工具，通过利用Diffusion模型来控制基于点的交互式图像编辑。DragDiffusion受到了DragGAN的启发，后者实现了基于点的交互式图像编辑，并取得