1. 决策结构检测仪器：用于检测软件程序中的决策结构是否正确。常见的仪器包括静态代码分析工具、代码覆盖率工具等。
2. 数据流检测仪器：用于检测程序中的数据流是否正确。常见的仪器包括数据流分析工具、符号执行工具等。
3. 边界值检测仪器：用于检测程序中变量的边界值是否正确。常见的仪器包括边界值分析工具、模糊测试工具等。
4. 输入验证检测仪器：用于检测程序中输入的合法性和正确性。常见的仪器包括输入验证工具、模式匹配工具等。
5. 性能检测仪器：用于检测程序的性能表现是否符合要求。常见的仪器包括性能测试工具、压力测试工具等。
6. 安全漏洞检测仪器：用于检测程序中可能存在的安全漏洞。常见的仪器包括静态安全扫描工具、动态安全扫描工具等。
7. 代码质量检测仪器：用于检测程序的代码质量、可读性和可维护性。常见的仪器包括代码静态分析工具、代码度量工具等。
