论文部分内容阅读
程序切片是一种软件调试、测试、理解和维护技术。通过寻找程序内部的相关性来分解程序，从而达到快速错误定位的目的。对程序切片的基本概念、分类、切片准则、切片算法和基于程序切片的软件测试等方面进行了初步探讨。提出了基于程序切片的软件测试的基本方法，并分析了程序切片技术的发展方向和面临的问题。
基于程序切片的软件测试技术初探
【摘 要】
：
程序切片是一种软件调试、测试、理解和维护技术。通过寻找程序内部的相关性来分解程序，从而达到快速错误定位的目的。对程序切片的基本概念、分类、切片准则、切片算法和基于
【机 构】
：
中国电子科技集团公司第54研究所
【出 处】
：
无线电工程
【发表日期】
：
2006年2期
其他文献
由国家发展改革委、商务部、工信部、科技部、教育部、中科院、中国工程院、中国贸促会和上海市政府共同主办的2011中国国际工业博览会于2011年11月1日至11月5日在上海新国际
李未是一位成功的职场人士。当以前的许多老同学还在为饭碗苦苦挣扎时，他已顺利地完成了由低级白领向高级白领的过渡。而最让人羡慕的是，这一切似乎从容淡定地就尽收囊中了。有
本文以高新技术企业为研究对象,首先构建了一个涵盖财务绩效、技术绩效和社会绩效三个层面的综合绩效评价指标体系。然后运用多元线性回归模型对2012-2017年的180家样本企业数据进行实证分析,从地区差异和产权性质两方面研究了政府补助、研发投入与企业绩效的关系。考虑到不同补助政策对研发投入和企业绩效的影响可能存在差异,本文通过财政补贴和税收优惠两项补助政策,分析比较两种补助途径对研发投入和企业绩效的作
我枕着水波久久注目天空。天并不是“空”，从来也不“空”。在最近的地方，我看到了密密的蜻蜓飞绕——这是我以前很少留意的。在稍远的高处，我看到了很多燕子在盘旋——这也是我
天然色素不仅能赋予食物鲜艳的色彩,而且对人体健康有益,比人工合成色素更受人们青睐,但天然色素水溶性差,对外界环境非常敏感,容易发生降解、变质,且生物利用度低,因此,用天然色素替代人工合成色素仍然是一项重要的挑战。本文针对天然色素存在的问题,首先开发了一种通用的微流控技术,成功将疏水性天然色素包裹到理化性质可控的紫胶纳米颗粒中,提高了天然色素在水中的分散性、稳定性和生物利用度,然后通过数值模拟与实验
陈阿土是台湾的农民，从来没有出过远门，攒了半辈子的钱，终于参加一个旅游团出了国。国外的一切都是非常新鲜的，关键是，陈阿土参加的是豪华团，一个人住一个标准间。这让他新奇不已。
小儿腹股沟、阴囊急症指小儿时期以腹股沟、阴囊急性疼痛和肿胀为主要临床表现的一组外科疾病，是小儿外科常见的急诊之一。需要临床快速准确的诊断，这对治疗方法的选择、疗效及
自2015年国务院召开常务会议确定“进一步减税降费措施、支持小微企业发展和创新创业”起,国家“减税降费”的步伐从未停止。2019年减税降费取得明显成效,好于预期,全年累计新增减税降费超过2万亿元,占GDP的比重超过2%。党的十九大报告提出,深化税收制度改革,健全地方税体系。这里蕴含了国家在深化税收制度改革的坚定决心,而“减税降费”是其核心内容之一。如何充分利用好国家“减税降费”重大利好政策,各行各