KARB 方案：基于规则的基准测试实现质量合规
软件工程
2021-02-02 v4 形式语言与自动机理论
计算机科学中的逻辑
摘要
合规评估可通过基准测试而非证明或逻辑评估来完成。基准测试本质上是应用性的。因此，一组基准可构成一种用于合规评估的应用型方案。本文提出 KARB 方案：通过基于规则的基准测试（Keeping away compliance Anomalies by Rule-based Benchmarking）规避合规异常。所谓基于规则的基准测试，是指依据待合规系统的符号化规范，并借助一组符号规则（代表评估的语义逻辑）对其进行评估。为展示并探究 KARB 方案的运作方式，我们开展了一项案例研究。IR-QUMA 研究（伊朗即时通讯应用质量调查，Iranian Survey on Quality in Messenger Apps）旨在评估若干即时通讯应用的质量。评估结果表明，DD-KARB 混合方法（结合语义感知与数据驱动）优于单一方法，并能对即时通讯应用的用户质量得分给出较佳估计。因此，DD-KARB 可被视为该技术背景下质量基准测试的一种方法。
引用
@article{arxiv.2007.05874,
title = {KARB Solution: Compliance to Quality by Rule Based Benchmarking},
author = {Mohammad Reza Besharati and Mohammad Izadi},
journal= {arXiv preprint arXiv:2007.05874},
year = {2021}
}