【摘 要】
：
字符串谓词使用相当普遍.如何实现字符串测试数据的自动生成是一个有待解决的问题.针对字符串谓词,讨论了路径Path上给定谓词的谓词切片的动态生成算法,以及基于谓词切片的字
【机 构】
：
北京化工大学信息科学与技术学院,中国科学院计算机技术研究所
【基金项目】
：
国家自然科学基金，北京化工大学校科研和教改项目
论文部分内容阅读
字符串谓词使用相当普遍.如何实现字符串测试数据的自动生成是一个有待解决的问题.针对字符串谓词,讨论了路径Path上给定谓词的谓词切片的动态生成算法,以及基于谓词切片的字符串测试数据自动生成方法,并给出了字符串间距离的定义.利用程序DUC(Definition8 Use Control)表达式,构造谓词的谓词切片;对任意的输入,通过执行谓词切片,获取谓词中变量的当前值;进而对谓词中变量的每一字符进行分支函数极小化,动态生成给定字符串谓词边界的ON-OFF测试点.实验表明:该方法是行之有效的.
其他文献
资源发现机制是关系到广域分布式环境中资源共享和协同工作效率的术中,都需要对这个问题进行深入研究.在织女星网格前期工作的基础上,讨论了资源发现机制中的核心问题.描述了
位于大不列颠岛北部的苏格兰．每年都会举办一场小型的“奥林匹克运动会”。在这样一种“全民运动”中，英国女王和王室成员都会前往观看。它荟萃了音乐、舞蹈、饮品和美食。它是
目的评价和分析采用病例为基础的学习(Team-basedLearning,TBL)教学法结合标准化病人(StandardizedPatients,简称SP)的教学方法在临床麻醉学教学中的应用效果。方法将该校某
自城镇住房制度改革以来，纯粹福利分房时代宣告结束，住房分配的形式从实物向货币化过渡，住房供应的主体由保障房向商品房转变。政府放松管制，减少对市场的干预，促进了生产要素的自
以公权力名义对私人资本进行剥夺，仍然是一个强大而不容置疑的“传统”。
Pub=music＋dancing？No!在英国，有一种叫做pub quiz的问答比赛，你不仅可以在酒吧里娱乐．而且还能益智。内容包括体育、彩视、音乐、历史、地理、科学等。喜爱quiz的你赶紧来加入!
《中医基础理论》是中医院校各专业的公共基础课及专业必修课,对于专业兴趣的培养和专业思想的稳定至关重要。实验教学具有直观性、客观性和科研性等特点,对培养学生的学习和
查尔斯·狄更斯的经典小说《圣诞颂歌》激发了好莱坞剧作家们的无尽灵感。一段专属于圣诞节的特别情怀被改编成不同版本的故事，搬上了大银幕。
鉴于医学极强的实践特性,见习教学尤为重要,是促使学生将理论知识转化为临床实践的重要环节,是其成长为医生不可缺少的环节。该文对神经内科传统见习教学和思维导图教学结果
目的通过将繁琐、难记的32项护理操作步骤编写成言简意赅、朗朗上口的操作口诀，以指导实验教学、提高学生护理操作技能。方法将护理操作步骤编写成操作口诀并印制成册，师生每人