基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
分析了测试性验证的通用程序,总结了确定方案和参数评估的8种计算方法,在此基础上设计并实现了测试性验证辅助软件.阐述了软件中确定方案和参数评估的详细算法,给出了软件的部分功能界面.软件计算结果与相关标准和文献提供的数据一致,验证了软件算法的正确性.
推荐文章
一种测试性验证数据评估软件的设计研究
测试性验证
数据评估
抽样技术
GUI软件测试文档辅助工具的设计与实现
AutoDoc
图形用户界面
测试文档
录制
基于即时验证的软件验证工具改进设计与实现
嵌入式软件设计
UML交互概观图模型
接口自动机
即时验证算法
形式化验证工具
某辅助领航系统软件测试平台设计与实现
软件测试
嵌入式软件
仿真测试平台
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 测试性验证辅助软件(TVAS)设计与实现
来源期刊 测控技术 学科 工学
关键词 测试性验证 故障检测率 故障隔离率 虚警率 样本量 二项分布
年,卷(期) 2007,(7) 所属期刊栏目 软件纵横
研究方向 页码范围 58-61
页数 4页 分类号 TP302.8
字数 2121字 语种 中文
DOI 10.3969/j.issn.1000-8829.2007.07.022
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 石君友 北京航空航天大学工程系统工程系 21 295 10.0 17.0
2 李郑 北京航空航天大学工程系统工程系 4 43 3.0 4.0
3 田仲 北京航空航天大学工程系统工程系 9 155 6.0 9.0
4 刘骝 北京航空航天大学工程系统工程系 2 26 2.0 2.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (5)
共引文献  (23)
参考文献  (3)
节点文献
引证文献  (4)
同被引文献  (10)
二级引证文献  (39)
1990(2)
  • 参考文献(0)
  • 二级参考文献(2)
1994(1)
  • 参考文献(0)
  • 二级参考文献(1)
1995(1)
  • 参考文献(0)
  • 二级参考文献(1)
1998(1)
  • 参考文献(0)
  • 二级参考文献(1)
2000(1)
  • 参考文献(1)
  • 二级参考文献(0)
2005(1)
  • 参考文献(1)
  • 二级参考文献(0)
2006(1)
  • 参考文献(1)
  • 二级参考文献(0)
2007(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2011(1)
  • 引证文献(1)
  • 二级引证文献(0)
2012(1)
  • 引证文献(1)
  • 二级引证文献(0)
2013(1)
  • 引证文献(1)
  • 二级引证文献(0)
2014(11)
  • 引证文献(1)
  • 二级引证文献(10)
2015(7)
  • 引证文献(0)
  • 二级引证文献(7)
2016(6)
  • 引证文献(0)
  • 二级引证文献(6)
2017(5)
  • 引证文献(0)
  • 二级引证文献(5)
2018(7)
  • 引证文献(0)
  • 二级引证文献(7)
2019(4)
  • 引证文献(0)
  • 二级引证文献(4)
研究主题发展历程
节点文献
测试性验证
故障检测率
故障隔离率
虚警率
样本量
二项分布
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
测控技术
月刊
1000-8829
11-1764/TB
大16开
北京2351信箱《测控技术》杂志社
82-533
1980
chi
出版文献量(篇)
8430
总下载数(次)
24
总被引数(次)
55628
论文1v1指导