Spec Explorer基于模型的测试工具
Spec Explorer是微软研究院研发的一款基于模型的测试工具(非开源)。可以自动探索规格说明(即Specification,简称Spec)的所有潜在行为,并将其行为模型表示为状态机。由于状态机工具常常会引起状态信息爆炸的问题,所以Spec Explorer附带了一个名为Cord的语言对这些信息进行过滤整理,以得到最需要的部分。之前它已经作为内部工具在微软内部大量使用,现在Spec Explorer团队公开发布了Spec Explorer 2010——一个可以和Visual Studio紧密集成的工具:用户可以通过Spec Explorer对一个软件系统的期望行为进行建模,并自动生成能够在Visual Studio的测试框架下运行的测试代码。
Spec Explorer分别提供了Visual Studio 2008和Visual Studio 2010的版本,同时也提供了详细的文档供大家学习使用
评论
ParaTest基于 PHP 的 PHPUnit 测试工具
ParaTest 的目的是为了支持在 PHPUnit 中进行并行测试。只要有编写好的 PHPUnit
ParaTest基于 PHP 的 PHPUnit 测试工具
0
ParaTest基于 PHP 的 PHPUnit 测试工具
ParaTest的目的是为了支持在PHPUnit中进行并行测试。只要有编写好的PHPUnit测试,就可以插入paratest项目并开始使用它,无需其他引导程序或配置。优势代码覆盖率报告合并。在N个并行
ParaTest基于 PHP 的 PHPUnit 测试工具
0
Beetle.DT基于 .NET 的分布式压力测试工具
基于.NET实现的分布式压力测试工具,用户可以根据需求编写相关的测试用例;通过管理工具即可以把测试用
Beetle.DT基于 .NET 的分布式压力测试工具
0
PentestGPT基于 GPT4 的自动化渗透测试工具
PentestGPT 是基于 GPT4 的自动化渗透测试工具,目前已实现简单的辅助渗透,可提升效率。
PentestGPT基于 GPT4 的自动化渗透测试工具
0
PentestGPT基于 GPT4 的自动化渗透测试工具
PentestGPT是基于GPT4的自动化渗透测试工具,目前已实现简单的辅助渗透,可提升效率。PentestGPT旨在自动化渗透测试过程。它基于ChatGPT构建,通过GPT互动方式,指引渗透测试人员
PentestGPT基于 GPT4 的自动化渗透测试工具
0