殷蓓蓓
- 作品数:15 被引量:6H指数:1
- 供职机构:北京航空航天大学更多>>
- 发文基金:中国航空科学基金国家自然科学基金更多>>
- 相关领域:自动化与计算机技术理学文化科学更多>>
- 网络上的非对称信息对抗及其纳什策略
- 2017年
- 针对网络中的非对称信息对抗及其纳什均衡解的问题,考虑了系统中的随机扰动,并采用累积费用的思想来确定信息对抗中的费用函数。在所建立的信息对抗模型中,参与人包括不对等两方,即主导方和扰动方。其中主导方的目标是最小化其费用函数,且最小化其方差,而扰动方的目标则只是最小化其费用函数。通过分析随机微分博弈的纳什均衡解的充分条件,得到了退化的线性系统的分析解。最后用一个例子分析了非对称信息对抗中控制费用对控制效应的影响。
- 殷蓓蓓方蕴宇宁高容王宾
- 关键词:网络纳什均衡解
- 基于Sober算法的飞控软件缺陷定位方法研究被引量:1
- 2015年
- 飞行控制软件(简称飞控软件)验证与测试是保障和提高飞控系统可靠性的重要手段。软件缺陷定位是软件验证与测试过程中的重要环节,其准确性和及时性直接影响了飞控软件的可靠性。本文对面向缺陷定位的飞控软件的特性进行了分析,并针对其嵌入式特性,搭建了飞控软件仿真测试平台。在此基础上,以飞机着陆自动控制软件为实验对象,针对其特性,提出了基于Sober算法的缺陷定位方法,最后进行了仿真验证,证明了缺陷定位方法的可行性。
- 李志敏殷蓓蓓张萍王纪兵杨飏
- 关键词:飞行控制软件软件测试嵌入式平台
- 一种基于领域知识的空间飞行器测试用例自适应生成方法
- 本发明公开一种基于领域知识的空间飞行器测试用例自适应生成方法,包括:1、获取待测空间飞行器的参数空间,确定参数各自的概率分布模型、归一化及距离度量方法;2、根据概率分布模型,随机在参数空间中生成一个初始用例,放入测试用例...
- 殷蓓蓓李成龙张雷郑征孙波李志栋
- 文献传递
- 一种基于事件响应函数树的GUI软件测试用例生成方法
- 一种基于事件响应函数树模型的GUI软件测试用例生成方法,包括:分析GUI软件的函数调用关系,并构造其函数调用图;根据所构造的软件函数调用图提取所有的事件响应函数,并录制事件响应函数相应的操作,生成脚本文件;通过函数调用图...
- 殷蓓蓓王宾方蕴宇蔡开元
- 文献传递
- 一种面向可靠性评估的软件自适应测试方法
- 一种面向可靠性评估的软件自适应测试方法,它用五大步骤:步骤一、根据可控马尔可夫链模型,得到测试过程的控制器方程;步骤二、由控制器方程,在软件测试过程中,每一步选取的测试决策应满足期望目标函数值最小;步骤三、如果被测软件参...
- 殷蓓蓓蔡开元吕俊鹏胡海江昌海
- 文献传递
- 一种基于事件响应函数树的GUI软件测试用例生成方法
- 一种基于事件响应函数树模型的GUI软件测试用例生成方法,包括:分析GUI软件的函数调用关系,并构造其函数调用图;根据所构造的软件函数调用图提取所有的事件响应函数,并录制事件响应函数相应的操作,生成脚本文件;通过函数调用图...
- 殷蓓蓓王宾方蕴宇蔡开元
- 文献传递
- 一种实时性缺陷定位方法及其可视化实现被引量:6
- 2017年
- 为满足飞行控制软件的强实时性要求,针对实时嵌入式软件提出一种实时性缺陷定位方法,并开发可视化工具提高其自动化程度。建立实时性缺陷定位模型,分别在软件模块及函数粒度上定义软件单元的可疑度。在计算可疑度时,利用模块实际执行时间与基准执行时间的差异、成功用例与失败用例中函数执行时间的差异以及模块与函数的调用关系,分别进行模块和函数级别的实时性缺陷定位。仿真结果显示,包含缺陷的模块或函数均具有较高的可疑度值,验证了该方法的有效性。
- 李志敏殷蓓蓓张萍王纪兵王宾张金鹏
- 关键词:飞行控制软件可视化工具
- 一种基于酉运算的量子程序自动修复方法
- 本发明公开一种基于酉运算的量子程序自动修复方法:包括:1)、将量子程序视为黑盒模型并对其进行建模,建立初态、末态以及演化过程之间合理的方程,对演化算子进行初步求解;2)、定义前置修复和后置修复两种修复模式,并建立合理的数...
- 殷蓓蓓李玥辰裴翰宇黄麟植蔡开元
- 面向深度神经网络的自然语言处理模型测试用例约简方法
- 本发明公开了面向深度神经网络的自然语言处理技术测试用例约简方法,包括:步骤1)、明确待测试的模型,并使用原始数据对基于深度神经网络的自然语言处理模型进行训练;步骤2)、使用训练好的模型提取原始测试集的特征向量,并将提取的...
- 殷蓓蓓李明希
- 文献传递
- 一种基于模型的航天器控制器软件测试用例自动生成方法
- 本发明公开一种基于模型的航天器控制器软件测试用例自动生成方法,包括:1)、空间飞行器测试需求形式化建模,用UML状态图对测试需求中航天器的状态以及其转换进行建模得到标准模型;2)、对标准模型预处理,将状态图中包含的测试信...
- 殷蓓蓓田野张雷郑征孙波李志栋