StrykerJS 在 Angular 17 应用中处理信号输入别名时的问题解析

问题背景

在 Angular 17 应用中，当开发者使用信号输入（signal inputs）并为其设置别名时，StrykerJS 在执行测试时会遇到"未执行任何测试"的错误。这个问题特别出现在使用 Angular 16 引入的新信号输入特性时，而传统的注解式输入则能正常工作。

问题根源分析

经过深入分析，发现问题源于 StrykerJS 的变异机制与 Angular 的 Ivy 编译器之间的交互方式。当 StrykerJS 对组件代码进行变异时，它会修改包含输入选项的对象，特别是那些设置了别名的信号输入。这种变异导致 Ivy 编译器在解析模板和控制器绑定时失败。

具体来说，StrykerJS 会在以下位置引入变异：

1. 输入函数的选项对象内部
2. 别名属性本身
3. 组件方法中的逻辑

这些变异虽然对普通 JavaScript 代码是安全的，但却干扰了 Angular 编译器的正常工作流程。

技术细节

在 Angular 中，信号输入有两种声明方式：

传统注解方式（不受影响）：

@Input('aliased-input') aliasedInput = '';

新信号输入方式（受影响）：

aliasedInput = input<string | undefined>(undefined, { alias: 'aliased-input' });

StrykerJS 的变异器会修改第二种方式中的选项对象，导致编译器无法正确解析。变异后的代码会将选项对象包装在 Stryker 的检测逻辑中，破坏了 Angular 编译器期望的静态分析结构。

解决方案

目前有两种可行的解决方案：

1. 临时解决方案：创建一个自定义的 Stryker 忽略插件，专门跳过对 Angular 信号输入选项对象的变异。这个插件可以检测到在 input() 或 model() 函数调用中的对象表达式，并标记为不进行变异。

2. 长期解决方案：将这种忽略逻辑集成到 StrykerJS 核心中，作为对 Angular 项目的内置支持。这需要：

   • 检测组件/指令装饰器
   • 识别类属性中的信号输入声明
   • 跳过相关选项对象的变异

实现建议

对于希望立即解决问题的开发者，可以创建一个自定义插件，代码如下：

import { declareValuePlugin, PluginKind } from '@stryker-mutator/api/plugin';

export const strykerPlugins = [declareValuePlugin(PluginKind.Ignore, 'angular.signal-model-input-options', {
  shouldIgnore(path) {
    const inputOrModelExpression = path.findParent((path) =>
      path.isCallExpression() &&
      path.node.callee.type === 'Identifier' &&
      (path.node.callee.name === 'input' || path.node.callee.name === 'model'),
    );

    if (path.isObjectExpression() && inputOrModelExpression != null) {
      return 'Angular signal or model input options cannot be mutated as that causes issues with the ivy compiler.';
    }
  },
})];

未来展望

这个问题揭示了静态分析工具与框架编译器的交互复杂性。随着 Angular 信号特性的普及，测试工具需要更好地理解框架特定的代码模式。理想情况下，StrykerJS 应该能够：

1. 识别 Angular 项目结构
2. 理解框架特定的代码模式
3. 智能地调整变异策略

这种框架感知能力将是现代 JavaScript 测试工具的重要发展方向。

结论

StrykerJS 与 Angular 信号输入的兼容性问题虽然特定，但反映了现代前端测试的复杂性。通过理解问题本质和采用适当的解决方案，开发者可以继续享受变异测试带来的质量保障，同时利用 Angular 的最新特性。随着工具的不断进化，这类框架集成问题有望得到更系统性的解决。