死路径语义下BPEL路径敏感性缺陷分析

软件缺陷是衡量软件测试充分性的一项重要指标,为了提高基于BPEL的组合Web服务流程的可靠性和健壮性,提出了一种死路径语义下路径敏感的缺陷检测方法.死路径是BPEL提供的特殊语义,不具有任何执行信息,但是可以连接两个可执行路径片段.为了避免死路径对检测精度的影响,将死路径和路径条件有机地结合起来,采用了变量的抽象取值范围来表示流程的执行状态,即属性状态条件.通过状态条件中变量抽象取值范围为空来识别不可达路径及死路径,并在汇合节点进行了属性状态条件的合并.采用一个既与死路径相关又与执行路径相关的未初始化变量的缺陷检测贯穿整个分析与验证过程,进而说明了该方法的有效性.

类Unix文件系统中TOCTTOU缺陷的静态分析方法

文件系统中的TOCTTOU缺陷是类Unix操作系统面临的一个严重安全问题,现有的静态检测方法具有很高的误报率.原因有2点:一是对导致TOCTTOU缺陷的函数对缺乏精确定义和分析;二是分析过程过度抽象,忽略了很多重要的程序信息.因此,首先对TOCTTOU缺陷进行了分类,并系统分析了C标准库中可以导致TOCTTOU缺陷的函数对.在此基础上,提出了一种TOCTTOU缺陷的静态分析方法,利用有限状态安全属性刻画TOCTTOU缺陷,分析精度达到了过程内路径敏感、过程间流敏感.实验结果表明,该方法能够有效检测C程序中的TOCTTOU缺陷,相比现有方法,有效降低了误报率.

裂纹转折及对路径的敏感性研究及其在DCB试验上的分析

介绍了裂纹转折理论和裂纹扩展路径的敏感性研究分析情况。作为一个例子，给出了对于DCB试件裂纹转折路径敏感性分析。

路径敏感的源码关联变量模式挖掘及缺陷检测

大量而广泛存在的源码系统使得软件源码的安全问题日益重要.文中在大型源码系统中采取路径敏感的方式挖掘关联变量访问规则,并自动检测系统中因不一致访问关联变量引发的源码缺陷.通过结合程序源码的逻辑信息及路径敏感信息,挖掘出其中的源码关联变量,避免路径非敏感方法带来的错误.对路径敏感方法挖掘源码关联变量中面临的主要挑战:路径权重不均、路径爆炸问题,提出较高效的解决办法.在Linux源码系统中验证方法的正确性和高效性,实验结果表明该方法可高效、准确提取模式.

天然气简化反应机理构建与验证

采用6种详细反应机理对多工况条件下天然气的着火延迟时间、层流燃烧速度以及氧化过程中主要组分摩尔分数进行了数值计算,并与相应试验数据进行了对比分析。结果表明:相比于其他5种详细反应机理,Aramco 2.0机理在天然气的着火延迟、层流燃烧以及氧化特性的预测上精度最高。基于Aramco 2.0机理,通过路径敏感性分析、生成速率分析与反应路径分析,形成了天然气(CH_(4)/C_(2)H_(6)/C_(3)H_(8))的初始简化机理(包含21种组分、150个反应);同时,基于解耦法,耦合初始简化反应机理中的C_(1)~C_(3)反应机理、H_(2)/CO详细反应机理和NOx简化反应机理,构建了天然气的简化反应机理(包含40种组分、189个反应)。通过与相应试验数据的对比发现,该简化反应机理能很好地预测多工况条件下天然气的着火延迟、层流燃烧与氧化特性。

正丁烷燃料中低温氧化的骨架反应机理

本文基于Healy等人建立的正丁烷详细反应机理(230个组分,1328个反应),采用直接关系图法,反应路径分析以及敏感性分析相结合的方法,构建了一个包含83个组分,397个反应的中低温反应动力学骨架模型。路径分析发现,在低温反应中,正丁烷氧化着火主要受链传播反应中的放热循环控制。而在中温反应中,正丁烷及其下游产物正丁基的裂解反应变得重要,大分子裂解后的小分子氧化加快反应进程。本文骨架模型在温度范围550~1050 K、压力范围0.1~3MPa、当量比范围0.5~2.0条件下对着火延迟时间、层流火焰速度、温度以及重要组分浓度分布的预测均与详细机理保持很好的一致性,同时与文献中快压机、定容燃烧弹和搅拌射流反应器的实验结果也吻合较好。