首页> 中文会议>中国科学院计算技术研究所第七届计算机科学与技术研究生学术讨论会 >一个静态测试工具的规约语言的实现

一个静态测试工具的规约语言的实现

页面导航

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

摘要

本文阐述了一个静态软件测试工具中使用的规约语言的设计和相应翻译工具的实现.该规约语言以一阶逻辑和集合论为基础,提供了集合、包等抽象的数学概念,能够用于描述程序的前置断言和后置断言.实现的工具能够将该形式规约翻译为一个静态测试工具所能接受的布尔表达式形式的输入.

著录项

来源
《中国科学院计算技术研究所第七届计算机科学与技术研究生学术讨论会》|2002年|221-226|共6页
会议地点四川广元
作者
杨宇; 张健;
展开▼
作者单位

中国计算机学会;

中国科学院计算技术研究所;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类 TP371;
关键词
形式规约; 静态测试;

相似文献

中文文献
外文文献
专利

1. 一种用于静态分析的规约语言设计与实现 [J] . 石佳钦 . 现代计算机（专业版） . 2008,第012期
2. SDT:一个面向场景规约的运行时测试工具 [J] . 雷斌 ,王林章 ,李宣东 . 计算机科学 . 2006,第001期
3. 国家电网以太网103规约测试工具的设计与实现 [J] . 姬希娜 ,浮明军 ,杨生苹 . 测控技术 . 2016,第012期
4. 一个支持规约获取的形式规约语言 [J] . 陈海明 ,董韫美 . 计算机学报 . 2002,第005期
5. 一个面向网络并行环境的需求规约语言 [J] . 李彤 ,柳青 ,孔兵 . 计算机工程 . 2000,第001期
6. TPCHSuite:一个TPC-H自动化测试工具的设计与实现 [C] . Kang Qiangqiang ,康强强 ,Jiang Zhou . 第30届中国数据库学术会议 . 2013
7. 一个基于JMeter的Email测试工具的设计与实现 [A] . 刘小芬 . 2013

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号