论文部分内容阅读
根据安全性测试的需求，建立了检测软件内部安全逻辑故障的故障模型，提出了故障模型动态生成算法及基于故障覆盖的安全性测试生成算法，可以有效识别软件是否具备对于故障的安全防护能力，在我国高速铁路列控中心安全性测试中说明了方法的有效性。
故障模型驱动的软件安全性测试研究
【摘 要】
：
根据安全性测试的需求，建立了检测软件内部安全逻辑故障的故障模型，提出了故障模型动态生成算法及基于故障覆盖的安全性测试生成算法，可以有效识别软件是否具备对于故障的安全防
【机 构】
：
上海工程技术大学航空运输学院,上海大学悉尼工商学院,同济大学电子与信息工程学院,铁道部产品质量监督检验中心铁路车站计算机联锁检验站
【出 处】
：
计算机工程与应用
【发表日期】
：
2014年12期
【基金项目】
：
国家自然科学基金（No.61075002）,国家“十二五”科技支撑计划项目（No.2011BAG01B03）.
其他文献
针对炼油过程生产装置运行的大惯性特性，研究了装置生产方案切换作业的调度优化问题。通过分析装置运行惯性及其产生的方案切换过渡过程，给出了调度优化的作业时间、方案切换和
非对称的GARCH模型的估计一般采用拟极大似然估计，这种估计的相合性及渐近正态性结论已经出现在很多文献中。本文对这种模型提出一种新的估计方法-加权拟极大似估计，在一定条件
目的:观察三伏天穴位贴敷配合川椒方治疗过敏性鼻炎的临床疗效。方法:将165例过敏性鼻炎患者按随机数字表法分为治疗组、敷贴组、中药组。治疗组65例,在初伏、中伏和末伏分别
本文构造了一类自相似集,利用满足开集条件的压缩自相似映射的性质,解决了一类自相似集的Haus-dorff维数计算问题.
在小样本的情况下,BDPCA算法中采用以训练样本的平均值作为样本分布中心,所得的特征值不一定是最优的。为此,提出了一种基于样本散度矩阵的改进BDPCA掌纹识别算法。该算法采用训练样本的K值矩阵替代训练样本的均值矩阵,构建相应的总体散度矩阵。在PolyU和CASIA掌纹库上的实验结果证明,该方法的最优识别率高于传统的BDPCA算法。
通过氯化锌和乙醇胺混合溶液，在95℃水热反应2h合成了花状ZnO微晶。利用X射线衍射仪、扫描电子显微镜、透射电子显微镜和紫外可见光谱对产物进行了表征和分析。结果表明该花状
基于绩效的后勤保障（PBL）正成为军事装备系统一种主导型保障战略。构建一个由备件仓库和部件修理车间组成的装备系统可修部件闭环保障系统。推导出备件库存水平状态稳态概率分