【摘 要】
：
程序结构测试可以分为４个阶段：静态分析、路径选择、测试数据生成和动态分析。本文应用区间算术在测试数据生成阶段对约束集求解。由于正则约束式的引入，能够处理复杂的逻辑表达
【基金项目】
：
国家自然科学基金,国家863高科技项目基金
论文部分内容阅读
程序结构测试可以分为４个阶段：静态分析、路径选择、测试数据生成和动态分析。本文应用区间算术在测试数据生成阶段对约束集求解。由于正则约束式的引入，能够处理复杂的逻辑表达式组，找到一组解以供第４阶段动态分析使用。文中提出的算法具有非常大的灵活性，可以处理非线性约束，经改进后，它甚至可以处理包含函数的表达式。
其他文献
胃溃疡的发生部位，以胃角、胃窦最多见，但随着胃镜的普及和检查技术的不断提高，胃体溃疡的发现率呈逐年增多趋势，有作者统计一组胃溃疡患者，其中胃体溃疡占20．04%，说明胃体溃疡并非
数学知识源于生活，而最终服务于生活。在小学数学教学中，从生活实际出发，把教学内容与生活实际有机结合起来，联系生活实际讲数学，把生活经验数学化，把数学问题生活化，让枯燥的数学变
针对现阶段的职业高中学生来说，如何让其真正认识到学习计算机基础的重要意义，调动其学习的积极性，启发学生创造思维，并真正把计算机同工作、生活联系起来，解决实际问题，是教学的首
血栓性疾病是恶性肿瘤患者常见的并发症，为探讨恶性肿瘤患者并发血栓性疾病的诊断治疗对策，我们对我院收治的46例恶性肿瘤并发血栓性疾病患者进行回顾分析，报告如下。
随着终身教育和教师专业发展的提出，广大教师己逐步认识到教师的教育过程是一个长期的、终身化的过程，是一个不断补充、更新知识的过程，也是一个不断完善自我和重塑自我的过程。
高校图书馆中存在的图书被污损或被偷走等公德失范行为,是长期以来难以治愈的顽症。应充分认识解决这一问题的重要性,并通过构建和谐环境、积极开展公德教育活动、加强监督与
一、增加阅读量,积累写作素材阅读积累中学生喜欢课外读物,但往往只注意故事情节,常常一目十行,过后就忘。这对作文是没有多大帮助的。读书要读透要领会书中的精神,学到写作
由于中学思想政治课内容相对枯燥,所以,不少学生对这门课程的学习兴趣不大,热情不高。如何增强思想政治课的活力,提高思想政治课的教学实效,是摆在广大政治教师面前的一个十
一、文言文教学应重视朗读朗读是语言教学中一个不可缺少的环节。《说文》中指出：＂朗,明也＂、＂读,诵书也＂所谓朗读,就是运用普通话把书面语言清晰响亮、富有感情地读出来,朗读是经