教学课程资源库 更多>>

关键词： benchmarking   IPv6 transition technology   NAT64   performance analysis   SIIT  

摘要： The Benchmarking Working Group of IETF has defined a benchmarking methodology for IPv6 transition technologies including stateless NAT64 (also called SIIT) in RFC 8219. The aim of our effort is to design and implement a test program for SIIT gateways, which complies with RFC 8219, and thus to create the world's first standard free software SIIT benchmarking tool. In this paper, we overview the requirements for the tester on the basis of RFC 8219, and make scope decisions: through-put, frame loss rate, latency and packet delay variation (PDV) tests are implemented. We fully disclose our design considerations and the most important implementation decisions. Our tester, siitperf, is written in C++ and it uses the Intel Data Plane Development Kit (DPDK). We also document its functional tests and its initial performance estimation. Our tester is distributed as free software under GPLv3 license for the benefit of the research, benchmarking and networking communities.

关键词： Semi-empirical efficiency transfer method   Simulation method   Gamma spectrometry   Nuclear and other radioactive materials  

摘要： Being able to accurately determine the efficiency of detection, in respect of having precise measurements of radioactivity, represents one of the main objectives of every gamma spectrometry laboratory. In standard gamma spectrometry practice, activities of low-energy emitters can prove to be difficult for measurement. Gamma spectrometry is often used as an initial monitoring tool to determine basic parameters of the unknown sample found in the field, especially when it is suspected that this material can be a part of illicit trafficking involving radioactive materials. The main concern in most cases is uranium, as one of its isotopes (235U) can be used in the production of a nuclear bomb. Gamma spectrometry is the most applicable, non-destructive technique used in a nuclear forensic investigation for uranium isotopic composition analysis. The main idea of this paper was to test the advantages and disadvantages of semi-empirical methods by using two software (EFFTRAN and Angle) and simulation method in GEANT 4 applied on samples containing uranium and thorium isotopes. Special attention was devoted to non-cylindrical sample geometries. The general purpose of the presented study was to investigate the possibilities of routine gamma spectrometry laboratory to be able to respond to a nuclear security event. Based on the obtained results, general recommendations for the use of semi-empirical and simulation methods are given.

关键词： 故障定位   程序调试   BPEL   变异分析   软件测试  

摘要： 不同于传统C,C++或Java程序,BPEL(Business Process Execution Language)程序由一组活动及其之间的交互组成,同时引入了并发、序列化、XML表示等新特征,这些新特点使得定位BPEL程序的故障具有一定的挑战性。针对现有故障定位技术在有效性方面的不足,提出一种基于变异分析的BPEL程序故障定位技术,依据BPEL程序的特点及其变异算子的特点设计了一组优化策略,开发了相应的支持工具。通过一组BPEL程序实例来评估所提方法的有效性,比较了所提方法与现有BPEL程序故障定位技术的定位效果。实验结果表明,与现有方法相比,所提方法具有较高的召回率,故障定位代价基本相当,提出的优化策略进一步降低了所提方法的变异执行开销。

关键词： 学生信息管理系统   测试策略   静态测试   动态测试   界面软件  

摘要： 本文提出采用静态测试与动态测试相结合的测试策略,着重测试界面输入合法性、数据库读取、软件的正常功能、模型计算标准解、界面操作保存到数据库、导入导出文件的格式、接口内容的一致性,对实际应用中其他类型界面类软件测试具有一定的指导意义。

关键词： 数字孪生   仿真加速   软件测试   智能车间系统  

摘要： 为解决当前制造系统软件可靠性仿真测试时间长、测试环境难以搭建等问题,提出采用数字孪生技术与智能车间系统仿真加速测试相结合的方法;建立智能车间高保真数字孪生模型替代现实生产车间系统用于制造系统软件的可靠性仿真测试,首先要构建包含产品、设备资源、工艺流程等系统级仿真模型;同时,为仿真车间生产事件流程,在模型中,还需结合生产实际情况,设置设备间通信协议、通信数据以及生产线事件及队列顺序,真实模拟系统运行环境;通过构建步进电机产线数字孪生模型,仿真加工装配流程,运行智能车间系统软件,采用仿真时钟推进机制开展加速测试,验证了该方法的有效性和实用性,对开展工业系统软件高保真快速测试评估具有一定的借鉴意义。

关键词： 软件测试   应用   岗位需求   工作任务   工作过程   职业发展  

摘要： 随着软件在各行各业应用的不断普及与深入,软件质量已逐渐成为行业的核心竞争力,而软件测试作为保障软件质量的主要手段,其专业人才的需求也与日俱增。应用型高校本科教育特点在于应用,知识学习要做到学以致用,学科内容应和社会需求结合紧密。以企业软件测试岗位需求为导向,改革传统的教学形式,搜索典型工作任务;筛选工作任务,整合典型工作;任务转换为工作过程系统化课程单元,及早调整软件测试技术课程的教学模式,通过"学中做""做中学",提升学生的专业实践能力,又锻炼学生的自我学习、归纳和推理能力,有助于后续的职业发展。

关键词： 软件测试   数据库   测试用例  

摘要： 由于工程师们日常在软件测试上所花费的成本很高,且完成工作的效率有限,论文考虑将自动化测试技术在软件测试上进行应用,并根据已有的架构足够稳定的样本进行自动化测试技术的相关研究。这一研究通过分析软件的数据流程和用户需求,结合行业或领域的历史数据,根据需要来构建软件测试的专业平台以及专业的关联工具库。做好这些基础设施的构建之后,并可以以此作为基础,让软件自动生成对应的测试专用的脚本和测试用例等,进而完成自动化测试。这里需要注意的是,自动化测试的平台并不是一次性的,而是具有可继承性,并且可以在原基础上进行扩展来满足将来软件的更新维护,并考虑到不同客户的不同需求。同时,自动化的测试也可以让软件更新等操作变得更加灵活方便。

关键词： 嵌入式计算机   软件测试   关键技术  

摘要： 嵌入式计算机软件作为一种计算机软件技术,正处于高速发展的阶段,嵌入式计算机软件技术有着重要意义。合理的测试方法可以确保软件运行的稳定性和可行性,从而推动了嵌入式计算机软件水平的进一步发展。为强调嵌入式计算机软件测试关键技术的重要性,对嵌入式计算机软件测试系统作进行了基本概述,表述了嵌入式计算机软件测试法,以不同视角着重分析了嵌入式计算机软件测试关键技术,阐述了嵌入式计算机软件测试方法,为后续测试方法的应用提供了依据。

关键词： 通信设备   嵌入式   软件测试  

摘要： 本文主要结合现阶段通信设备嵌入式软件测试常常出现的各种问题,并针对通信设备嵌入式软件测试流程改进给予了相关的建议,希望能够为相关从事人员提供帮助,进一步推动我国通信软件行业的创新和发展。

关键词： 软件测试   测试用例   测试用例优先选择   测试用例优先级排序  

摘要： 为了降低测试成本,研究了测试用例优化技术,提出了基于测试用例约简与优先级排序相结合的测试用例优化算法。首先介绍测试用例优化的基本概念并总结了目前求解该问题的主要方法,并采用新方法对测试用例进行优化,并通过实验证明该方法是行之有效的。