首页> 中文期刊> 《中国科学技术大学学报》 >基于反馈的可信网络软件验证与测试集成框架研究

基于反馈的可信网络软件验证与测试集成框架研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

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

摘要

形式化方法被认为是高可信软件工程必不可少的工具,但是软件测试依然是提高软件质量最有效的方法.为此基于TTCN-3的测试集成环境,提出一种基于反馈的框架,可扩展地集成形式化规约和形式化证明方法,并把形式化方法和测试工程有效地结合起来,提高了测试的充分性和必要性.

著录项

来源
《中国科学技术大学学报》 |2010年第2期|197-202|共6页
作者
蒋凡; 邢学智; 章磊;
展开▼
作者单位

中国科学技术大学计算机科学技术系,安徽合肥,230027;

中国科学技术大学计算机科学技术系,安徽合肥,230027;

中国科学技术大学计算机科学技术系,安徽合肥,230027;

展开▼
原文格式 PDF
正文语种 chi
中图分类总体设计、系统设计;
关键词
高可信软件; 模型驱动测试; 符号执行; 约束求解; UML; TTCN-3;

相似文献

中文文献
外文文献
专利

1. 中国电子技术标准化研究所与惠瑞捷半导体科技合作测试验证高端集成电路“CESI-Verigy集成电路测试验证实验室”在北京正式成立 [J] . . 电子测量与仪器学报 . 2007,第4期
2. 基于改进Petri网的可信软件模型验证和测试研究 [J] . 李震 ,刘斌 ,殷永峰 . 计算机研究与发展 . 2010,第S1期
3. 移动通信网络软件开发中的集成和测试流程的研究 [J] . 王艳 ,马凡 ,李文琦 . 电讯工程 . 2020,第001期
4. 移动通信网络软件开发中的集成和测试流程的研究 [J] . 李兵 ,王吉富 ,屈亚运 . 信息通信 . 2019,第001期
5. X射线衍射残余应力测试仪测试结果可信度验证 [J] . 江东平 . 建材与装饰 . 2019,第009期
6. 基于改进Petri网的可信软件模型验证和测试研究 [C] . 李震 ,刘斌 ,殷永峰 . 第六届中国测试学术会议 . 2010
7. 移动通信网络软件开发中的集成和测试流程的研究 [A] . 卓月 . 2003

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号