论文部分内容阅读
对于复杂的大型软件,程序中不可达路径存在会浪费软件测试的资源也影响了测试的准确性。通过对程序基本路径集中不可达路径存在的问题进行了研究,提出基于条件语句之间具有的相关性检测不可达路径的方法,通过考察这些条件语句之间的相关性,可以检测不可达路径,生成程序的可达路径集。
程序不可达路径的检测方法姚婷
【摘 要】
：
对于复杂的大型软件,程序中不可达路径存在会浪费软件测试的资源也影响了测试的准确性。通过对程序基本路径集中不可达路径存在的问题进行了研究,提出基于条件语句之间具有的相关性检测不可达路径的方法,通过考察这些条件语句之间的相关性,可以检测不可达路径,生成程序的可达路径集。
【机 构】
：
南华大学计算机学院
【出 处】
：
电脑知识与技术
【发表日期】
：
2018年29期
其他文献
据中国人民大学人文社会科学学术成果评价研究中心、中国人民大学书报资料中心联合发布的2016年度“复印报刊资料”转载学术排名及《研究报告》：《观察与思考》杂志2016年度杂
包心鉴,山东省社会科学界联合会研究员。在山东社会科学院工作期间,先后担任院情报研究所国内室主任、院理论研究室主任。在山东省社会科学界联合会工作期间,先后担任秘书长
作为与社会主义存在相适应的指导思想,社会主义主流意识形态面临诸多挑战。新自由主义、历史虚无主义等思潮从不同角度试图消解社会主义主流意识形态,其实质就是否认马克思主
肇始于20世纪末浙江温岭的＂民主恳谈＂,是中国基层践行协商民主的重要尝试,被学术界称为协商民主的＂温岭模式＂。其出现在某种程度上回应了温岭基层民众的利益诉求,成功地开辟出了
摘要：“狐狸”APP主要针对目前90后的年轻消费者，他们极具个性，不拘于俗套，喜欢与众不同，而对于各品牌商家，他们希望能及时了解市场需求，掌握客户心理，在满足不同客户需要同时，实现利益最大化。“狐狸”互动营销平台运用于手机安卓系统（Android），能同时满足双方个性需求，准确把控市场发展导向，最大限度减少资源浪费和资产损失。该文以项目背景、产品介绍、设计产生、遇到的问题以及解决办法为主要内容，配
摘要；通过分析数据库存储过程的特点，作者提出了基于蚁群算法的分布式数据库存储模型。此模型根据应用中心的海量数据的分布特性，以蚁群算法原理为基础，在充分考虑负载均衡的前提下，完成了基于蚁群算法的数据库存储模型的构建。同时，该文将存储容量均衡程度、吞吐量及响应延时作为评价指标。作者在Matlab仿真软件中进行数据库存储过程的仿真验证，进而对所设计的数据库存储模型进行性能验证。验证结果表明该文设计的基于
摘要：随着辽宁气象信息网络的不断发展，网络安全问题对气象业务和科研的影响越来越大。论文介绍了辽宁气象信息网络安全建设的基本方法和应用技术，为信息网络安全的建设与应用提供了一定的参考。 关键词：气象信息；网络安全；防护 中图分类号：TP393 文献标识码：A 文章编号：1009-3044（2018）02-0036-02 辽宁气象信息网络采用业务网络与互联网物理隔离，业务网络采用双运营商MSTP
3月15日上午，《观察与思考》杂志社举行第二届学术指导委员会会议暨部分在杭委员座谈会。浙江省中国特色社会主义理论体系研究中心主任、《观察与思考》学术委员会主任胡坚，省
摘要：随着时间的推移，计算机软件技术的应用的普及率和实践不断提升，日常工作中办公自动化的实现程度越来越高。我国各类院校在快速发展的同时，为提高工作效率，完善现代化的管理模式，运用现代化的信息网络技术，对于中职学校网络教学工作提出了更高的要求。云计算的到来，为移动学习的研究提供了新的环境和思路，由于云计算的飞速发展，个人、学校和教育机构的数据以及资源逐渐部署到“云”端。基于Hybrid模式的移动应用
随着科学技术的快速发展进步,信息产业迅速崛起,打造了一个崭新的信息世界。在这种背景之下,数据和数据库管理系统的广泛应用成为时下热点,为各行各业带来了新的发展动力和活