一种运行时验证监控器的构造方法

摘要

本文结合作者课题内容，介绍了一种运行时验证技术中的监控器构造方法。该方法完整涵盖了从性质规约到监控器模型再到监控程序的全过程，过程中使用了相关开源的第三方软件使得该方法的自动化程度较高。同时由于该监控器的构造是基于三值语义，使得该监控器在一定意义上具有预测性。