论文部分内容阅读
程序切片是一种程序分析和理解技术，在软件测试中使用程序切片技术可根据程序的不同切片来缩小软件的测试范围、提高软件测试的效率。同时由于程序切片考虑了程序存在的各种依赖关系，使得测试的准确性得到提高。本文介绍了目前的切片技术，探讨了程序切片技术在软件测试中的应用。
软件测试中的程序切片技术
【摘 要】
：
程序切片是一种程序分析和理解技术，在软件测试中使用程序切片技术可根据程序的不同切片来缩小软件的测试范围、提高软件测试的效率。同时由于程序切片考虑了程序存在的各种依
【机 构】
：
中国电子科技集团公司第二十研究所
【出 处】
：
现代导航
【发表日期】
：
2012年3期
其他文献
1．成立专家小组。西部大开发是一项宏大的工程，既要有科学的规划，又要引进实用的高新技术，还要有各类人才的努力工作，同时要千方百计提高西部广大人民群众的文化和科学水平。因此
本论文论述了一种能够按需分配时隙资源的时隙资源再分配（TSR）算法，主要用于美国的联合战术信息分发系统（JTIDS）或北约的多功能信息分发系统（MIDS）等数据链系统。本算法能够很好的适
目的分析在医疗设备维修管理中应用PDCA方法的实际效果。方法选择浙江省温州市永嘉县人民医院2017年1月至2019年12月的125台医疗设备作为研究对象,2018年开始应用PDCA方法对
世界银行最新年度报告指出,全球化和地方化是21世纪的两股发展潮流,如何驾驭这两股力量决定着各国的兴衰。报告指出,全球化能给发展中市场提供契机,有助于传播技术和管理方式
正确认识和切实推动人民代表大会制度与时俱进，需要把握正确的时代维度，顺应时代步伐，在“进”的路径选择上有更加全面的时代坐标和参数；审时度势，抓住时代脉搏，反映时代特色，依托时
本系统的建立采用基于WinPcap的网络编程技术，使用WinPcap在C#下的封装类SharpPcap，采用C#语言来设计和开发。
人类信息技术的发展秉承＂以时间消灭空间＂的信条不断推进,人类愈发突破着时间和空间的束缚。随着媒介技术的革新与发展,我国已快速进入移动互联网时代,当代大学生的生活更是离
高中美术鉴赏教学在具体展开中,其主要目的就是为了保证学生们的各方面能力、综合素质有所提升,有利于满足新时期背景下素质教育提出的基本要求。本文针对美术鉴赏教学中对可
锁相环频率合成器在现代电子通信系统中有着广泛的应用。本文主要介绍了锁相环频率合成器的发展历程，各阶段的工作原理，并描述了一个锁相环频率合成器的应用实例。