简介
SpecExplorer是微软研究院研发的一款基于模型的测试工具（非开源）。可以自动探索规格说明（即Specification，简称Spec）的所有潜在行为，并将其行为模型表示为状态机。由于状态机工具常常会引起状态信息爆炸的问题，所以SpecExplorer附带了一个名为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项目并开始使用它，无需其他引导程序或配置。优势代码覆盖率报告合并。在N个并行
ParaTest基于 PHP 的 PHPUnit 测试工具
0
ParaTest基于 PHP 的 PHPUnit 测试工具
ParaTest 的目的是为了支持在 PHPUnit 中进行并行测试。只要有编写好的 PHPUnit
ParaTest基于 PHP 的 PHPUnit 测试工具
0
Beetle.DT基于 .NET 的分布式压力测试工具
基于.NET实现的分布式压力测试工具，用户可以根据需求编写相关的测试用例；通过管理工具即可以把测试用例推送到服务中心，再根据实际压测的需求把测试用例分配到不同节点上运行。工具会根据测试的情况实时获取测
Beetle.DT基于 .NET 的分布式压力测试工具
0
DragDiffusion基于 Diffusion 模型的 AI 图像编辑工具
DragDiffusion 是 AI 图像编辑工具，通过利用 Diffusion 模型来控制基于点的
DragDiffusion基于 Diffusion 模型的 AI 图像编辑工具
0
Beetle.DT基于 .NET 的分布式压力测试工具
基于.NET实现的分布式压力测试工具，用户可以根据需求编写相关的测试用例；通过管理工具即可以把测试用
Beetle.DT基于 .NET 的分布式压力测试工具
0
PentestGPT基于 GPT4 的自动化渗透测试工具
PentestGPT 是基于 GPT4 的自动化渗透测试工具，目前已实现简单的辅助渗透，可提升效率。
PentestGPT基于 GPT4 的自动化渗透测试工具
0