首页> 中文会议>第六届国际可靠性、维修性、安全性会议 >软件可靠性测试充分性

软件可靠性测试充分性

页面导航

摘要
著录项
相似文献
相关主题

摘要

在阐述了软件测试充分性的定义和软件测试充分性准则的定义、分类、作用的基础上,形式化分析了软件正确性测试充分性和软件可靠性测试充分性的目的和实质,重点研究了软件可靠性测试的充分性,将软件可靠性测试充分性准则分为软件可靠性增长测试充分性准则和软件可靠性验证测试充分性准则,给出将测试充分性准则用于可靠性测试流程的模型.

著录项

来源
《第六届国际可靠性、维修性、安全性会议》|2004年|318-324|共7页
会议地点西安
作者
李秋英; 阮镰; 刘斌;
展开▼
作者单位

中国兵工学会;

中国航空学会;

中国机械工程学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类 TP311.52;
关键词
软件测试; 软件质量; 充分性准则;

相似文献

中文文献
外文文献
专利

1. Markov模型的软件可靠性测试充分性问题的研究 [J] . 雷航 ,马成功 . 电子科技大学学报 . 2010,第001期
2. 软件可靠性测试充分性的多准则判定及应用 [J] . 刘剑豪 ,刘晓明 ,黄松 . 华中科技大学学报：自然科学版 . 2007,第9期
3. 软件可靠性测试充分性工程技术研究 [J] . 张飞云 ,彭小晖 ,李长福 . 质量与可靠性 . 2003,第005期
4. 软件可靠性测试充分性研究 [J] . 李秋英 ,阮镰 ,刘斌 . 测控技术 . 2003,第011期
5. 软件可靠性测试充分性问题的理论研究 [J] . 李秋英 ,陆民燕 ,阮镰 . 北京航空航天大学学报 . 2003,第004期
6. 软件可靠性测试充分性准则的公理系统研究 [C] . 李秋英 . 第7届国际可靠性、维修性、安全性学术会议(The Seventh International Conference on Reliability,Maintainability and Safety) . 2007
7. 函数芽截断的相对S-C充分性和相对S-V充分性 [A] . 金明浩 . 2006

软件可靠性测试充分性

摘要

著录项

相似文献

相关主题

期刊订阅