A Specification-Based Case Study from Test Class Framework

Testing is a standard method for verification of software performance. Producing efficient and appropriate test case is an important aspect in testing. Specification based testing presents a method to derive test data from software specification. Because of the precision and concision of specification, the test data derived from specification can test the software efficiently and entirely. This paper demonstrates a test class framework(TCF) on a file reading case study, specified using Z notation. This test class framework defines test case sets, providing structure to the testing process. Flexibility is preserved so that many testing strategies can be used.

An Integration Testing Framework and Evaluation Metric for Vulnerability Mining Methods

Software vulnerability mining is an important way to detect whether there are some loopholes existing in the software, and also is an important way to ensure the security of information systems. With the rapid development of information technology and software industry, most of the software has not been rigorously tested before being put in use, so that the hidden vulnerabilities in software will be exploited by the attackers. Therefore, it is of great significance for us to actively detect the software vulnerabilities in the security maintenance of information systems. In this paper, we firstly studied some of the commonly used vulnerability detection methods and detection tools, and analyzed the advantages and disadvantages of each method in different scenarios. Secondly, we designed a set of evaluation criteria for different mining methods in the loopholes evaluation. Thirdly, we also proposed and designed an integration testing framework, on which we can test the typical static analysis methods and dynamic mining methods as well as make the comparison, so that we can obtain an intuitive comparative analysis for the experimental results. Finally, we reported the experimental analysis to verify the feasibility and effectiveness of the proposed evaluation method and the testingframework, with the results showing that the final test results will serve as a form of guidance to aid the selection of the most appropriate and effective method or tools in vulnerability detection activity.

Framework for Extensible Application Testing

In recent years large corporations as well as smaller commercial enterprises have begun to devote increased attention to software testing and software quality. This paper introduces a novel tool—the Framework for Extensible Application Testing (FEAT), implemented by the author and applicable for automatic generation and execution of test cases. The paper discusses system requirements, design, architecture and modes of operation. It also contains a detailed comparison of the FEAT framework with existing test environments, focusing in particular on the STAF/STAX framework. The final section is devoted to experimental research into the applicability and efficiency of the presented tools in various projects and configurations, as reflected by quality metrics.

Testability Estimation of Framework Based Applications

Quality of software systems is highly demanded in today’s scenario. Highly testable system enhances the reliability also. More than 50% of test effort-time and cost are used to produce a highly testable system. Thus, design-for-testability is needed to reduce the test effort. In order to enhance the quality, productivity and reduced cost of the software organizations are promoting to produce the reuse-oriented products. Incorporating reuse technology in both aspects-software development process and test process may payoff many folds. Keeping this view, our study focus the testability of the object-oriented framework based software systems and identify that flexibility at the variable points of the object-oriented framework, chosen for framework instantiation, greatly affects the testability of object-oriented framework based software at each level of testing. In the current paper, we propose a testability model considering the flexible aspect of the variable point to estimate testability in the early phase, requirement analysis phase, of development process of the framework based software. The proposed model helps to improve the testability of the software before the implementation starts thus reducing the overall development cost.

An Agent-Based Framework for Automated Testing of Web-Based Systems

Parallel to the considerable growth in applications of web-based systems, there are increasing demands for methods and tools to assure their quality. Testing these systems, due to their inherent complexities and special characteristics, is complex, time-consuming and challenging. In this paper a novel multi-agent framework for automated testing of web-based systems is presented. The main design goals have been to develop an effective and flexible framework that supports different types of tests and utilize different sources of information about the system under test to automate the test process. A prototype of the proposed framework has been implemented and is used to perform some experiments. The results are promising and prove the overall design of the framework.

Security Framework for Managing Data Security within Point of Care Tests

Point of Care (PoC) devices and systems can be categorized into three broad classes (CAT 1, CAT 2, and CAT 3) based on the context of operation and usage. In this paper, the categories are defined to address certain usage models of the PoC device. PoC devices that are used for PoC testing and diagnostic applications are defined CAT 1 devices;PoC devices that are used for patient monitoring are defined as CAT 2 devices (PoCM);PoC devices that are used for as interfacing with other devices are defined as CAT 3 devices (PoCI). The PoCI devices provide an interface gateway for collecting and aggregating data from other medical devices. In all categories, data security is an important aspect. This paper presents a security framework concept, which is applicable for all of the classes of PoC operation. It outlines the concepts and security framework for preventing security challenges in unauthorized access to data, unintended data flow, and data tampering during communication between system entities, the user, and the PoC system. The security framework includes secure layering of basic PoC system architecture, protection of PoC devices in the context of application and network. Developing the security framework is taken into account of a thread model of the PoC system. A proposal for a low-level protocol is discussed. This protocol is independent of communications technologies, and it is elaborated in relation to providing security. An algorithm that can be used to overcome the threat challenges has been shown using the elements in the protocol. The paper further discusses the vulnerability scanning process for the PoC system interconnected network. The paper also presents a four-step process of authentication and authorization framework for providing the security for the PoC system. Finally, the paper concludes with the machine to machine (M2M) security viewpoint and discusses the key stakeholders within an actual deployment of the PoC system and its security challenges.

基于Robot Framework测试框架的机载娱乐系统自动化测试设计

在对机载娱乐系统软件架构进行分析的基础上,阐明了机载娱乐系统自动化测试的必要性,设计了基于Robot Fra-mework测试框架的自动化分层测试组织结构,明确了自动化测试中测试用例、测试规程、测试结果之间的追踪性,并将设计的测试组织结构在实际项目中进行了应用。实践表明,采用所设计的自动化分层测试组织结构可以较好的满足机载娱乐系统在软件测试过程中的脚本维护、扩展、稳定测试等要求,有利于软件的快速交付。

轻量级嵌入式软件自动化测试框架设计

为满足嵌入式软件测试过程中测试数据的快速生成与输入,采用数据与关键字驱动的混合驱动方法对嵌入式软件自动化测试框架进行设计。通过对嵌入式软件自动化测试框架的研究,明确测试框架设计的难点;对软件测试数据的组成与结构进行分析,构建数据与关键字驱动模型并对其生成与输入算法进行设计,根据模型实现复杂多接口测试数据的快速生成与输入。采用模块化思想,利用多线程原理对该轻量级测试框架进行设计与实现,通过实例验证该框架能够实现测试数据的自动生成与快速输入,提升测试效率。

基于Cypress的医疗Web平台自动化测试设计与实现

目的 把自动化测试应用于医疗Web平台(以下简称医疗平台),以提高医疗平台测试的效率并保证平台的稳定性。方法 分析Cypress原理及流程,搭建测试框架,并编写测试用例,再结合Cypress自动化测试框架编写测试代码,将自动化测试覆盖医疗平台的各个关键功能模块。结果 根据实际测试验证分析,随着回归测试量增多(回归测试大于3时),自动化测试相较于手动测试,能够显著提高测试效率。使用两项系统功能进行多次手动和自动化对比测试,结果显示,自动化测试速度明显快于手动测试,差异具有统计学意义(P<0.001)。结论 基于Cypress框架的医疗平台自动化测试是一种有效的测试方案,可提高医疗平台的测试效率,为医疗平台开发测试提供了可靠的技术参考。

单元测试框架GTest的自动调用机制分析

单元测试框架是测试驱动开发模式中的核心工具,当前的研究主要集中在单元测试框架的使用方法,对框架的实现原理研究较少。研究了谷歌公司的开源测试框架GTest的自动调用机制,首先概述了GTest框架的核心技术,然后以自带的Sample1为例,研究了测试用例注册、测试用例执行过程的信息调度,最后研究了GTest的测试执行情况监听机制。

基于Robot Framework的自动化接口测试框架的设计与实现

目前国产软件的接口测试主要采用的是通过使用串口或网口报文收发工具进行测试的方法。该方法通常需要人工发送报文,并逐个字节比对接收到的报文和接口协议的一致性,这大大地增加了测试的时间和人力成本。针对该问题,该文提出了一种基于Robot Framework的自动化接口测试框架,可自动进行接口测试的各项操作。文章详细介绍了该框架的设计原理和实现过程,并结合具体的应用实例验证该测试框架的可行性。使用该测试框架可提高测试效率、降低测试成本。

基于RobotFramework的RESTful WebAPI自动化测试框架设计与研究

随着互联网时代的不断发展,软件开发模式也在发生着变革,前后端分离越来越明显,支持前后端分离的关键环节是WebAPI技术的广泛使用。在WebAPI开发中,RESTful风格的JSON格式轻量级接口模式以其简单实用等的特点,更受开发者青睐。因而针对此类接口的测试自动化就显得尤为重要,基于这一原因,本文主要介绍了一个应用于RESTful WebAPI的自动化测试框架的设计与实现。

智能动力平台多型复杂气象模拟仿真测试框架

针对智能动力平台在恶劣复杂气象条件下的仿真测试评价问题,提出了一种基于知识图谱的典型气象-交通要素数字化表征方法,并设计了智能动力平台多型复杂气象模拟仿真框架。首先分析了智能动力平台测试评价的现状和挑战,介绍了现有的智能控制仿真平台及其局限性。然后利用知识图谱结构化和语义化的特性,系统地划分和描述了复杂气象条件和交通场景,为仿真测试提供了数据支撑。最后采用“同图式”的方式,有效地融合和呈现了不同气象条件和交通场景,为智能动力平台在各种复杂情况下的性能评估提供了支撑平台。

LKJ自动测试平台及关键技术研究

列车运行监控装置(LKJ)是我国现阶段普速铁路应用最为广泛的车载设备之一,随着铁路运输需求的不断提升,作为保障行车安全,提高运输效率的关键设备,LKJ设备变得愈发重要。为解决LKJ设备人工测试过程工作量大、效率低下,难以找寻故障原因等问题,设计一种LKJ自动测试平台并对其关键技术进行研究。自动测试平台基于传统的人工测试流程进行优化,采用图形化方式生成测试用例,设计信号适配单元模拟设备运行条件,增加人机交互单元简化测试操作,基于Robot Framework自动测试框架及故障分析专家系统自动执行测试并给出故障原因,实现可无人值守的自动化测试。通过LKJ-15型设备及实验室仿真环境进行验证,结果表明,自动测试平台可取代传统仿真测试中部分人工操作,对故障现象进行分析给出指导意见,有效提升了测试效率。

基于Qemu的嵌入式自动化测试框架在工业领域的应用

因工业领域硬件设备开发维护代价较高、硬件开发速率与嵌入式软件不匹配、代码迭代频繁等问题,通过虚拟硬件开发平台实现代码无硬件开发,降低硬件成本,与硬件开发进度解耦;结合自动化测试框架实现测试高效、资料可重用、质量可保障。该设计可应用于工业领域的嵌入式实时操作系统开发和测试过程中。结果表明该设计性价比高、使用方便、提高开发和测试效率,有效保证测试的可靠性和稳定性,从而提升系统质量。

基于《量表》的英语口语测试开发及效度验证研究

《中国英语能力等级量表》(以下简称《量表》)为我国各学段的英语教、学、评实践提供了理论指导。基于《量表》中口语分量表的口头表达能力描述框架及相应分量表三级到六级的描述语,开发面向西部某高校非英语专业新生的入学后英语口语测试及评分标准,并基于Weir的社会-认知效度验证理论开展多项效度研究。结果表明:《量表》的口语能力描述语对口语测试能力构念的界定和评分标准的研制具有较好的指导作用;基于《量表》开发的口语测试能够准确评估学生的口语水平;基于该测试的口语评定对学生后续英语课程的学业成绩具有良好的预测性。

高中英语完形填空校本测验效度分析——以上海某重点高中为例

完形填空是各类英语测验中备受青睐的题型之一,使用广泛但对其研究较少。目前高中英语完形填空的相关研究主要集中于高考试题,针对校本测验的研究不足,也缺乏相应的分析框架。在《普通高中英语课程标准(2017年版2020年修订)》出台的背景下,面对高考英语(上海卷)采取题库方式命题的现实情况,本文梳理相关文献,制订出完形填空校本测验效度分析框架,并以一篇完形填空校本测验作为实例分析,以期加强完形填空校本测验命题的科学性,完善校本测验题库建设,以考促教。

Entity Framework数据访问性能优化的几种方法

Entity Framework一般通过LINQ代码或lambda表达式自动生成SQL语句,开发效率很高,然而使用时如果不注意会引来性能问题。通过对不同方法使用Entity Framework进行比较,提出Entity Framework数据访问性能优化的几种方法,包括更新数据时使用无跟踪查询、通过附加数据修改和删除数据、合理使用ToList()和FirstOrDefault()、合理使用预先加载。经过性能测试,这些方法是有效的。

一站式自动化测试平台的设计与实现

针对自动化测试平台冗余开发、运行环境固化、通用性及扩展性弱等问题,文章提出了一站式自动化测试平台。该平台采用Django框架进行开发,前端通过TypeScript,Less,JavaScript,EJS进行渲染,使用MySQL和Redis数据库进行数据存储,并使用express实现负载均衡。其中,平台应用分布式业务架构,可适配多种硬件及操作系统,具有手动测试与自动化测试相结合等特点,打通了包括测试设计、测试计划、用例集成、测试部署、测试执行、结果分析、测试报告在内的测试流程,有效提高了测试效率与质量。

商誉后续计量困境——基于财务报告概念框架视角

并购产生的巨额商誉具有大额减值的风险,其后续计量问题日益凸显。财务报告概念框架指导会计准则的制定和评估,却在商誉摊销还是减值方面存在逻辑矛盾的问题。文章以财务报告概念框架为视角,结合财务报告概念框架的历史发展情况,发现概念框架中计量基础混乱和会计理念转变是商誉后续计量面临困境的根源。另外,我国现行会计准则还不能承担起概念框架的功能,所以解决我国商誉问题要在构建概念框架的基础上,结合我国自身特点,提高减值测试效率。