计算机工程与科学2011，Vol.33Issue(10)：99-104,6.DOI:10.3969/j.issn.1007-130X.2011.10.018
基于三值语义的软件运行时验证方法
A Software Runtime Verification Method Based on the 3-Valued Semantics
摘要
Abstract
Runtime verification complements the two traditional approaches for ensuring that a system is correct, namely model checking and testing. Unlike these approaches which try to ensure that all possible executions of the system are correct, runtime verification concentrates on the correctness of the current execution of the system. This paper presents a runtime verification method based on the 3-valued semantics. One hand, this method provides a complete solution from code instrumentation and system information extraction to monitor generation and verifying requirement specification against runtime tracing. On the other hand, the monitor based on the 3-valued semantics has the ability to find the smallest good (bad) prefix, so the monitor can find the violation as early as possible. Meanwhile, we have developed the prototype tool and have applied it in an example.关键词
三值语义/运行时验证/监控器Key words
3-valued semantic/runtime verification/monitor分类
信息技术与安全科学引用本文复制引用
隋平,赵常智,董威,李冰鹏..基于三值语义的软件运行时验证方法[J].计算机工程与科学,2011,33(10):99-104,6.基金项目
国家自然科学基金资助项目(60970035) （60970035）
