典型文献
面向SQLite3数据库API调用序列的并行运行时验证方法
文献摘要：
作为轻量级的高可靠嵌入式数据库,SQLite3已被广泛应用于航空航天和操作系统等多个安全攸关领域,其提供了丰富灵活API函数以支持用户快速实现项目构建.然而,不正确的API函数调用序列会导致严重后果,包括运行错误、内存泄露和程序崩溃等.为了高效准确地监控SQLite3数据库API函数的正确调用情况,提出了基于多核系统的并行运行时验证方法.该方法首先分析API函数文档,自动挖掘相关API调用序列规约描述,辅助人工将其形式化表达为具有完全正则表达能力的命题投影时序逻辑公式;然后,在程序运行时,采用多任务调度策略,将程序执行产生的状态序列分割并对不同片段并行验证.实验结果表明:该方法能够发现调用SQLite3数据库API函数的30个被验证C程序中,违背API函数调用序列规约的达16个.另外,与传统串行运行时验证方法的对比实验表明,提出的并行运行时验证方法能够有效提高多核系统的验证效率.
文献关键词：
SQLite3;API调用序列;命题投影时序逻辑;并行;运行时验证
中图分类号：
作者姓名：
于斌;陆旭;田聪;段振华;张南
作者机构：
西安电子科技大学 计算机科学与技术学院, 陕西 西安 710071;综合业务网理论与关键技术国家重点实验室(西安电子科技大学), 陕西 西安 710071
文献出处：
引用格式：
[1]于斌;陆旭;田聪;段振华;张南-.面向SQLite3数据库API调用序列的并行运行时验证方法)[J].软件学报,2022(08):2755-2768
A类：
命题投影时序逻辑
B类：
SQLite3,API,行运,运行时验证,验证方法,轻量级,高可靠,嵌入式数据库,航空航天,操作系统,攸关,快速实现,不正确,函数调用,严重后果,内存泄露,崩溃,多核系统,文档,自动挖掘,规约,助人,形式化,正则,表达能力,程序运行,多任务调度,调度策略,程序执行,违背,串行
AB值：
0.319882
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
