【摘 要】
：
基于代数规约的软件测试是软件黑盒测试研究的一个重要内容.本文对当前基于代数规约面向对象测试中测试用例的生成技术及相关工作进行了分析,在可观察分类扩展定义和良构规约
【机 构】
：
国防科技大学计算机学院,湖南,长沙,410073
【出 处】
：
中国科学院计算技术研究所第九届计算机科学与技术研究生学术讨论会
论文部分内容阅读
基于代数规约的软件测试是软件黑盒测试研究的一个重要内容.本文对当前基于代数规约面向对象测试中测试用例的生成技术及相关工作进行了分析,在可观察分类扩展定义和良构规约的基础上,提出了一个基于代数规约由公理的等价项基本对产生测试用例的方法.该方法适用于黑盒测试过程,保证了test oracle的有效性,同时使测试执行结果的评估工作得到了极大的简化.
其他文献
明末清初的钱谦益是一个反面范例。 他是当时著名的学者，博览群籍，著作等身，是明末公认的文坛领袖。此人读书不可谓不多，也是我国历史上有名的藏书家。他曾起造绛云楼，藏书达七十三大椟之多，亲编《绛云楼书目》，曾以一千二百两银子买一部宋版《汉书》。但他满腹诗书，却不明做人的道理。清兵南下时，他率领文班诸臣在南京迎接，结果当了清朝的礼部侍郎。野史记载，迎接清军前，爱妾柳如是劝他殉国，他走入池中，感到水彻骨
本文介绍了涉及到工作流的一些概念及一种灵活的工作流引擎jBpm,结合在电力安监系统中工作流技术的应用,对jBPM的流程实现方式进行了研究,总结了在jBpm中定义、部署、执行业
最近，看到吴晗同志在一九三三年读过的一本书：《碧血录》。那时候吴晗同志正在清华大学历史系读书，专心攻明史。年青的吴晗富有正义感，喜爱明史中象海瑞、于谦这样一些敢于同奸党斗争的杰出人物。对明朝后期的东林党人，他也很崇敬，认为东林党人是些“有骨气”的知识分子。但其时的吴晗是个穷学生，生活费靠“工读”来维持，根本没有多余的钱来买书。有一天，吴晗去游厂甸，偶然在旧书摊上看到一部《碧血录》，价钱很便宜，就买
从解决高性能计算机I/O瓶颈面临的问题着手,本文详细分析并设计了并行网络文件系统的结构、存储机制、管理机制和工作机制,为高性能文件系统的建立提供了一种行之有效的解决
面向服务的网格体系结构能实现对网格资源的规范化快速封装,并以服务的形式发布资源.网格资源需要保护,但是服务网格的动态性,异构性使得传统访问控制方法面临很严峻的挑战.
分布式死锁检测和恢复是一个成功的分布式数据库的重要组成部分之一.本文首先介绍了PostgreSQL自身的死锁检测和恢复的特点,然后针对基于PostgreSQL的并行分布式数据库环境,
随着各种攻击手段的增多,基于口令的密码系统已经不能满足用户对安全性越来越高的要求.生物技术的不断成熟,使得以前只用于高安全需求的基于生物技术的身份认证系统可以应用
随着Internet和Intranet的飞速发展和广泛应用,IP网络服务质量(IP Qos)技术显得尤为必要,其为特定的业务流赋予不同的优先级使其在网络中能够获得区别对待.本论文描述了由IET
粒子群优化算法是一类基于群体智能的启发式全局优化技术,群体中的每一个微粒代表待解决问题的一个候选解,算法通过粒子间信息素的交互作用发现复杂搜索空间中的最优区域.本
随着计算机网络的发展,信息安全要求的日益提高,公钥密码算法体现出了秘密密码算法不可替代的优越性.本文详细介绍了公钥密码体制常用的算法及其所支持的服务,并就公钥密码新