期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
面向可信的航空嵌入式软件开发方法框架
1
作者
牛文生
李亚晖
吴际
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
2012年第12期1577-1581,共5页
针对航空综合化软件的可信内涵,即可靠性、安全性和实时性,开展了开发方法的研究,提出了针对性的可信内涵模型和相应的开发过程模型,并设计了基于模型的需求分析、组件化设计以及系统配置综合的开发方法框架.在开发方法框架研究过程中,...
针对航空综合化软件的可信内涵,即可靠性、安全性和实时性,开展了开发方法的研究,提出了针对性的可信内涵模型和相应的开发过程模型,并设计了基于模型的需求分析、组件化设计以及系统配置综合的开发方法框架.在开发方法框架研究过程中,重点分析了航空综合化软件平台的特征,即因为物理资源的限制,软件任务之间存在复杂的交互、资源竞争和共享关系,并分析了这些特征对其可靠性、安全性和实时性的影响.
展开更多
关键词
软件
可信性
航空嵌入式软件
模型化设计
组件化设计
在线阅读
下载PDF
职称材料
基于S曲线模型的航空装备嵌入式软件量化安全评估
被引量：
2
2
作者
王洪坡
周红建
王洪雷
《计算机工程与科学》
CSCD
北大核心
2014年第3期469-474,共6页
软件测试是航空装备嵌入式软件生命周期中的重要环节,如何评估软件测试的效果是一个难题。以软件测试为基础,讨论了航空装备嵌入式软件的生命周期过程中安全缺陷出现的规律,认为它的安全缺陷同样满足S曲线。引入了AML建模理论,基于软件...
软件测试是航空装备嵌入式软件生命周期中的重要环节,如何评估软件测试的效果是一个难题。以软件测试为基础,讨论了航空装备嵌入式软件的生命周期过程中安全缺陷出现的规律,认为它的安全缺陷同样满足S曲线。引入了AML建模理论,基于软件测试数据,建立了某航空嵌入式软件的S曲线模型,预测了软件的总安全缺陷数。对AML理论进行了拓展,讨论了转折点的选取原则。最后,通过卡方检验和预测检验的方法,验证了预测模型与测试数据的匹配性。检验结果表明,AML模型能够很好地模拟实际测试情况,一定程度上消除了数据随机性的影响,其模型具有一定可信度,能够用于航空装备嵌入式软件的安全性分析。
展开更多
关键词
航空
装备
嵌入
式
软件
S曲线模型
安全缺陷发掘
量化
在线阅读
下载PDF
职称材料
基于威布尔分布的嵌入式软件安全性量化分析
3
作者
王洪坡
周红建
王洪雷
《计算机应用与软件》
CSCD
北大核心
2014年第4期262-265,311,共5页
基于软件测试阶段采集的安全缺陷数据,讨论安全缺陷在航空装备嵌入式软件的生命周期过程中出现的规律,指出它的出现规律满足S曲线分布。考虑到AML模型的缺陷,引入威布尔建模理论,以软件测试数据为基础,建立某航空嵌入式软件的S曲线模型...
基于软件测试阶段采集的安全缺陷数据,讨论安全缺陷在航空装备嵌入式软件的生命周期过程中出现的规律,指出它的出现规律满足S曲线分布。考虑到AML模型的缺陷,引入威布尔建模理论,以软件测试数据为基础,建立某航空嵌入式软件的S曲线模型,预测软件的总安全缺陷数。对威布尔理论进行拓展,讨论转折点的选取原则。最后,通过卡方检验和预测偏差检验的方法,验证了预测模型与测试数据的匹配性。检验结果表明,威布尔模型能够消除测试过程中随机因素的影响,模拟测试过程中缺陷发掘的实际情况,预测取得了很好的效果。
展开更多
关键词
航空
装备
嵌入
式
软件
威布尔模型
安全缺陷发掘
量化
在线阅读
下载PDF
职称材料
题名
面向可信的航空嵌入式软件开发方法框架
1
作者
牛文生
李亚晖
吴际
机构
中国航空工业集团公司计算技术研究所
北京航空航天大学计算机学院
出处
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
2012年第12期1577-1581,共5页
基金
航空科学基金资助项目(2010ZC31002)
文摘
针对航空综合化软件的可信内涵,即可靠性、安全性和实时性,开展了开发方法的研究,提出了针对性的可信内涵模型和相应的开发过程模型,并设计了基于模型的需求分析、组件化设计以及系统配置综合的开发方法框架.在开发方法框架研究过程中,重点分析了航空综合化软件平台的特征,即因为物理资源的限制,软件任务之间存在复杂的交互、资源竞争和共享关系,并分析了这些特征对其可靠性、安全性和实时性的影响.
关键词
软件
可信性
航空嵌入式软件
模型化设计
组件化设计
Keywords
software dependability
embedded aviation software
model-based design
component-based design
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于S曲线模型的航空装备嵌入式软件量化安全评估
被引量：
2
2
作者
王洪坡
周红建
王洪雷
机构
[
[
出处
《计算机工程与科学》
CSCD
北大核心
2014年第3期469-474,共6页
文摘
软件测试是航空装备嵌入式软件生命周期中的重要环节,如何评估软件测试的效果是一个难题。以软件测试为基础,讨论了航空装备嵌入式软件的生命周期过程中安全缺陷出现的规律,认为它的安全缺陷同样满足S曲线。引入了AML建模理论,基于软件测试数据,建立了某航空嵌入式软件的S曲线模型,预测了软件的总安全缺陷数。对AML理论进行了拓展,讨论了转折点的选取原则。最后,通过卡方检验和预测检验的方法,验证了预测模型与测试数据的匹配性。检验结果表明,AML模型能够很好地模拟实际测试情况,一定程度上消除了数据随机性的影响,其模型具有一定可信度,能够用于航空装备嵌入式软件的安全性分析。
关键词
航空
装备
嵌入
式
软件
S曲线模型
安全缺陷发掘
量化
Keywords
aviation equipment embedded software
S-curve model
safety defects explore
quantita-tive
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于威布尔分布的嵌入式软件安全性量化分析
3
作者
王洪坡
周红建
王洪雷
机构
[
[
出处
《计算机应用与软件》
CSCD
北大核心
2014年第4期262-265,311,共5页
文摘
基于软件测试阶段采集的安全缺陷数据,讨论安全缺陷在航空装备嵌入式软件的生命周期过程中出现的规律,指出它的出现规律满足S曲线分布。考虑到AML模型的缺陷,引入威布尔建模理论,以软件测试数据为基础,建立某航空嵌入式软件的S曲线模型,预测软件的总安全缺陷数。对威布尔理论进行拓展,讨论转折点的选取原则。最后,通过卡方检验和预测偏差检验的方法,验证了预测模型与测试数据的匹配性。检验结果表明,威布尔模型能够消除测试过程中随机因素的影响,模拟测试过程中缺陷发掘的实际情况,预测取得了很好的效果。
关键词
航空
装备
嵌入
式
软件
威布尔模型
安全缺陷发掘
量化
Keywords
Aviation equipment embedded software Weibull-based model Safety defects finding Quantitative
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
面向可信的航空嵌入式软件开发方法框架
牛文生
李亚晖
吴际
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
2012
0
在线阅读
下载PDF
职称材料
2
基于S曲线模型的航空装备嵌入式软件量化安全评估
王洪坡
周红建
王洪雷
《计算机工程与科学》
CSCD
北大核心
2014
2
在线阅读
下载PDF
职称材料
3
基于威布尔分布的嵌入式软件安全性量化分析
王洪坡
周红建
王洪雷
《计算机应用与软件》
CSCD
北大核心
2014
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
