论文部分内容阅读
在分析基路径覆盖测试技术及相关最新研究成果基础上，以被测程序及其程序图为依据，通过对变量依赖、非关联路径等的定义，推导出有效路径数量公式VE，进而提出了一种解决无效路径问题的算法模型．通过对算法模型的理论推导和验证，证明该算法模型是有效的．
基路径与业务逻辑结合的有效测试路径集算法
【摘 要】
：
在分析基路径覆盖测试技术及相关最新研究成果基础上，以被测程序及其程序图为依据，通过对变量依赖、非关联路径等的定义，推导出有效路径数量公式VE，进而提出了一种解决无效路径问
【机 构】
：
同济大学软件学院
【出 处】
：
同济大学学报：自然科学版
【发表日期】
：
2013年1期
【基金项目】
：
国家自然科学基金（41171303）
其他文献
创新是设计区别于其它行业的重要特征之一,然而创意随着物质的不断丰富却显得愈加匮乏。本文就目前中国工业设计在高校的培养和在企业中的现状进行分析,从而探析出新形势下创
【摘要】随着电梯业主安全意识的提升，人们慢慢地意识到电梯的维保质量比电梯品牌更为重要。电梯维保市场的恶性竞争与维保人员的短缺，都严重地影响着电梯的维保质量。这就需要一套自动化监控系统实时地监控电梯的运行情况及维保情况，并能直观的反映给用户，同时依据这些数据对维保质量做出科学地评价。 【关键词】监控；维保评价；互联网 一、背景 《中华人民共和国特种设备安全法》已于2013年6月29日通过，由习
近年来分布式得到了空前的发展，比如集群计算，移动计算，以及现在的网格计算，他们实质上都是分布式计算的发展。在实质应用中，人们要求具有高性能，高可靠，高可扩展的文件系统满足当今诸如生物计算，天气预报和流媒体等高吞吐率的应用。从现在的分布式文件系统，并行文件系统，集群文件系统来看，大部分采用的是同构特性。由于不同资源的文件系统是不同的，在网格环境下网格资源的共享就受到平台的限制，如单节点的文件系统与集
在我国电力通信行业快速发展的同时，开始重视通信网络资源管理的精确性，所以，确保资源信息准确，并积极构建电力通信网的资源管理系统已经成为目前通信管理工作的重点。 一、传统资源管理系统应用在专网中的问题 众所周知，现代通信的明显特点就是准确、安全而且具有时效性。而在电力行业中，其生产业务对于通信的安全与实时性的要求比较高，并且通信服务的准确程度也十分重要。因此，积极建设资源管理系统的主要目的就是加
【摘要】随着我国居民生活水平的提高，人们对城市居住环境的要求也提出了高要求，在这样的形势下，城市建设就成为了社会各界所关注的话题，而城市建设环节中园林绿化就是主要的内容，也就是说城市园林绿化建设和管理的水平高低直接影响着城市发展的速度，对此，怎样提高城市园林绿化管理水平就是我们目前首要完成的任务。 【关键词】园林绿化；管理水平 随着城市建设步伐的不断加快，园林事业在得到前所未有的发展机遇的同时
【正】 几年来,北京中专教育大量进行了学校内部的改革,但整个中专教育的体制改革,基本上没有什么进展。由于中专应当属于那个层次的问题没有解决好,某些政策不合理,一些中专
期刊
【摘要】涡轮增压技术能够有效改善发动机的动力特性和燃油经济性，在国内外得到了非常广泛的应用。本文主要介绍了涡轮增加技术的原理和优势，给出了发动机功率大小的影响因素，对采用涡轮增压技术后各个参数的变化情况进行了介绍，得到了增压后发动机功率变化的趋势，并且通过实验验证了发动机功率大小的变化情况。 【关键词】涡轮增压；发动机；功率大小 涡轮增压技术是目前常用的一种提高发动机功率的措施，能够起到提高发
【正】 建设社会主义精神文明的一个重要环节,就是在各个行业大力加强社会主义职业道德教育。现在一提职业道德,人们注意最多、议论最多的往往是服务行业的职业道德,象进商店
期刊