首页> 中文期刊> 《内蒙古大学学报：自然科学版》 >软件形式验证与测试集成方法研究综述

软件形式验证与测试集成方法研究综述

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

形式化方法是具有严格数学基础的软件开发方法,将其应用到软件开发过程中可以有效提高软件质量,以形式模型为基础的形式验证和一致性测试是形式化方法中的关键技术.简介了形式验证与一致性测试技术的研究现状,重点阐述两者集成方法的研究意义和国内外研究现状,并指出进一步研究方向.

著录项

来源
《内蒙古大学学报：自然科学版》 |2009年第4期|486-492|共7页
作者
叶新铭;
展开▼
作者单位

内蒙古大学计算机学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP311.52;
关键词
模型检验; 一致性测试; 集成方法;

相似文献

中文文献
外文文献
专利

1. 非形式化合约描述的构件化软件集成测试方法研究 [J] . 张留美 ,潘少伟 . 计算机与信息技术 . 2010,第010期
2. 软件可靠性验证测试研究方法综述 [J] . 马振宇12 ,张威2 ,吴纬3 . 兵器装备工程学报 . 2019,第007期
3. 软件可靠性验证测试研究方法综述 [J] . 马振宇 ,张威 ,吴纬 . 四川兵工学报 . 2019,第007期
4. "CESI-Verigy集成电路测试验证实验室"在北京正式成立中国电子技术标准化研究所与惠瑞捷半导体科技合作测试验证高端集成电路/德州仪器以最新IP电话平台进一步扩展VoIP产品系列 [J] . . 电子技术应用 . 2007,第008期
5. 中国电子技术标准化研究所与惠瑞捷半导体科技合作测试验证高端集成电路“CESI-Verigy集成电路测试验证实验室”在北京正式成立 [J] . . 电子测量与仪器学报 . 2007,第4期
6. 基于形式化方法的PLC程序设计与验证研究综述 [C] . 齐鹏飞 ,罗继亮 ,陈雪琨 . 第23届过程控制会议 . 2012
7. 基于集成测试技术的SOFL形式化规格说明验证 [A] . 楼钢 . 2006

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号