教学课程资源库 更多>>

关键词： 嵌入式软件测试   接口数据显式化   测试重复性设计   枯燥测试数据形象化  

摘要： 根据车载行驶记录仪通过接口数据展现功能的特性、测试场景难以复现、测试数据难以解读等特点,针对性地提出了:1)接口数据显式化的软件测试工具设计理念;2)考虑测试重复性的软硬件统筹设计理念;3)枯燥测试数据形象化的软件测试工具设计理念。贯彻这些理念于车载行驶记录仪软硬件设计和测试设计过程,针对性开发了专用软件测试工具。经过实际项目检验,开发的专用软件测试工具克服了记录仪测试固有困难,有效验证了被测软件的功能正确性、稳定性和可靠性,显著提高了软件测试效率与质量。

关键词： 现场可编程门阵列   开发流程   FPGA软件测试   测试方法  

摘要： 随着FPGA在关键安全领域的广泛应用,因其软件设计缺陷导致的质量问题越来越凸显。为了保证设计功能的正确性和可靠性,业界已经认识到软件测试是提升FPGA产品质量控制、管理与检测的重要手段,并且开展了大量研究。针对FPGA开发流程的特点,提出了一套与之相适应的FPGA软件测试流程,并根据FPGA软件开发的不同阶段成果,讨论了不同测试方法的选取原则。最终,通过应用实例验证了FPGA软件测试技术对FPGA产品质量和可靠性的提升。

关键词： 分类算法   特征   错误定位   程序谱   关联测度   软件测试  

摘要： 基于谱的错误定位(SBFL)技术能找出导致程序出错的可执行代码.测试用例数目和覆盖语句次数可构造SBFL的二分型矩阵.利用该矩阵,人们提出许多的SBFL关联测度计算公式.然而,这些关联测度往往只适应部分程序集.因此,提出基于分类算法的技术,能学习到程序集特有的关联测度.训练集样本建立在成对的错误语句和正确语句上,其特征由语句对的条件概率相减而成.为证实技术的有效性,在Siemens套件、space和gzip三个基准数据集上完成实验.使用Weka的Logistic、SGD、SMO和LibLinear训练出的关联测度,性能都明显优于固定形式的SBFL测度.

关键词： 软件测试   精品课程   PHP   SSH   交流讨论  

摘要： 针对应用型本科"软件测试"课程的教学目标,运用PHP脚本语言与My SQL数据库,设计并实现出一个"软件测试"精品课程网站,主要为校内、校外师生免费提供课程资源共享及交流讨论服务.网站基于B/S三层架构,服务器端采用J2EE的SSH(Spring-Struts-Hibernate)设计框架.网站页面设计美观大方,运行效果良好,可对当前高校同类精品课程建设起到一定的借鉴作用.

关键词： 软件测试   谓词   测试用例生成   测试充分性  

摘要： 软件测试是保证软件可靠性的主要方法,为了提高测试的质量可以在需求分析阶段对测试对象进行分析,根据需求分析规则产生的谓词常常可以用于软件检测。讨论基于谓词的测试准则BOR和BRO,并使用该准则检测需求规则中所有的布尔运算符故障和关系运算符故障。结果表明,根据谓词信息生成的测试用例集合是最小的,且每个测试用例都能从不同方面暴露各种运算符故障,从而可以对软件需求规则进行充分地测试,提高软件设计的准确性。

关键词： 电子设备   软件测试   模拟器  

摘要： 本文首先从移动电子设备的软件开发和软件测试的现状开始介绍,然后根据现状分析了当前开发测试模式存在的问题;然后针对真实的手机运行的环境以及运行机制提出了模拟器平台的体系架构,所设计的体系结构实现了两个目标,即应用程序代码的独立性和系统的可配置性。最后,根据所设计的体系结构,使用PC机模拟器对其进行了实现。实验的结果显示,在模拟器上进行软件的开发会显著的提高手机软件的开发效率,而且在模拟器上进行可以非常详细的测试在现实生活中发生的事情,比如来电、打电话和多方通话等情况。

关键词： 嵌入式系统   软件测试   嵌入式软件测试  

摘要： 得益于信息技术的快速发展,计算机软硬件方面都取得较大的进步。当前,计算机硬件的发展不断趋于稳定,但软件方面还是时有故障发生。因此对软件测试工作还应该进行进一步的优化。嵌入式系统的应用不断扩大,开发技术也在不断成熟,这种方式对计算机软件的发展大有裨益。但实际进行嵌入式软件测试时,存在一定的难度,因此需要采取一定的措施改善测试情况。

关键词： 软件质量   软件测试   GUI对象   自动化测试  

摘要： 介绍GUI自动化测试的特点、GUI自动化测试实现的步骤和原理,并阐述当前常用的自动化测试工具QTP的实现原理。

关键词： ECG   CSE database   Annotation of ECG record   ECG classification   Recommendations   Software testing  

摘要： Nowadays, cardiovascular diseases represent the most common cause of death in western countries. Among various examination techniques, electrocardiography (ECG) is still a highly valuable tool used for the diagnosis of many cardiovascular disorders. In order to diagnose a person based on ECG, cardiologists can use automatic diagnostic algorithms. Research in this area is still necessary. In order to compare various algorithms correctly, it is necessary to test them on standard annotated databases, such as the Common Standards for Quantitative Electrocardiography (CSE) database. According to Scopus, the CSE database is the second most cited standard database. There were two main objectives in this work. First, new diagnoses were added to the CSE database, which extended its original annotations. Second, new recommendations for diagnostic software quality estimation were established. The ECG recordings were diagnosed by five new cardiologists independently, and in total, 59 different diagnoses were found. Such a large number of diagnoses is unique, even in terms of standard databases. Based on the cardiologists' diagnoses, a four-round consensus (4R consensus) was established. Such a 4R consensus means a correct final diagnosis, which should ideally be the output of any tested classification software. The accuracy of the cardiologists' diagnoses compared with the 4R consensus was the basis for the establishment of accuracy recommendations. The accuracy was determined in terms of sensitivity = 79.20-86.81%, positive predictive value = 79.10-87.11%, and the Jaccard coefficient = 72.21-81.14%, respectively. Within these ranges, the accuracy of the software is comparable with the accuracy of cardiologists. The accuracy quantification of the correct classification is unique. Diagnostic software developers can objectively evaluate the success of their algorithm and promote its further development. The annotations and recommendations proposed in this work will allow for fast

关键词： Multimedia image   Region with fuzzy details   Matching   Software testing   Cloud environment  

摘要： Aiming for the low matching precision caused by the inaccurate segmentation of the region with fuzzy details when traditional methods are used for the matching of regions with fuzzy details in the multimedia images, a new high precision matching optimization method for regions with fuzzy details of multimedia images in cloud environment is proposed, LPP feature of the region with fuzzy details is extracted to calculate the similarity of features;using binary tree segmentation algorithm to segment the multimedia image region, through the combination of UFM improved algorithm and fuzzy binary tree structure to achieve the matching of fuzzy region based on fuzzy similarity, the optimized matching method is programmed, afterwards, the software is tested. The experimental results show that the proposed method has high matching accuracy.