论文部分内容阅读
文章对基于有向图的程序复杂度进行了初步的研究,分析了影响程序执行路径数的各个影响因子,特别地,引入了相关指标的概念,从程序语义角度对复杂度做进一步的分析,并且对不同的程序复杂度下选择软件测试路径的策略进行了探讨.该研究对实际的软件测试具有一定的现实意义.
基于有向图的程序复杂度分析及其对软件测试策略的影响
【摘 要】
：
文章对基于有向图的程序复杂度进行了初步的研究,分析了影响程序执行路径数的各个影响因子,特别地,引入了相关指标的概念,从程序语义角度对复杂度做进一步的分析,并且对不同
【机 构】
：
南京大学计算机软件新技术国家重点实验室
【出 处】
：
计算机工程与应用
【发表日期】
：
2004年期
其他文献
就“医学信息检索模拟实习”课件制作过程中涉及的关键技术与实现方法,包括课件的系统结构、课件页面的组织和人机交互界面的构建等问题进行探讨。
This paper discusses th
用扫描电镜 (SEM )背散射成像技术对金属型铸造树枝晶SiCp/ZA2 7复合材料部分重熔过程中的组织变化进行了观察。结果表明 :在 460℃加热过程中 ,因晶界共晶组织向初生晶的扩
以聚氨酯制品为例,介绍了制品快速加工的实验过程,并对制品的尺寸精度、加工时间和加工成本等进行了分析.基本步骤为:首先使用立体光固化快速成型设备制造制品的原型,再以原
目的 探讨耐亚胺培南鲍曼不动杆菌(IRAB)的临床分布及其耐药性,为临床治疗该菌感染提供依据.方法 回顾性分析我院2009～2011年分离的165株IRAB的临床分布及其耐药情况.结果 ①
InternetGIS的主要功能除了GIS基本功能外,就是能够在服务器端进行图形的发布,既能发布栅格图像,也能发布矢量的图形,但发布数据是已处理好的数据。笔者在应用InternetGIS建立水灾分析与决策支持系统时,碰到了需要动态地发布随机图形的问题,通过分析InternetGIS实现途径和ASP技术的特点,很好地解决了这个问题。
目的 观察并探讨西酞普兰与利培酮联用治疗难治性抑郁症临床效果及安全性.方法 选取我院2008年5月至2010年7月收治难治性抑郁症患者205例,随机分为两组,其中对照组103例,采用
在计算机网络中高效实现具有延迟约束的Multicast功能,是计算机网络应该提供的一种基本功能,是保证视频会议系统、多媒体教学系统、视频点播系统(VOD)等应用得以实现的基础.
目的评价在外科重症室治疗中采用的的疗效。方法收集70例治疗病例,统计有关数据,得出无创正压通气的作用机制。结果 70例患者症状明显改善。结论无创正压通气这种方法在治疗
该文研究了基于Kalman滤波理论的渐消记忆递归最小二乘法,探讨了渐消记忆递归最小二乘法在重建图像背景中的应用,并用于实现在复杂背景下视频图像动目标的检测。首先用该算法对复杂背景进行更新预测,然后用当前帧图像与预测背景差分提取动目标,最后用灰度投影算法计算出目标的质心。整个目标检测方法简单、有效,便于用硬件快速实现。文中给出了实验结果。