测试 Skill技能列表
Vitest配置Skill vitest-configuration
此技能专注于配置 Vitest，一个基于 Vite 的快速单元测试框架，涵盖安装设置、环境配置、覆盖率报告、模块解析等，适用于前端和全栈开发中的单元测试和集成测试。关键词：Vitest、配置、测试、Vite、单元测试、环境设置、覆盖率。
执行计划Skill executing-plans
此技能用于在软件开发中执行实施计划，通过分批执行和评审检查点来管理开发流程。它涉及加载计划、严格评审、分批执行任务和批次间报告，关键词包括计划执行、代码审查、分批处理、验证测试、软件开发、项目管理、敏捷开发、代码质量。
网页应用测试Skill webapp-testing
网页应用测试工具包，使用Playwright进行本地Web应用程序的自动化测试，支持功能验证、UI调试、截图和日志查看，适用于前端开发和质量保证。关键词：网页应用测试、Playwright、自动化测试、前端测试、UI测试、浏览器自动化。
测试驱动开发Skill test-driven-development
测试驱动开发是一种软件开发实践，通过先编写测试用例再编写实现代码，确保代码正确性和可维护性，强调自动化测试、红绿重构、单元测试、代码质量和重构。关键词：TDD、测试驱动、红绿重构、单元测试、自动化测试、代码重构、测试先行、软件开发方法。
子类型验证器Skill subtyping-verifier
子类型验证器是一种用于在编程语言中验证子类型关系的关键技能，确保类型系统的正确性、安全性和多态性检查。它广泛应用于编译器开发、形式验证和软件测试领域。关键词：子类型、类型系统、验证、编程语言、编译器、形式方法、软件测试。
形状分析Skill shape-analysis
形状分析是一种软件工程技术，专注于分析堆数据结构的形状，如链表、树和循环，用于程序验证、内存安全检测和优化。关键词：堆数据结构、形状推理、指针分析、内存验证、TVLA框架、分离逻辑。
精炼类型检查器Skill refinement-type-checker
这是一个精炼类型检查器技能，用于通过添加谓词到类型来实现属性验证、契约检查和轻量依赖类型。它使用 SMT 求解器进行验证和推理，适用于编程语言类型系统和形式化验证领域。关键词：精炼类型、类型检查、谓词、SMT 求解器、验证、契约、依赖类型、属性验证、静态分析、编程语言。
竞争检测工具Skill race-detection-tool
竞争检测工具专门用于检测并发程序中的数据竞争问题，通过静态和动态分析方法，帮助开发者调试并发错误、验证线程安全，提升软件质量。关键词：数据竞争检测、并发程序调试、线程安全验证、静态分析、动态分析。
基于属性的测试工具Skill property-based-tester
基于属性的测试工具是一种软件测试技能，通过生成随机输入并验证属性来发现错误和边缘情况，提高软件质量。关键词：属性测试、随机测试、测试框架、软件验证、自动化测试、错误发现。
模型检查器Skill model-checker
实现有限状态系统的有界模型检查，用于验证并发程序、硬件和协议。关键词包括模型检查、SAT/SMT求解器、验证、并发程序、硬件验证、协议验证、时态逻辑、状态空间、错误检测、反例生成。
循环终止证明器Skill loop-termination-prover
循环终止证明器是一种用于程序验证的技能，通过分析循环结构和发现排名函数来证明循环的终止性。适用于验证程序总正确性、分析程序循环行为，并使用形式方法确保软件可靠性。关键词：循环终止、排名函数、程序验证、终止证明、形式验证、软件测试。
TestNG基础Skill testng-fundamentals
这个技能提供了TestNG测试框架的全面基础知识，涵盖注解、断言、测试生命周期和XML配置，适用于Java单元测试、集成测试和功能测试开发，关键词包括TestNG、Java测试、注解、断言、测试生命周期、XML配置、单元测试、集成测试。