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

CUDA-GPU调试专家技能是专门用于GPU并行计算程序调试的专业工具，主要功能包括使用NVIDIA计算消毒器检测内存错误、竞争条件、未初始化内存访问，通过CUDA-GDB进行内核级调试，验证原子操作正确性，分析内核同步问题，并生成结构化调试报告。适用于CUDA开发、GPU编程、并行计算调试、深度学习框架优化等场景。关键词：CUDA调试、GPU编程、内存错误检测、竞争条件分析、计算消毒器、CUDA-GDB、并行计算调试、NVIDIA工具链。

此技能用于敏捷开发中的冲刺精炼阶段，通过SFDIPOT产品因素分析、BDD场景生成、INVEST需求验证等，评估用户故事是否准备好进入冲刺。关键词：QCSD、精炼、SFDIPOT、BDD、INVEST、敏捷测试、需求验证、冲刺就绪。

测试数据生成器是一种用于软件测试的技能，专注于创建和管理测试数据、模拟对象和测试夹具。它支持单元测试和集成测试，通过生成随机数据、使用工厂函数、构建器模式、模拟API响应和数据库记录等方式，提高测试效率和可靠性。关键词：测试数据生成、模拟数据、测试夹具、单元测试、集成测试、软件测试、数据模拟、工厂函数、构建器模式。

QE覆盖分析技能用于检测软件测试中的覆盖差距，使用O(log n)次线性算法提高效率，结合风险加权分析评估代码风险，并智能优先级排序测试工作，以优化软件质量。关键词：测试覆盖、风险分析、优先级排序、代码质量、QE覆盖。

行为驱动开发（BDD）是一种协作软件实践，旨在通过具体示例定义系统行为，促进业务和技术团队之间的沟通，自动化测试作为活文档，并专注于交付业务价值。关键词：BDD、行为驱动开发、软件测试、协作开发、自动化测试、业务分析、敏捷开发。

这个技能用于通过假设驱动的调试方法，结合文档记录、理解演进和分析辅助纠正，高效定位和修复软件bug。关键词包括调试、假设驱动、文档记录、分析验证、bug定位、软件维护。

Cypress测试框架是一个用于端到端测试和组件测试的工具，提供命令、断言、CI/CD集成等全面功能。适用于前端开发测试，支持React、Vue、Angular、Svelte等多种框架，包括设置测试、编写测试用例、调试测试和优化性能。关键词：Cypress、端到端测试、E2E测试、组件测试、测试自动化、浏览器测试、CI/CD集成、测试框架、持续集成。

这个技能用于在EARS格式与自然语言、Gherkin场景等之间转换软件规范，支持多种转换方向，保持语义完整性，便于需求管理和测试用例生成。关键词：EARS格式、规范转换、软件需求、Gherkin、BDD、测试自动化。

突变测试是一种软件测试技术，用于验证测试用例的有效性，通过自动引入代码突变来检测弱测试，提高测试覆盖率和软件质量。关键词：突变测试、代码变异、测试评估、软件测试、测试覆盖率。

这个技能用于自动生成单元测试，基于现有代码模式和测试框架，提高测试覆盖率和开发效率。关键词：单元测试、测试生成、代码分析、测试框架、自动化测试。

这是一个基于Playwright MCP的浏览器自动化技能，用于网页自动化操作。主要功能包括：浏览器导航、表单填写、元素点击、网页截图、数据抓取、UI测试等。适用于网页抓取、自动化测试、数据采集、RPA流程自动化等场景。关键词：浏览器自动化、Playwright、网页抓取、UI测试、数据采集、自动化脚本、RPA、表单提交。