排序方式: 共有43条查询结果,搜索用时 156 毫秒
1.
2.
3.
4.
在Hierons提出的一种基于Z语言软件自动测试方法的基础上进行了拓展.该方法基于软件的Z语言规约;以HierOns提出的推理规则为基础,提出了分裂树的算法,将操作模式的约束条件转换为形如ViPi∧Qi的析取范式;然后根据析取范式将Z语言描述的操作模式划分为子操作模式;依据子操作模式的前置条件和后置条件,将子操作模式作为状态转换图的转换关系,构建了被测试软件的状态转换图;依据状态转换图,提出了相应的状态覆盖准则、转换关系覆盖准则和转换关系谓词覆盖准则等测试数据选择准则. 相似文献
5.
针对我国林业专家系统设计特点和研究中存在的问题,讨论了林业专家系统软件规范性测试的若干问题.从数据库测试、知识库测试、人工智能领域的测试、维护、健壮性测试等角度,分析研究软件测试技术在开发林业专家系统的应用及重要作用,并通过一个林业专家系统测试实例提出了一套全新的软件测试方案. 相似文献
6.
近几年,手机应用软件呈现爆发式的增长,相同领域间的竞争异常激烈。为了提升产品的竞争力,作为保证软件质量重要手段的软件测试工作越来越受重视。本文首先分析了手机应用软件测试面临的难题,然后结合着其测试难题和技术特点对手机应用软件测试的主要内容进行了描述和总结。 相似文献
7.
边界值分析(Boundary Value Analysis)技术扩展了对等价类中起始和末尾输入值可能性的分析。输入输出数据中很大百分比的功能性错误都发生在这些边界上,或这些边界值的周围。介绍了边界值分析的基本概念和测试用例设计原则,以某考试系统的评分模块为背景,进行了边界值测试用例的设计。 相似文献
8.
9.
嵌入式软件规模日益增大,结构也越来越复杂.当前嵌入式软件测试系统通常针对特定被测软件,从底层做起,没有一个通用平台提供支持.本文提出了一个半实物环境下嵌入式软件通用测试平台框架,采用基于Eclipse CDT/JDT的跨语言源代码分析,使用XML文档作为测试数据交换介质,结合半实物环境下目标机的可替换性,实现了测试平台的通用性,自动化程度较高.根据该框架建成的测试平台,支持对被测程序进行源代码分析、按类插桩、自动编译、测试数据分析等操作. 相似文献
10.
随着Web应用的不断广泛增加,Web测试作为保证Web系统质量和可靠性的重要手段,受到越来越多的重视.主要介绍了Web测试技术在学生综合测评管理系统中的具体应用,通过对系统进行功能、性能、用户界面、兼容性、安全性等方面的测试,对Web测试的过程和方法做了分析.最后对进一步提高系统的质量做了总结. 相似文献