版权说明 操作指南
首页 > 成果 > 详情

蜕变测试技术在核电软件中的应用探讨——以运行瞬态分析软件PANTO为例

认领
导出
下载 Link by 中国知网学术期刊 Link by 万方学术期刊
反馈
分享
QQ微信 微博
成果类型:
期刊论文
作者:
范超
作者机构:
南华大学计算机科学与技术学院,湖南衡阳,421001
[范超] 南华大学
语种:
中文
关键词:
蜕变测试;核电自主化;应用探讨
关键词(英文):
PANTO
期刊:
电脑知识与技术
ISSN:
1009-3044
年:
2017
卷:
13
期:
35
页码:
253-254
机构署名:
本校为第一机构
院系归属:
计算机科学与技术学院
摘要:
蜕变测试技术能够通过检测输入输出数据之间满足的关系来验证程序的正确性,能有效解决复杂计算软件输出数据无法构造的问题,即Oracle问题.目前我国在核电软件自主化进程中,验证测试阶段遇到的Oracle问题还在探索阶段.该文介绍当前核电软件的测试流程,并结合在核电软件测试中的工作经验,对蜕变测试(MT)技术在核电软件PANTO(运行瞬态分析软件)测试中的应用作进一步探讨,为我国核电软件自主化的测试工作提供借鉴和参考.

反馈

验证码:
看不清楚,换一个
确定
取消

成果认领

标题:
用户 作者 通讯作者
请选择
请选择
确定
取消

提示

该栏目需要登录且有访问权限才可以访问

如果您有访问权限,请直接 登录访问

如果您没有访问权限,请联系管理员申请开通

管理员联系邮箱:yun@hnwdkj.com