论文标题
采矿精确的测试由FSM建模
Mining Precise Test Oracle Modelled by FSM
论文作者
论文摘要
可以使用确定性有限状态机（FSM）对反应性系统（例如关键控制系统和通信协议）等反应性系统的精确测试甲壳。除其他角色外，它们在评估正在测试的系统的正确性方面工作。由于不确定性，例如在解释其用模棱两可的自然语言表达的要求时，可以在系统设计阶段生产大量候选精确的甲骨文（不久，候选人）。选择适当的候选人对于专家来说是具有挑战性的。我们提出了一种测试驱动的方法，以帮助专家执行此选择任务。该方法使用非确定性FSM来表示候选人，包括通过布尔编码将候选人分配到候选人的子集中，并要求专家干预以选择子集。我们对所提出方法的适用性进行经验评估。
Precise test oracles for reactive systems such as critical control systems and communication protocols can be modelled with deterministic finite state machines (FSMs). Among other roles, they serve in evaluating the correctness of systems under test. A great number of candidate precise oracles (shortly, candidates) can be produced at the system design phase due to uncertainties, e.g., when interpreting their requirements expressed in ambiguous natural languages. Selecting the proper candidate becomes challenging for an expert. We propose a test-driven approach to assist experts in this selection task. The approach uses a non deterministic FSM to represent the candidates, includes the partitioning of the candidates into subsets of candidates via Boolean encodings and requires the intervention of experts to select subsets. We perform an empirical evaluation of the applicability of the proposed approach.
