Peekaboo是一款强大的macOS用户界面自动化命令行工具，用于屏幕捕获、UI元素定位、鼠标键盘模拟、应用程序与窗口管理。支持脚本化操作、实时视频录制、智能元素分析，是macOS自动化测试、RPA流程和效率提升的利器。关键词：macOS自动化，UI测试，屏幕捕获，RPA，命令行工具，辅助功能，脚本自动化。

Puppeteer是一款由Google开发的Node.js库，用于自动化控制无头Chrome或Chromium浏览器。它主要用于网页爬虫、自动化测试、PDF生成和网页截图。通过模拟用户操作，Puppeteer可以高效地处理动态网页内容，是前端开发、测试和DevOps领域的强大工具。

UAT测试用例生成器是一款专为业务分析师和测试人员设计的技能工具，用于自动化生成用户验收测试用例。它能将Given-When-Then格式的验收标准快速转换为结构化的测试用例，支持正向、反向、边界及端到端场景的生成。该工具提供测试数据需求定义、需求可追溯性映射、覆盖率计算以及向主流测试管理工具（如Jira Xray、Azure Test Plans）的导出功能。关键词：UAT测试用例生成，验收标准转换，测试数据管理，需求可追溯性，测试覆盖率，测试管理工具导出，业务分析自动化。

Allure 测试报告技能是一个专业的软件测试报告生成与分析工具。它能够与 Jest、Mocha、pytest、Playwright 等多种主流测试框架无缝集成，自动生成美观、交互式的可视化测试报告。核心功能包括：配置报告器、生成测试报告、附加测试文档（截图、日志）、进行趋势分析以及集成到 CI/CD 流程。该技能旨在帮助开发者和测试工程师提升测试结果的可读性，追踪测试质量趋势，并高效地向团队和利益相关者展示测试状态。 关键词：Allure 测试报告，测试可视化，自动化测试报告，CI/CD 集成，测试趋势分析，软件质量，测试框架集成，测试文档，测试管理

测试驱动开发（TDD）技能，用于统一处理所有TDD工作流。强制测试先行开发，支持从规范、任务或描述三种输入模式。包括模式发现、TDD循环（RED→GREEN→REFACTOR）、proptest指导和反向压力集成。关键词：测试驱动开发、TDD、测试先行、Rust测试、覆盖率、软件开发测试、单元测试、集成测试。

本技能专注于编写有效的模糊测试harness，用于自动化测试软件系统以提高代码覆盖率并发现潜在安全漏洞。关键词：模糊测试、harness编写、代码覆盖率、漏洞挖掘、软件测试、自动化安全测试。

这个技能是关于使用Spring Boot框架进行测试驱动开发的实践指南，涵盖单元测试、集成测试、持久层测试等，使用JUnit 5、Mockito、MockMvc、Testcontainers和JaCoCo等工具，旨在实现80%以上的代码覆盖率。适用于开发新功能、修复Bug和代码重构等场景。关键词：Spring Boot, 测试驱动开发, TDD, JUnit, Mockito, MockMvc, Testcontainers, JaCoCo, 代码覆盖率, 单元测试, 集成测试。

这个技能用于在软件开发过程中强制要求在声称任务完成前进行验证，强调证据先行的原则，确保代码质量和防止错误声明。关键词：验证、质量保证、测试、软件开发、调试、诚实、证据、完成声明、验证命令。

变异测试是一种通过引入代码变异来评估测试套件质量的技术，帮助识别测试覆盖率不足或测试质量不高的区域。

这个技能用于根据用户故事生成清晰、可测试的验收标准，采用Given-When-Then格式，遵循行为驱动开发（BDD）最佳实践，方便创建测试用例和确保软件质量。关键词：验收标准、用户故事、BDD、测试、Given-When-Then、测试策略。

反例引导的抽象精化是一种用于程序验证和综合的自动化技术。它通过构建初始抽象模型并进行验证，当发现反例时分析其真实性。如果反例是虚假的，则利用反例信息精化抽象模型，并重复此循环，直到系统被验证或找到真实缺陷。该技术广泛应用于形式化验证、软件测试和硬件设计等领域，能有效提升验证效率。关键词：反例引导抽象精化、CEGAR、程序验证、形式化方法、软件测试、模型检查、程序综合、谓词抽象、插值、收敛分析。

这个技能用于自动生成软件测试，基于测试驱动开发(TDD)原则，遵循项目测试标准，提高代码质量和测试覆盖率。它支持多种测试行为，包括正面和负面测试，并使用AAA模式进行测试实施，帮助开发者高效进行自动化测试和错误预防。关键词：测试生成、TDD、自动化测试、软件测试、测试覆盖、AAA模式、vitest、JWT验证、中间件测试。