简介
Spec Explorer是微软研究院研发的一款基于模型的测试工具(非开源)。可以自动探索规格说明(即Specification,简称Spec)的所有潜在行为,并将其行为模型表示为状态机。由于状态机工具常常会引起状态信息爆炸的问题,所以Spec Explorer附带了一个名为Cord的语言对这些信息... 更多
其它信息
地区
不详
开发语言
C/C++
开源组织
微软
所属分类
开发工具、 测试工具
授权协议
免费,非开源
操作系统
Windows
收录时间
2023-10-01
软件类型
免费软件
适用人群
未知
时光轴
里程碑1
LOG0
2023
2023-10
轻识收录
评价
0.0(满分 10 分)0 个评分
什么是点评分
全部评价(
0)
推荐率
100%
推荐
ParaTest基于 PHP 的 PHPUnit 测试工具
ParaTest 的目的是为了支持在 PHPUnit 中进行并行测试。只要有编写好的 PHPUnit
ParaTest基于 PHP 的 PHPUnit 测试工具
0
ParaTest基于 PHP 的 PHPUnit 测试工具
ParaTest的目的是为了支持在PHPUnit中进行并行测试。只要有编写好的PHPUnit测试,就可以插入paratest项目并开始使用它,无需其他引导程序或配置。优势代码覆盖率报告合并。在N个并行
ParaTest基于 PHP 的 PHPUnit 测试工具
0
PentestGPT基于 GPT4 的自动化渗透测试工具
PentestGPT是基于GPT4的自动化渗透测试工具,目前已实现简单的辅助渗透,可提升效率。PentestGPT旨在自动化渗透测试过程。它基于ChatGPT构建,通过GPT互动方式,指引渗透测试人员
PentestGPT基于 GPT4 的自动化渗透测试工具
0
Beetle.DT基于 .NET 的分布式压力测试工具
基于.NET实现的分布式压力测试工具,用户可以根据需求编写相关的测试用例;通过管理工具即可以把测试用例推送到服务中心,再根据实际压测的需求把测试用例分配到不同节点上运行。工具会根据测试的情况实时获取测
Beetle.DT基于 .NET 的分布式压力测试工具
0
DragDiffusion基于 Diffusion 模型的 AI 图像编辑工具
DragDiffusion是AI图像编辑工具,通过利用Diffusion模型来控制基于点的交互式图像编辑。DragDiffusion受到了DragGAN的启发,后者实现了基于点的交互式图像编辑,并取得
DragDiffusion基于 Diffusion 模型的 AI 图像编辑工具
0
DragDiffusion基于 Diffusion 模型的 AI 图像编辑工具
DragDiffusion 是 AI 图像编辑工具,通过利用 Diffusion 模型来控制基于点的
DragDiffusion基于 Diffusion 模型的 AI 图像编辑工具
0