论文部分内容阅读
文章提出了一个基于公理系统的面向对象自动测试框架.该框架首先从XML文件中提取被测类的代数规格说明和公理描述,然后使用‘term rewriting'技术生成‘消息对'形式的测试用例,最后使用velocity模板引擎使测试用例可以在Junit单元测试工具上自动执行和验证.
基于公理系统的面向对象自动测试研究
【摘 要】
：
文章提出了一个基于公理系统的面向对象自动测试框架.该框架首先从XML文件中提取被测类的代数规格说明和公理描述,然后使用‘term rewriting'技术生成‘消息对'形式
【机 构】
：
西安交通大学电子与信息工程学院,西安交通大学软件学院
【出 处】
：
微电子学与计算机
【发表日期】
：
2005年7期
【基金项目】
：
国家高技术研究发展计划(863计划)
其他文献
“你可以不知道北京各个区域的移动营业厅具体网点在哪里，但你至少要知道如何使用互联网、手机来办理业务”。2009年，在中国移动北京公司所提供的服务中，超过90％的业务可通过电子
SAN存储备份的高可用性要求在进行文件系统备份时不能停止文件系统访问服务,那么SAN存储下的文件系统备份软件就需要解决基本备份操作与文件系统数据访问之间的同步控制和联
目的观察葡萄糖耐量因子（GTF）葛根功能牛奶对葡萄糖耐量减低（IGT）小鼠的干预作用,以及对骨骼肌葡萄糖转运蛋白-4（GLUT-4）基因表达的影响。方法采用D-半乳糖腹腔注射法诱导的IGT小鼠
本文对入侵容忍的模型和TTCB结构进行了分析,在MAFTIA节点基础上,增加了一个事件处理引擎的核心模块,使得节点在参与者层与站点层支持自由选择安全群组通信系统中的密钥协商
本文首先介绍了HTTP邮件系统的基本原理和关键技术,然后针对其不提供POP3网关的问题,提出并实现了一种HTTP邮件网关.该网关实现了SMTP/POP3协议到HTTP协议的相互转换,使普通
针对FPGA和ASIC在实现密码算法时的不足之处,本文介绍了一种面向密码算法的异步可重构结构.该结构的运算功能由一个可重构单元阵列提供,数据通路由可重构单元之间的相互连接
目的观察活血消癥颗粒对实验性子宫肌瘤大鼠子宫肌瘤增生、性激素水平及雌激素受体表达的影响。方法将60只Wistar大鼠随机分为正常对照组、模型组、活血消癥颗粒高、中、低剂
文章研究了车牌识别系统中的字符分割和识别技术。提出一种投影法粗分割结合先验知识后处理的字符分割方法,该方法简单、容易实现,取得了很好的分割效果。对于字符识别,本文采用SVM(SupportVectorMa鄄chine)方法,并根据车牌字符特征将子分类器分为四组,提高了识别率、缩短了训练时间,实验表明,用该方法识别车牌字符具有较高的识别率和识别速度,并避免了神经网络局部极值等问题。
在科学与工程计算领域,各种科学计算库及其工具软件扮演着十分重要的角色.在科学计算网格中,通过引入软件代理可以更好地利用这些计算库和工具软件库.本文通过对网络化科学计