论文部分内容阅读
介绍了程序切片技术的基本概念,提出了一种基于前向分析的动态程序切片算法,探讨了程序切片在软件测试数据生成中的应用,结果表明可以有效地提高基于路径的测试数据生成效率。
一种用于测试数据生成的动态程序切片算法
【摘 要】
：
介绍了程序切片技术的基本概念,提出了一种基于前向分析的动态程序切片算法,探讨了程序切片在软件测试数据生成中的应用,结果表明可以有效地提高基于路径的测试数据生成效率。
【机 构】
：
北京化工大学,中国科学院
【出 处】
：
计算机应用
【发表日期】
：
2005年06期
【基金项目】
：
国家自然科学基金，教育部科学技术基金
其他文献
在用MAS技术研制联合战役决心方案自动生成系统时,多Agent间的协作是一个必须 解决的问题。通过分析该系统中Agent间协作的时机、特点,以及体系能力的量化和作战效能的计 算,提出了基于综合作战效能和任务难度的定性定量相结合的多Agent协作方法,建立了合作模型, 对解决战役自动决策问题起到了积极作用。
病例1：患者男，50岁，主因右肢无力4年，发作性抽搐2年，加重4h入院，入院诊断为症状性癫痫（全面强直一阵挛发作）、脑室腹腔分流术后、肺部感染。给予甘油果糖、甘露醇减轻脑水肿，丙戊酸钠
采用基于转换的方法进行汉英机器翻译 ,在机器翻译的每个阶段 (汉语切分、词性标注、句法语义分析、树转换、词串生成 )采用规则方法和统计方法相结合来进行消歧。实验结果表明 :两种方法结合提高了机器翻译的正确率
发展群众体育是新时期我国体育工作的重点,其核心是"提高人民体质".本文从我国群众体育的需要、发展趋势以及不利因素入手,对未来群众体育发展中必须要面对和解决的问题进行
任何可导致人体深部组织感染的真菌均可导致中枢神经系统感染,如隐球菌、念珠菌、曲霉菌、毛霉菌、奴卡菌、巴西芽生菌等,均可由呼吸道直接进入或由血行扩散,进人脑、脑膜及
我于1986年底,拍摄了戏曲电视剧《秋风辞》,进行了一次尝试。经过这次实践和探索,得到一点粗浅的认识和体会。把它写出来,我想对有感于拍摄此类样式的电视片的编导,将有点参
由于视频数据存储的分布性、视频数据处理节点的动态性和视频数据的异构性使得传统的基于Web的视频内容管理难以实现,针对这些问题,提出了一个基于信息网格的视频内容管理模型———ViConG,分析了它的逻辑节点的拓扑结构,并设计了基于OGSA的网格体系结构,指出下一步的研究工作。
目的了解加替沙星和左氧氟沙星在北京地区使用情况和不良反应发生情况。方法普查。结果北京地区二级以上医疗机构广泛使用左氧氟沙星．约2／3医疗机构使用加替沙星：二者引起的不良
炎性关节病是各种非化脓性炎症性关节炎的总称,常见的有类风湿关节炎(RA)、强直性脊柱炎(AS)、反应性关节炎、银屑病关节炎、炎性肠病性关节炎等,其中后几种疾病属于脊柱关节