2024年8月20日
星期二
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
蔡玉华
作品数:
13
被引量:0
H指数:0
供职机构:
中国航空综合技术研究所
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
封二强
中国航空综合技术研究所
刘畅
中国航空综合技术研究所
周汉清
中国航空综合技术研究所
谢许扬
中国航空综合技术研究所
李海峰
中国航空综合技术研究所
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
13篇
中文专利
领域
5篇
自动化与计算...
主题
6篇
嵌入式
6篇
嵌入式软件
2篇
质量水平
2篇
软件测试
2篇
软件产品
2篇
软件功能
2篇
软件模型
2篇
失效模式
2篇
输入接口
2篇
数据生成
2篇
嵌入式软件测...
2篇
自动推送
2篇
现场可编程
2篇
现场可编程逻...
2篇
相似度
2篇
相似度计算
2篇
历史数据
2篇
模型分析
2篇
经验知识
2篇
径集
机构
13篇
中国航空综合...
作者
13篇
蔡玉华
11篇
封二强
2篇
郑军
2篇
李海峰
2篇
谢许扬
2篇
周汉清
2篇
刘畅
年份
4篇
2024
3篇
2023
1篇
2022
3篇
2021
1篇
2016
1篇
2014
共
13
条 记 录,以下是 1-10
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
基于模型的嵌入式软件测试用例生成模型
本发明提供了一种基于模型的嵌入式软件测试用例生成模型,其包括:测试需求建模模块、测试路径生成模块、测试数据生成模块、通用多样性测试数据生成模块和测试用例集生成模块,测试需求建模模块构建动态行为测试需求模型和静态结构测试需...
封二强
吕金泽
蔡玉华
吴春成
孙乾
马力
基于SysML的嵌入式软件安全性分析方法及其分析系统
本发明提供了一种基于SysML的嵌入式软件安全性分析方法,该方法包括:扩展SysML语言的语义,基于扩展SysML语言创建软件模型,对软件静态结构和动态行为进行完整准确描述,通过构建安全性分析规则库,针对软件模型进行软件...
周汉清
吕海熊
唐洋
封二强
蔡玉华
刘勇
李鑫然
文献传递
航空遥感图像目标检测模型的鲁棒性测试方法及系统
本发明提供一种航空遥感图像目标检测模型的鲁棒性测试方法及系统,方法包括以下步骤:S1、构建基础数据集;S2、基于基础数据集,运用基于梯度和优化的白盒攻击方法以及基于知识蒸馏的黑盒攻击方法得到对抗性样本数据集;S3、以步骤...
蔡玉华
郭耕佑
封二强
何柳
航空机载软件安全性分析规则的关联推送方法及其系统
本发明涉及一种航空机载软件安全性分析规则的关联推送方法及其系统,其包括以下步骤,步骤1:确定航空机载软件的安全性特征,构建软件的安全性特征向量;步骤2:处理软件的安全性特征,关联软件安全性分析规则;步骤3:处理航空机载软...
封二强
吴春成
蔡玉华
马力
孙乾
吕金泽
文字情报分析模型的可解释性测试验证方法及系统
本发明提供一种文字情报分析模型的可解释性测试验证方法及系统,系统包括基础数据集构建单元、可解释性测试模型构建单元、可解释性测试方法选择单元以及可解释性测试评估单元,基础数据集构建单元用于构建待评估文字情报分析模型的基础数...
郭耕佑
蔡玉华
封二强
刘姝研
基于SysML的嵌入式软件安全性分析方法及其分析系统
本发明提供了一种基于SysML的嵌入式软件安全性分析方法,该方法包括:扩展SysML语言的语义,基于扩展SysML语言创建软件模型,对软件静态结构和动态行为进行完整准确描述,通过构建安全性分析规则库,针对软件模型进行软件...
周汉清
吕海熊
唐洋
封二强
蔡玉华
刘勇
李鑫然
一种嵌入式软件安全性分析充分性检查方法
本发明属于计算机技术领域,涉及一种嵌入式软件安全性分析充分性检查方法,尤其涉及一种用于飞机安全性分析充分性检查的方法。本发明首次明确提出从系统和软件双向角度分别对机载嵌入式软件安全性分析工作开展充分性检查,给出了对PHA...
刘畅
李海峰
蔡玉华
谢许扬
郑军
文献传递
一种嵌入式软件安全性分析充分性检查方法
本发明属于计算机技术领域,涉及一种嵌入式软件安全性分析充分性检查方法,尤其涉及一种用于飞机安全性分析充分性检查的方法。本发明首次明确提出从系统和软件双向角度分别对机载嵌入式软件安全性分析工作开展充分性检查,给出了对PHA...
刘畅
李海峰
蔡玉华
谢许扬
郑军
基于软件全生命周期的航空机载软件质量评价方法
本发明提供一种基于软件全生命周期的航空机载软件质量评价方法,其包括以下步骤:S1、建立航空机载软件研制过程评价模型;S2、建立航空机载软件产品评价模型;S3、确定度量元指标选取原则;S4、度量元数据采集;S5、航空机载软...
封二强
马力
张优优
蔡玉华
孙乾
曹洪明
徐晖
初振华
航空机载软件安全性分析规则的关联推送方法及其系统
本发明涉及一种航空机载软件安全性分析规则的关联推送方法及其系统,其包括以下步骤,步骤1:确定航空机载软件的安全性特征,构建软件的安全性特征向量;步骤2:处理软件的安全性特征,关联软件安全性分析规则;步骤3:处理航空机载软...
封二强
吴春成
蔡玉华
马力
孙乾
吕金泽
全选
清除
导出
共2页
<
1
2
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张