【摘 要】
：
测试用例约简生成问题是软件测试过程中的关键问题之一，其目标是使用尽可能少的测试用例充分满足给定的测试目标，以提高测试效率、降低测试成本。提出一种基于谓词抽象的测
【机 构】
：
武汉大学 计算机学院，湖北 武汉 430072
【出 处】
：
第四届中国计算机网络与信息安全学术会议(CCNIS2011)
论文部分内容阅读
测试用例约简生成问题是软件测试过程中的关键问题之一，其目标是使用尽可能少的测试用例充分满足给定的测试目标，以提高测试效率、降低测试成本。提出一种基于谓词抽象的测试用例约简生成方法，该方法依据给定的谓词集合对软件系统的状态空间进行等价类划分，通过状态集合之间的映射得到约简的抽象状态，并以抽象状态之间的迁移关系作为测试用例约简生成的基础。实验结果表明，该方法可以有效地对系统状态进行约简，并生成规模较小的测试用例集。
其他文献
实施更大规模的减税降费政策,是党中央、国务院坚定不移贯彻新发展理念,立足当前,放眼长远,推动高质量发展而作出的重大决策部署;是应对下行压力、稳定和引导市场预期、保持
利用金相显微镜（OM）、X 射线衍射分析仪（XRD）等方法研究了不同含量Ca对ZA84 镁合金铸态组织与性能的影响。结果表明：适量Ca的添加能够细化合金的显微组织，且随着Ca 加入量的增
从江南粽子大王“五芳斋”到九江清蒸糕点鼻祖“梁义隆”，从传承千年文化的“西泠印社”到拥有百年品牌历史的“张小泉”，一批又一批的老字号品牌开始加入到电子商务的“淘宝”大军中。对于这些老字号来说，电子商务平台不仅仅是一个全新的渠道，还是一次不可多得的机会…… 老字号的转型现状 五芳斋网上卖粽子 2010年6月9日上午g点，五芳斋在淘宝商城的“秒杀”活动如期而至，原价168元的“礼仪万芳”
日前,由冶金工业经济发展研究中心组织开展了2020钢铁产融优秀企业和2020钢铁产融对标优秀个人的评选工作.经评审委员会组织评审专家对申报企业和个人进行评定,最后评选出8家
针对云存储系统中的数据完整性问题，提出了基于纠删编码和Merkle 树的数据存储方案，该方案在保证数据的完整性的同时，还能提供容错功能，并解决了故障结点的定位问题。根据错
随着社会的发展,生产力的进步,物质生活逐渐丰富,为了提高城市的经济,越来越多的工厂兴起,但是有一些工厂只注重生产效率而忽视生产过程中所产生的废气和废水,导致了环境被污
在信息化发展的进程中,科学技术的进步带动了网络的发展,当前4G移动通信系统成为主流的通信模式,和原有的信息模式对比,4G通信形式更为复杂,但是也提供了更多的便利.在操作中
为了提高量化索引调制(QIM)隐写算法的安全性，邓艺等提出了一种非均匀DCT的QIM(NDCT-QIM)隐写算法。目前还没有针对该隐写算法的有效分析方法。本文提出了一种针对该隐写
从接触羽绒粉尘作业工人的临床表现,X 线表现及机体免疫状态和遗传毒理学方面对羽尘的职业危害作了初步的探讨.结果表明,接尘工人主要出现了咳嗽(占20%)、咳痰(占16.7%)、气
云计算技术的发展，为当前的网络技术提供一种全局整合方案。在研究当前的云计算技术发展情况的基础上，提出云计算技术环境下分布式对象存储系统的安全机制。该安全机制是在