软件测试充分性研究

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:stage7
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件测试充分性准则是决定一个软件系统能否被充分测试的规则,而测试充分性的关键问题是其检测故障的能力。该文首先给出测试充分性准则的形式化描述,然后讨论了软件测试充分性的性质,最后给出了两种理想的测试数据生成方案,并提出了测试充分性度量方法。
其他文献
基于G4的微型热敏打印机的设计与实现方案,全速打印速度约为25行汉字/秒。本系统由G4芯片(基于ARM7TDMI),LTPZ245B热敏打印头,打印头过热保护电路,打印头加热电路,打印头温测
男性下尿路的控尿功能由内外括约肌实现,为了研究内外括约肌主动力作用下尿道压力分布,建立一种包含肌肉主动力的下尿路生物力学仿真模型.下尿路几何模型由中年男性人体火棉
学前儿童认知能力的发展是学前教育阶段的重要组成部分,它主要是指儿童大脑对外界事物的探索、求知、思考、理解、存储和应用信息的能力。梁志燊编写的《学前教育学(第3版)》(20
科学社会主义自苏东剧变后就面临着来自理论与现实的不断挑战。当代西方马克思主义者科恩就对社会主义的必然性提出了质疑,不仅质疑预言资本主义必然灭亡、社会主义必然胜利
作为一项传统的教育活动,国旗下讲话在学校德育中有着重要的地位。每到周一早晨,全体学生列队整齐,全体教师员工整装肃立。人群集中,演讲者直面师生,短期内能将要表达的信息(思想、
高速铁路要建成资源节约型、环境友好型工程,在梁场设计规划时,平均约20 km设置一个梁场,较以往铁路建设基本减少了一半梁场数量,梁场建设时采用双层存梁,也大大节约了梁场用
管理创新与社会转型有内在的关联。泰罗等人倡导的科学管理曾对资本主义生产方式的改良和资本主义社会的转型产生过积极的影响。当代中国的社会转型也应当要求通过管理创新培
苏培成先生是当代著名语言文字学家。1935年出生于天津,1962年北京大学中文系汉语言文学专业本科毕业,多年来从事现代汉语和现代汉字的教学和研究工作。现为北京大学中文系教授
玫瑰耐旱、耐寒、耐贫瘠、耐轻度酸碱,在各种土地上都可以较好地生长,广泛分布于山东、陕西、河南、河北及周边地区。其中青岛地区的自然条件特别适合玫瑰生长。近期,青岛市
每当我向人提及参与了新桑塔纳传奇之旅,我总能从听众那里感受到意料之中的羡慕。今天这个时代,很多人有机会环球旅行,从一个城市飞往另一个城市,即使周游世界,也用不了多久