-
题名基于Sober算法的飞控软件缺陷定位方法研究
被引量：1
- 1
-
-
作者
李志敏
殷蓓蓓
张萍
王纪兵
杨飏
-
机构
北京航空航天大学
中国空空导弹研究院
-
出处
《航空兵器》
2015年第1期52-56,64,共6页
-
基金
航空科学基金资助项目(20130151001)
-
文摘
飞行控制软件(简称飞控软件)验证与测试是保障和提高飞控系统可靠性的重要手段。软件缺陷定位是软件验证与测试过程中的重要环节,其准确性和及时性直接影响了飞控软件的可靠性。本文对面向缺陷定位的飞控软件的特性进行了分析,并针对其嵌入式特性,搭建了飞控软件仿真测试平台。在此基础上,以飞机着陆自动控制软件为实验对象,针对其特性,提出了基于Sober算法的缺陷定位方法,最后进行了仿真验证,证明了缺陷定位方法的可行性。
-
关键词
飞行控制软件
软件测试
软件缺陷定位
sober算法
嵌入式平台
-
Keywords
flight control software
software testing
software fault-localization
sober algorithm
embedded platform
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名密码学安全性指标的分析与应用
- 2
-
-
作者
张振民
史瑞
刘金涛
-
机构
西安电子科技大学通信工程学院
北京电子科技学院信息安全系
-
出处
《测试技术学报》
2014年第6期515-520,共6页
-
基金
中央高校基本科研业务费资助(2014CLJH22)
-
文摘
布尔函数和向量值函数被广泛运用到密码算法的设计与分析当中,其安全性指标是衡量密码学性质好坏的重要参数.非线性过滤层(NLF)是SOBER-t 16算法中重要的非线性组件,本文测试了NLF中函数f(x)的安全性指标,得出了函数f(x)是平衡的,其差分均匀度为65 536,非线性度为32 113,代数次数为7,并且分析了NLF结构的安全性,得出了相关结论.同时,设计了一个基于ARX运算的非线性组件,给出了其设计思想,并且利用随机抽样测试的方法,从密码学安全性指标的角度确保了设计的非线性组件的安全性.
-
关键词
sober-t16算法
非线性过滤层
密码学安全性指标
非线性组件
-
Keywords
algorithm of sober-t 16
nonlinear filter
cryptography security indicator
nonlinear component
-
分类号
TP311.56
[自动化与计算机技术—计算机软件与理论]
-
