测试 Skill技能列表
竞争检测工具Skill race-detection-tool
竞争检测工具专门用于检测并发程序中的数据竞争问题，通过静态和动态分析方法，帮助开发者调试并发错误、验证线程安全，提升软件质量。关键词：数据竞争检测、并发程序调试、线程安全验证、静态分析、动态分析。
基于属性的测试工具Skill property-based-tester
基于属性的测试工具是一种软件测试技能，通过生成随机输入并验证属性来发现错误和边缘情况，提高软件质量。关键词：属性测试、随机测试、测试框架、软件验证、自动化测试、错误发现。
模型检查器Skill model-checker
实现有限状态系统的有界模型检查，用于验证并发程序、硬件和协议。关键词包括模型检查、SAT/SMT求解器、验证、并发程序、硬件验证、协议验证、时态逻辑、状态空间、错误检测、反例生成。
循环终止证明器Skill loop-termination-prover
循环终止证明器是一种用于程序验证的技能，通过分析循环结构和发现排名函数来证明循环的终止性。适用于验证程序总正确性、分析程序循环行为，并使用形式方法确保软件可靠性。关键词：循环终止、排名函数、程序验证、终止证明、形式验证、软件测试。
循环不变式生成器Skill invariant-generator
该技能用于自动推断循环不变式，以支持程序验证、自动化证明和循环分析。关键词：不变式生成、程序验证、循环分析、自动化、软件测试。
ESLint规则Skill eslint-rules
这个技能是关于掌握ESLint内置规则的，包括规则配置、严重性级别和禁用策略。它全面涵盖了ESLint从安装到高级使用的各个方面，旨在提升JavaScript代码质量和开发效率。关键词：ESLint，规则配置，代码质量，JavaScript开发，静态代码分析，代码规范，代码检查，开发工具，前端测试。
Pylint集成Skill pylint-integration
这个技能是关于Pylint代码分析工具的CI集成，包括插件配置、编辑器集成和性能优化。关键词：Pylint, 代码质量, CI/CD, Python开发。
测试策略Skill testing-strategies
此技能提供全面的测试策略指导，帮助开发人员选择和实施单元测试、集成测试、端到端测试和契约测试。涵盖测试金字塔平衡、多语言支持（如TypeScript、Python、Go、Rust）、测试数据管理、CI/CD集成和现代实践（如属性测试），以提高软件质量和开发效率，关键词包括测试策略、单元测试、集成测试、端到端测试、契约测试、测试金字塔、CI/CD、Python、TypeScript、Go、Rust、测试数据管理。
测试驱动开发Skill test-driven-development
测试驱动开发（TDD）是一种软件开发实践，强调先编写测试用例再实现代码，通过‘红-绿-重构’循环确保代码质量、减少错误和促进设计改进。关键词：测试驱动开发、TDD、单元测试、自动化测试、红绿重构、代码质量、软件开发、测试优先、测试用例、错误预防。
RSpec模拟测试Skill rspec-mocking
这个技能用于掌握RSpec框架中的模拟测试技术，包括doubles、stubs、mocks、spies和部分模拟策略，适用于Ruby开发中的测试和质量保证，提升代码可靠性。关键词：RSpec, 模拟测试, Ruby测试, 单元测试, 测试框架, 软件测试。
代码审查Skill code-review
代码审查是一种软件质量保证技术，用于评估代码的质量、正确性和可维护性。通过详细反馈和改进建议，帮助提高代码的可读性、效率和可维护性，优化软件开发流程。关键词：代码审查、代码质量、软件开发、静态测试、质量保证、代码优化、编程规范。
RubyonRails测试最佳实践Skill rails-testing
这个技能提供了 Ruby on Rails 应用程序测试的最佳实践指南，专注于使用 RSpec 编写高效、可维护的测试套件。它包括测试设计、数据管理、模型测试、请求测试、系统测试、异步作业测试、测试性能和测试组织等方面的详细规则。适用于开发人员和测试工程师在 Rails 项目中编写、审查、重构和优化测试代码，确保软件质量。关键词：Ruby on Rails, 测试, RSpec, 最佳实践, 自动化测试, 测试套件, 测试设计, 数据管理, 模型测试, 系统测试。