[论文解读] Four Conceptions of Instruction Sequence Faults

J.A. Bergstra|arXiv (Cornell University)|Apr 9, 2012

Software Testing and Debugging Techniques参考文献 40被引用 3

一句话总结

本文提出了四种不同的指令序列故障概念——机械性、产品权威性、过程权威性和错误替代性——每种概念从不同角度提供故障识别与测试的视角。文章认为这些视角是互补的，其中机械性视角强调确认测试，并主张根据上下文灵活采用这些概念，从而为基于形式语义学和实际验证的指令序列测试构建一个更精细的框架。

ABSTRACT

The notion of an instruction sequence fault is considered from various perspectives. Four different viewpoints on what constitutes a fault, or how to use the notion of a fault, are formulated. An integration of these views is proposed.

研究动机与目标

• 通过将指令序列作为程序行为的形式化模型，解决‘程序故障’定义中的模糊性。
• 通过聚焦于定义更清晰的指令序列，减少与现有程序故障文献之间的矛盾。
• 通过从多个互补视角分析故障概念，构建一个连贯的指令序列测试框架。
• 强调故障概念对测试实践（尤其是确认测试）的依赖性，并支持在软件工程语境中灵活应用故障视角。

提出的方法

• 将指令序列形式化为程序的模型，借助 [11, 15, 12, 9] 中既有的理论，确保定义的清晰性。
• 引入四种不同的故障概念：机械性（基于执行与确认测试）、产品权威性（缺陷导向）、过程权威性（基于过程充分性）和错误替代性（将‘故障’作为‘缺陷’的替代用语，用于沟通）。
• 使用‘实施’作为通用术语，涵盖执行、解释、编译、仿真及混合机制，避免‘执行’一词的局限性。
• 提出故障定义并非绝对，而是依赖于上下文，每种视角在测试与质量保证中具有不同用途。
• 通过区分‘错误’、‘故障’、‘错误’、‘失败’、‘缺陷’和‘违规’等术语，整合各视角，明确概念边界。
• 强调确认测试在机械性视角中处于核心地位，且视角统一需谨慎使用术语，以避免某一视角占据主导地位。

实验结果

研究问题

• RQ1 在缺乏‘程序’标准定义的前提下，如何在指令序列背景下有意义地定义‘故障’概念？
• RQ2 四种指令序列故障概念——机械性、产品权威性、过程权威性和错误替代性——各自具有何种独特作用与合理依据？
• RQ3 机械性故障视角，特别是通过确认测试，如何与理想化的修复标准相关联，又如何应对回归测试等实际限制？
• RQ4 在机械性故障居于核心地位的前提下，如何在不偏袒任一视角的情况下统一四种故障概念？
• RQ5 从指令序列故障中获得的洞见在多大程度上可推广至真实程序故障？此类推广存在何种风险？

主要发现

• 基于确认测试的机械性故障视角对于实际故障检测至关重要，即使理想化的修复标准无法实现。
• 产品权威性与过程权威性视角提供了有价值的非机械性故障理解，尤其在质量工程与组织标准中具有重要意义。
• 错误替代性视角使在形式正确性无法实现的语境中实现清晰沟通成为可能，允许‘故障’作为‘缺陷’的代理使用。
• 只有通过将‘缺陷’与‘违规’等术语与‘故障’区分开来，才能实现四种视角的统一，避免机械性视角占据主导。
• 机械性视角并非本质上更优越；若未来工程进展通过更优的规格说明与验证消除了机械性故障，其核心地位可能减弱。
• 本文的主要贡献在于阐明了确认测试在定义机械性故障中的作用，尤其是在无法验证形式正确性时。