Dialyzer配置技能涉及设置和管理Dialyzer静态分析工具，用于Erlang和Elixir代码的类型检查和静态分析，以识别软件问题如类型错误、不可达代码等。关键词：Dialyzer, Erlang, Elixir, 类型检查, 静态分析, 配置, 测试, 软件开发, CI集成。

这是一个自动化测试用例生成技能，专为软件开发项目设计，帮助创建符合标准的测试文件，确保代码覆盖率，提高软件质量。关键词：测试创建、自动化测试、软件测试、测试用例生成、代码覆盖率。

形状分析是一种软件工程技术，专注于分析堆数据结构的形状，如链表、树和循环，用于程序验证、内存安全检测和优化。关键词：堆数据结构、形状推理、指针分析、内存验证、TVLA框架、分离逻辑。

这个技能用于通过日志分析、控制台检查和Playwright浏览器自动化来系统化地重现和调查软件bug，包括UI相关问题的可视化重现和错误诊断。关键词：bug重现、日志调查、Playwright、自动化测试、软件调试。

这个技能专注于系统性调试方法，用于识别软件问题的根本原因而非表面症状，采用顺序思考、结构化调查和网络研究来避免循环推理和重复修复。涉及关键词：调试、根本原因分析、错误排查、代码修复、软件测试、系统性思考、故障排除，适用于编程、软件开发和工程领域。

这是一个自动化工具，用于在桌面应用程序中模拟键盘输入文本，支持中文输入和清空现有内容。适用于自动化测试、脚本执行和桌面应用操作自动化。关键词：桌面输入、自动化测试、中文输入、工具技能、自动化操作。

这个技能用于验证Jira项目管理工具中的票证接受标准，而不改变其状态。它有助于在软件开发过程中检查任务完成情况，提升团队协作效率。关键词：Jira, 票证验证, 接受标准, 项目管理, 敏捷开发, DevOps, 测试验证。

此技能用于对新手网页项目进行全面用户体验、可访问性和质量审计，生成优先修复计划，提升网站质量和可访问性。关键词：网页审计、UX审计、可访问性检查、质量保证、修复方案、前端测试。

这个技能将测试驱动开发(TDD)应用于文档创建过程，用于编写高质量、可重用的技能文档。包括写作风格指南，帮助在编写新技能时保持清晰和一致性。关键词：TDD, 技能文档, 写作指南, 文档测试, SEO优化

此技能用于对Web入门项目进行全面审计，包括用户体验、无障碍访问和质量检查，生成优先修复计划，提升项目质量和可访问性，关键词包括UX审计、无障碍审计、质量审计、Web开发测试。

这个技能用于创建全面的测试策略文档，遵循IEEE 829标准结构，规划软件项目的测试方法、范围、资源和成功标准。适用于测试工程师、质量保证团队和项目经理，帮助制定系统的测试计划，提高软件质量和降低风险。关键词包括：测试策略、IEEE 829、软件测试、测试规划、质量保证、测试文档、风险优先、自动化测试。

端到端测试是一种自动化测试技能，用于验证软件系统的完整用户工作流和集成行为。它从用户角度出发，测试关键路径如登录、支付等，确保前端与后端正确交互。适用于自动化QA过程、捕获回归、测试API集成等。关键词：端到端测试，用户工作流，自动化测试，Playwright，Cypress，测试框架，CI/CD，QA自动化。