论文部分内容阅读
路径测试法是软件测试的一种基本方法。将C程序按照控制结构进行分类,结合路径测试特点进行插装,在设置探针的同时提取函数静态信息,算法采用先获取局部路径,再进一步获取全局路径的方法。实验结果表明,基于插装的路径获取技术,具有较高的准确率和效率,尤其适用于基于函数的路径提取。
面向C程序插装的路径提取
【摘 要】
：
路径测试法是软件测试的一种基本方法。将C程序按照控制结构进行分类,结合路径测试特点进行插装,在设置探针的同时提取函数静态信息,算法采用先获取局部路径,再进一步获取全
【机 构】
：
北京信息科技大学计算机开放系统实验室
【出 处】
：
计算机工程与应用
【发表日期】
：
2011年1期
【基金项目】
：
计算机应用技术学位点建设（No.5028223400）, 北京市教委科技计划资助项目（No.KM201010772014）
其他文献
在高中数学的课堂教学中促进学生参与课堂教学，能让教师及时地掌握学生的学习动态，从而更好地对学生进行“查漏补缺”，学生也能更好地了解教师的教学意图，更好地掌握课堂教学内容
数学是高中最重要的学科之一，既承载了初中的数学基础，同时也为进人大学学习高等数学进行铺垫．所以高中数学的学习起到了“承上启下”的作用，对学生的影响极大．但由于高中数学学习
与由特殊到一般的归纳推理相比较，类比推理则是由特殊到特殊的推理．利用类比推理可以推测未知，发现新结论，寻找解决某些问题的思路和方法．下面结合例题介绍类比推理问题的常见类型
翻译是一种跨文化交际活动，受到诸如文化、心理等多种因素的影响。本文从认知的角度，运用Sperber & Wilson的关联理论来解构翻译活动，得出如下结论：翻译要依据交际者的意图和期待
2．4米长的车身，外观像一辆四轮沙滩摩托车，四轮驱动可以爬上45度角的楼梯，携带100升泡沫混合液罐和80米长的消防水带……日前，四辆刚刚配备给首都消防的全地形消防摩托“北极猫”，
福建省改革开放以来在企业改革方面取得了明显的工作成效，但企业改革中存在的问题不容忽视，特别是在企业体制改革和亏损企业职工再就业方面存在的问题必须引起高度重视。
针对传感器网络能源有限的特性,提出了一种基于数据聚合的拓扑发现算法。根据在聚合节点（sink）收集到网络内部节点报文接收或丢失的情况,通过发现网络中所有叶子节点到sink节点
师生通过一系列课堂教学目标的达成而最终实现课程目标是落实新课程理念的重要途径,教学目标对于课堂教学起着指导性作用.教师的教学首先要有明确的教学目标,以完成教学目标
提出视频中周期性运动物体两种特征。第一种是通过傅里叶变换得到视频中周期性运动的频率。第二种是采用了一种基于行走模版的相似性度量作为人体运动的特征。通过支持向量机对六种行为特征进行分类实验检测,结果表明上述特征能够充分地表示视频中的行为,得到了较高的分类效果,而且该方法、简单快速。