这个技能用于验证软件开发中需求的完整可追溯性，从EARS需求到设计、任务、代码和测试。它执行缺口检测、生成可追溯性矩阵，并确保100%覆盖率以符合宪法要求。关键词：可追溯性审计、需求覆盖率、测试覆盖、缺口检测、可追溯性矩阵、软件开发质量保证。

这个技能专注于测试自动化，帮助创建全面的测试套件，包括单元测试、集成测试和端到端测试，遵循测试金字塔原则。适用于设置测试、提高代码覆盖率、重构前测试、以及实现CI/CD测试管道。关键词：测试自动化、单元测试、集成测试、端到端测试、测试金字塔、CI/CD。

文档分析技能专注于评估代码库中的文档质量、覆盖率和完整性，提供衡量文档有效性的框架。

属性测试是一种软件测试方法，通过自动生成广泛的测试用例来验证代码是否满足特定的属性或不变量，有助于发现边缘情况和潜在的错误。

这是一个代码审查和质量检查的技能，能够从多个角度（如安全性、性能、可访问性等）对代码变更进行综合评估，以确保代码的质量和安全性。

SARIF解析技能用于读取、分析和处理静态分析工具的SARIF格式结果文件，支持聚合多个工具的发现、去重警报、提取特定漏洞，并可集成到CI/CD管道中。关键词：SARIF解析、静态分析、安全扫描、数据聚合、去重、CI/CD集成、指纹技术、路径规范化。

Appium是一个开源工具，用于自动化iOS和Android移动应用的测试和交互。它支持跨平台自动化、元素定位、手势模拟和脚本编写，帮助开发者和测试人员提高移动应用测试效率和质量。关键词：Appium、移动应用测试、自动化测试、iOS自动化、Android自动化、元素定位、手势操作、跨平台测试、测试脚本、Appium框架、移动开发测试。

该技能专注于使用 Dialyzer 工具对 Erlang 和 Elixir 代码进行静态类型分析、警告检测和修复，提升代码质量和开发效率，适用于软件测试和代码优化场景。关键词：Dialyzer、类型分析、Erlang、Elixir、静态分析、代码警告、软件测试、编程工具。

完成前验证技能强调在软件开发过程中，在声称任务完成或代码通过之前，必须运行验证命令并确认输出。这包括测试、构建、代码审查等环节，以确保代码质量、减少错误和提升效率。关键词：验证、测试、质量保证、软件开发、自动化测试、代码审查、验证先行。

这个技能用于配置和管理Checkstyle工具，专注于Java项目的代码质量检查和静态代码分析。它包括XML配置文件设置、自定义检查规则、属性配置和模块集成。关键词：Checkstyle配置，Java代码质量，静态代码分析，XML配置，自定义检查，代码审查，DevOps集成。

AI友好的Vitest全面测试指南，包含实用模式和行为驱动开发，旨在提高代码的可测试性和测试质量。

这个技能专注于API测试和契约验证，支持REST、GraphQL和gRPC协议，用于模式验证、破坏性变更检测、契约测试和CI集成，提升API质量、安全性和稳定性，关键词包括API测试、契约验证、REST、GraphQL、gRPC、模式验证、CI/CD、安全测试。