【摘 要】
：
软件测试保证和提高了软件质量，因此成为软件界最为关心的问题之一。测试数据的好坏直接影响软件测试的效果。形式规格说明申的前置条件可用来产生测试数据。而前置条件是基于
【基金项目】
：
国家自然科学基金项目（60673115）,国家973重点基础研究发展计划基金项目（2002CB312001）.
论文部分内容阅读
软件测试保证和提高了软件质量，因此成为软件界最为关心的问题之一。测试数据的好坏直接影响软件测试的效果。形式规格说明申的前置条件可用来产生测试数据。而前置条件是基于关系操作符的谓词表达式。给出了一个针对集合关系表达式的测试准则和产生符合测试准则的测试数据的算法，根据该测试准则产生的测试数据对于集合条件表达式有比较好的错误检测能力。从给出的数据库查询的例子说明了该方法对于检测代码错误的有效性。
其他文献
<正> 参加河南省县委书记、县长第三期领导科学研习班的同志讨论了关于如何调动和发挥五十岁左右退居二线的老同志积极性的问题。由于改革的需要,一大批五十多岁的老同志退居
<正> 人们常说:“三个臭皮匠顶上一个诸葛亮。”这说明群众的力量大,一个领导者要善于组织群众、发动群众,发挥他们的聪明才智。怎样发挥广大群众的聪明才智呢?国内外许多杰
<正> 周恩来同志在外事工作中,也同他在从事各方面的革命活动一样,总是忘我工作,不辞劳苦,不畏艰险,敢于斗争,善于斗争。他为我们党和国家培养了一支外交队伍,积累了宝贵的外
<正>2015年《行政诉讼法》第53条、第64条将其他行政规范性文件的附带审查正式入法。行政规范性文件作为具体行政行为的依据,其合法性的审查成为法院不可回避的问题。对规范
<正> 气质是人的心理活动的动力特征。其主要方面是情感动力的表现。早在公元前五世纪,古希腊医师希波克拉特把气质分为胆汁质、多血质、粘液质、抑郁质四种基本类型。后来,
<正> 从“CHEC水运工程公司思想政治工作案例”介绍中看到:这个公司实行“百元产值工资含量包干”承包责任制后,生产效率提高了,打破了以往平均主义、吃“大锅饭”的现象,充
<正> 马克思主义领导学必须把对人的研究作为自己的主要内容马克思主义领导学对人的研究。既不同于我国古代的“人治”思想。也不同于西方行为科学关于个人行为的理沦它是从
给出了一套娱乐性照相系统的算法模型,其原型为哈哈镜。模型以三次B样条曲线为基础,主要为内存和计算能力有限的手机、PDA等手持设备设计。模型的基本思想是将图像抽象成一组直线的集合,将图像的变化看作是这组直线的变化;对这组直线的变化建立数学模型,使图像的变化变成可以描述并且可控制的数学表达式;再将这个数学表达式映射成图像的变化。为了增加模型的实用性,最后又对这个模型进行了优化,将图像的变化转变成图像像
<正> 美国十大财团的首富,老洛克菲勒是洛克菲勒财团的创始人。他以阴险、奸诈、残暴称著全世界。他为了培养孙子将来继承家业,常常用各种方式方法教育自己的孙子。一次老洛
为了评价多序参量影响的耗散结构制造信息系统的健康状态,定义有序度作为评价制造信息系统有序程度的测度指标。选定多个相互独立的序参量对系统有序度从不同维度进行度量,并