期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
软件Ⅳ&Ⅴ的发展与应用
下载PDF
职称材料
导出
摘要
本文介绍了软件验证与确认的发展过程及作用,同时简述了验证与确认在软件开发各阶段中的任务及相关技术领域,最后对NASA应用独立的验证与确认(Ⅳ&Ⅴ)的情况进行了介绍。
作者
刘正高
万波
机构地区
航天科技集团
安徽省第一轻工业学校
出处
《质量与可靠性》
2000年第1期28-30,共3页
Quality and Reliability
关键词
软件开发
软件验证
软件确认
NASA
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
1
彭刚锋.
国外机载设备ATS测试软件确认方法浅析[J]
.航空计算技术,2010,40(2):88-90.
被引量:2
2
南风.
电脑2000年问题日益迫近[J]
.科技信息,1998,0(7):11-10.
3
魏薇.
测试软件的确认[J]
.舰船标准化工程师,2004(2):44-45.
4
黎升洪,缪淮扣.
时态逻辑描述能力比较研究[J]
.计算机工程与应用,2006,42(22):75-77.
被引量:1
5
胡鹏飞,王晓宇,王智博.
对软件确认的几点思考[J]
.四川兵工学报,2009,30(6):141-142.
被引量:1
6
魏仁选,周祖德,姜德生.
软件重用与移植的比较研究[J]
.计算机工程与应用,2002,38(21):42-45.
被引量:11
7
邹惠,王建东.
多重签名技术在软件确认系统中的应用[J]
.计算机与数字工程,2008,36(2):83-84.
8
赵瑞曼,潘冠华,方建勇,王蕾.
考虑时变学习效应的软件可靠性模型[J]
.计算机技术与发展,2015,25(6):39-43.
9
郭晓慧,石柱.
测试发射控制软件确认测试环境的实现[J]
.航天控制,2004,22(2):64-67.
被引量:3
10
胡渝彪.
运载火箭软件检测的回顾与展望[J]
.军民两用技术与产品,2003(10):22-23.
质量与可靠性
2000年 第1期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部