共查询到19条相似文献，搜索用时 156 毫秒
1.
从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软件测试的基本思想;讨论软件测试中的若干问题,包括面向路径的测试数据自动生成、测试预言、期望结果的自动生成、回归测试等;并且探讨软件测试的发展趋势等。 相似文献
2.
提出了一种自动生成系统功能测试用例的新方法。该方法使用Promela语言对软件系统的状态和行为进行描述建模,使用LTL公式描述测试覆盖标准,然后将该组LTL公式和描述状态行为的Promela模型输入SPIN模型检测工具,并利用模型检测工具自动生成相应的证据路径,最后结合正例将路径转化成满足相应覆盖标准的系统功能测试用例,并以电梯系统模型对该方法作出了诠释。 相似文献
3.
4.
软件测试是软件开发过程中不可缺少的重要组成部分,贯穿整个软件开发过程。在软件测试方法中,白盒测试和黑盒测试是经常使用的测试技术。白盒测试中的基本路径测试方法是解决复杂路径测试最有效的方法,而圈复杂度的计算则是基本路径测试方法中非常重要的环节。实践经验表明,圈复杂度和程序可能存在的缺陷数量有着很大的相关性,本文就基本路径测试方法中如何正确计算圈复杂度进行了探讨。 相似文献
5.
基于进化算法的进化测试就是一种有效的测试数据自动生成技术。提出了一种基于控制流图的测试数据生成算法,根据控制流图映射出所有可能的执行路径,然后根据不同的路径所形成的适值地形的导向进行搜索。 相似文献
6.
按照存在量词公式的证据是全称量词公式的反例的特性,通过考察时态逻辑算子,用模型检查的反例生成机制对测试用例生成技术进行研究．然后把模型检查的算法引入到软件测试领域,寻找验证的路径,生成测试用例,据此对系统进行测试．通过实例说明了测试用例的具体实现过程． 相似文献
7.
实现了一种基于GA的字符串型测试数据自动生成方法．该方法设计采用了混合适应度函数,并且自动生成的测试数据是在实际应用中使用相当普遍但目前测试数据自动生成方法研究中涉及较少的字符串型数据．实验表明：该字符串型测试数据的自动生成方法有较好的效果．它可以有效地帮助做毕业系统设计的计算机专业学生和软件开发人员自动生成字符串类型的测试数据,提高软件测试的效率． 相似文献
8.
本试题库管理系统的开发,是为了方便管理、减轻教师的负担,在学校具有很大的应用价值．它具有保密性,操作简便、易于使用等特点．本文介绍的试卷自动生成系统将计算机用于现代化管理,完成了许多功能,如添加试题、自动出卷、手工组卷．本文通过对试卷自动生成系统的分析与设计,介绍了该系统的设计思想、设计方法和开发的步骤及成果． 相似文献
9.
利用VB6．0作为主程序和屏幕界面设计，SQL Server2000作为外部数据库，通过Windows提供的ODBC接口及SQL查询语句实现了标准化测试和试卷自动生成系统。 相似文献
10.
李瑞娟 《柳州职业技术学院学报》2011,11(2):26-30
为了提高电路故障的测试速度和精度．在现有的传统故障测试集生成算法的基础上,引入蚁群生物的路径规划策略,设计一种基于蚁群算法的电路故障最小测试集生成算法。详细阐述蚁群算法的设计思想,给出数字电路测试问题向蚁群规划问题的转换过程,包括基于蚁群算法的最小测试集生成流程。并对设计的电路故障最小测试集生成算法进行了理论上的性能分析和实际的测试验证,测试结果表明该算法具有较高的综合效率。 相似文献
11.
基于.NET的题库管理与智能组卷系统设计与实现 总被引：1，自引：0，他引：1
组卷算法是题库系统的核心。通过对传统的组卷方法如随机抽取法、回溯试探法、遗传算法等进行分析,进而提出一种改进的随机组卷算法,并在此基础上,采用ASP.NET、SQL数据库等技术,实现了题库管理、自动组卷、系统管理等主要功能。实践表明,整个组卷系统界面友好、功能清晰、组卷效率高,具有一定的实用价值。 相似文献
12.
在在线考试自动组卷中,为了避免简单遗传算法收敛速度慢及早熟收敛的问题,提出了基于实数编码、分段交叉、有条件生成初始种群的改进遗传算法。实践表明,改进的遗传算法能更好地解决自动组卷问题,具有较好的实用性。 相似文献
13.
14.
该文介绍了“数字信号处理试题库和命题系统”的结构和题库设置、手工组卷模块、自动命题模块和题库管理模块,该系统能够实现题库管理、试卷的手工生成和自动生成功能,可以辅助教师出试卷,促使教考分离,是提高教学质量的一个保障措施。 相似文献
15.
涂金德 《温州职业技术学院学报》2005,5(3):38-41
Windows文件操作已成为计算机初级操作员考证、计算机文化基础课考试中必考内容之一。文件操作考试中存在两大关键技术需要解决：试题存取技术和自动阅卷技术。无论试题存取还是自动阅卷，均可通过编制Delphi程序得以实现。该技术已成功应用于考试系统中，能够高效实现文件操作考试及自动阅卷。 相似文献
16.
17.
宋婉娟 《湖北第二师范学院学报》2013,(8):56-59
基本路径测试和逻辑覆盖测试是白盒测试的两种基本测试方法,在具体的测试案例中,存在多种覆盖准则以及基本路径难以选择的问题。本文结合具体的案例探讨一下基本路径测试法和逻辑覆盖的应用,得出在白盒测试中,测试用例冗余时的选择标准。 相似文献
18.
为了提高web应用回归测试的效率,采用了控制流图和贪心算法.以页面为基本单位,通过构造web应用的控制流图,提出了一种基于控制流图的web应用回归测试的测试用例选择方法,该方法是一种安全的测试用例选择方法.在web应用回归测试的测试用例执行中,根据web应用中请求序列的特点,采用了最小化技术并考虑测试用例的优先级,提出了一种改进的贪心算法对测试执行进行了优化.实验结果表明,该方法有效地减少了需要重测的用例数并且提高了测试执行的效率. 相似文献
19.
逻辑覆盖是设计白盒测试方案的一种技术,白盒测试是软件测试技术的一种动态方法,是针对被测单元内部是如何进行工作的测试,是以覆盖测试与路径测试为基本策略。重点介绍白盒测试中的常用测试方法,并通过实例介绍实际运用白盒测试的技术。 相似文献