程序时序安全属性模型检测精度提升策略研究.docx

程序时序安全属性模型检测精度提升策略研究

一、引言

1.1研究背景与意义

在当今数字化时代，软件系统广泛应用于各个领域，从关键基础设施的控制到日常生活中的移动应用，软件的安全性和可靠性直接关系到人们的生命财产安全以及社会的稳定运行。程序的时序安全属性作为保障软件安全的重要因素，其检测的准确性和高效性显得尤为关键。

程序的“时序安全属性（temporalsafetyproperties）”主要描述“某些坏的事情不会发生”的一类属性，通常规定了一系列有序的事件，并要求在程序执行过程中不能发生这些特定的事件序列。在程序中，它体现为一系列先后有序的操作，其中至少有一个操作与安全相关。以