【摘 要】
：
基于规格说明的测试可以在不需要了解软件程序代码的情况下对软件进行功能测试．判定是形式规格说明中用于描述前、后置条件的主要形式．分析了基于规格说明的逻辑覆盖测试准则，针
【机 构】
：
上海大学计算机工程与科学学院,江西财经大学信息管理学院
【基金项目】
：
国家自然科学基金No.60673115;国家高技术研究发展计划(863)No.2007AA01Z144;国家重点基础研究发展计划(973)Nos.2007CB310800,2002CB312001;上海市教委科研项目No.07ZZ06;上海市重点学科建设项目No.J50103;江西省教育厅科技计划项目No.GJJ10120;江西财经大学校级课题No.04722015~~
论文部分内容阅读
基于规格说明的测试可以在不需要了解软件程序代码的情况下对软件进行功能测试．判定是形式规格说明中用于描述前、后置条件的主要形式．分析了基于规格说明的逻辑覆盖测试准则，针对已有的决定性逻辑覆盖测试准则的不足，提出了掩盖性逻辑覆盖测试准则，并对其进行了详细分析．提出了掩盖性逻辑覆盖测试准则的一个可行的测试生成算法．根据该准则生成的测试用例能够发现条件的掩盖性带来的错误．然后，从判定的结构入手，分析了条件之间的约束关系、复杂判定的分解与合成、判定之间的关系．这些分别能够阐明逻辑覆盖中条件间的耦合性问题、同一个条件
其他文献
[目的]了解新生儿重症监护室临床带教轮转本科护士心得体会,找出更合适的带教方法,使轮转本科护士更快适应临床工作。[方法]选取河南省儿童医院新生儿重症监护室10名带教老师
<正>药品不良事件(ADE,Adverse Drug Events)是指药物治疗过程中所发生的任何不幸的医疗卫生事件,而这种事件不一定与药物治疗有因果关系[1];药品不良事件包括药品标准缺陷、
<正>2011年我所接收市、县(市、区)药品监督部门监督检查抽样的药品1168批次,经检验不合格药品188批次,不合格率为16.1%。1 168批检验的药品中,浙江辖区内生产的药品239批次,
综述脂肪液化的相关概念、诊断标准、原因、治疗及存在的问题。
中国既是一个电视大国,又是一个有着众多少年儿童的人口大国。据有关统计,在我国,0-18岁的少年儿童高达3.67亿,电视动画片已成为广大少年儿童成长过程中不可或缺的、喜闻乐见
《初雪之恋》是由Sang-hee Han导演的一部电影,影片讲述了一位韩国人在日本人的生活,在影片中体现着日本文化,本文将从几个角度浅评日本文化。
环保型农业在我国已呈雨后春笋之势，将环境效益列为首位的水稻侧条施肥技术也在洞庭湖区得以较为广泛的应用，但这一技术在进一步深入推广过程中仍然存在一些问题，如农户认知程度
介绍车用泊车辅助系统——超声波倒车雷达的工作原理及设计架构,通过超声波三角算法探测障碍物距离,为车载超声波雷达大批量推广列装提供设计理论依据,并依据此设计原理延伸
随着科学技术的发展,大量科技英语新词汇不断出现,掌握科技英语词汇的来源、构成特点、方法及翻译技巧,有助于学好科技英语。
在新媒体时代中,地方电视台记者的采编工作中面临越来越多的问题。新媒体能够将更多更快的信息传递给受众,这也使得记者的采编工作面临着更大的挑战。本文简要介绍了新媒体,