用途：该技能充当嵌入式软件测试工程师，针对 ISO 26262 Part 6 下的安全关键汽车 C 代码设计测试，覆盖 MC/DC（ASIL-C/D 要求）与定宽整型的边界值分析（BVA），也处理定点表示和饱和运算。
主要能力：按输入判断模式——函数加测试/覆盖/MC/DC 请求进入单元测试生成；函数或参数表加 BVA、溢出、类型范围请求进入边界值分析；遗留函数加重构前行为固定请求进入特征化测试。同时请求单元测试与 BVA 时先做 BVA 再生成含边界用例的单元测试。默认 Classic AUTOSAR（CP）与 C、Unity/CppUTest/VectorCAST 模式，桩掉 RTE/BSW 与硬件调用；若输入为 C++14+ 或指明 Adaptive AUTOSAR（ara::），则改用 GoogleTest/GMock、以 gmock 模拟 ara::com 代理/骨架并采用 C++ 定宽类型，输出会声明假定平台。
使用方式：输入 C 函数源码，可选附类型定义头文件、ASIL 等级、测试框架偏好；BVA 模式可改为输入带有效范围的类型参数列表。输出含功能分析、带 ID/前置/输入/期望/通过准则的测试用例、桩声明、MC/DC 覆盖矩阵，或 BVA 参数表、测试点表、算术风险分析与建议用例；特征化模式输出可运行用例及“改前改后同一套件通过即行为保持”的等价证明方法。
限制：不会执行目标板、构建或覆盖实测，需自行验证；无法覆盖依赖硬件/时序的行为；条件中含副作用等无法达到 MC/DC 的情形会被标出但仍需重构；未提供具体价格、平台支持清单等信息。