【摘 要】
：
在白箱条件下,软件的测试充分性可通过语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖和路径覆盖等方法进行度量.但在黑箱情况下,这些基于程序的覆盖度量方法不再实用,为此提
论文部分内容阅读
在白箱条件下,软件的测试充分性可通过语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖和路径覆盖等方法进行度量.但在黑箱情况下,这些基于程序的覆盖度量方法不再实用,为此提出了基于程序外部特性的测试充分性,即基于功能覆盖的软件测试充分性概念.然而对于一个较复杂的安全性关键软件仅仅满足功能覆盖的软件测试充分性是不够的,应增加安全性扩充测试.经过对黑箱条件下的软件测试技术揭错能力的分析,得出了基于第3方的软件安全性测试技术在理论上有条件发现所有的软件危害故障的结论.
其他文献
随着新课程的不断改革,高中化学教师要转变自身的教学观念,改变教学方法,不断提高化学课堂的效率。在高中化学课堂教学过程中,教师要注重培养学生的自学能力,并且要不断提高
【摘 要】 《现代汉语词典》是人们学习使用汉语言文字重要的工具之一，但是其对词的释义存在着一些问题值得我们探讨。本文针对《现代汉语词典》中的释义问题进行分析并提出词典释义应遵循的原则。 【关键词】 《现代汉语词典》 释义 原则 【中图分类号】 G 【文献标识码】 A 【文章编号】 2095—6517（2014）01—0051—03 辞书是人们学习语言文字的重要工具之一，陆俭明先生认为理想
通过与目前几种常用的知识表示方法的优缺点的对比,提出了火控系统故障诊断知识的一种新的表示方法--面向对象表示法.阐述了面向对象知识推理的特点和具体的应用.
线路传感分析管理系统通过定期采集气压数据并产生告警,使用户能及时有效地解决故障.该文介绍了该系统的结构和功能,讨论了系统实现中数据库设计和用户界面开发中的若干关键
小学语文教学是一门艺术,艺术是无止境的,需要教师不断地去探究。教师要创设情境,转变学生的学习方式,鼓励学生自主学习,合作交流,合作探究,在愉悦的情境中学习语文知识,张扬
掌握基础知识、基本理论、基本方法论是思想政治课入门的途径，也是学科能力的载体。没有一定的学科知识，我们的学生就失去了观察问题和分析问题的理论依据和科学的思维方法，也就
提高语文教学质量,最有效的途径是激发学生学习语文的兴趣。学习兴趣在学生学习活动中起着十分重要的作用。因此,在语文教学中,教师运用多种教学方法,培养学生的学习兴趣,激
中国特色社会主义需要科学发展。在党的十七大报告中，胡锦涛同志进一步指出，“科学发展观，是对党的三代中央领导集体关于发展的重要思想的继承和发展，是马克思主义关于发展的世界
高中语文课堂教学,"投入多、产出少",吃力不讨好现象突出。语文教学要从低效走向有效,从有效迈向高效,势必要从教学和教材两方面入手,促进学生课堂学习热情。只有这样,才能引
《中华人民共和国政府信息公开条例》正式实施以来,尽管取得一定成效,但总体看预期效果难以彰显。实际上,从《条例》的预期成效与实际效果的反差中可以看出,当前信息公开梗阻