教学课程资源库 更多>>

关键词： 软件测试   运行时验证   形式化规约   层次哈希森林   有限状态自动机  

摘要： 随着软件规模的不断增大，如何保证软件可靠性和安全性成为学术界和工业界越来越关注的问题。目前，软件测试、静态分析和模型检测是保证软件质量的常用方法，但它们都存在一定缺陷。静态分析容易产生对错误的漏报和误报，且很难处理指针和复杂数据结构。模型检测则可能导致状态空间爆炸问题。而软件测试需要手动生成测试用例，且无法验证形式化规约。\n 运行时验证是一种新型的程序自动验证技术，它是一种在程序运行过程中验证系统是否满足或违背给定性质的方法。在运行时验证中，使用监控器来对系统进行验证。监控器从给定性质中产生。在程序执行时，监控器通过不断检测程序的执行情况来判断它是否满足给定的性质。C语言是一种重要的编程语言，使用C语言编写的程序具有执行效率高、可移植性强等优点。当前针对C程序的运行时验证工具较少。JavaMOP(Monitoring-Oriented Programming)是一个针对Java程序的运行时验证工具，但它无法对C程序进行验证。\n 本文设计了一种针对C程序的监控器规约语言，用于描述针对C程序的形式化规约。该语言借鉴了面对方面编程的思想，可以支持基于有限状态自动机、正则表达式和线性时序逻辑的参数化运行时验证。本文设计了支持该语言的参数化运行时验证方法。为了对运行时产生的大量监控器进行索引，我们提出并实现了一种层次哈希森林的数据结构。在此基础上，本文利用C++语言和开源工具flex、bison实现了原型工具MOVEC(MOnitoring,VErification and Control)。与JavaMOP进行性能对比实验。实验结果证明MOVEC是可行且高效的。

关键词： Software test process improvement   Systematic literature review   Case study  

摘要： Software test process improvement (STPI) approaches are frameworks that guide software development organizations to improve their software testing process. We have identified existing STPI approaches and their characteristics (such as completeness of development, availability of information and assessment instruments, and domain limitations of the approaches) using a systematic literature review (SLR). Furthermore, two selected approaches (TPI NEXT and TMMi) are evaluated with respect to their content and assessment results in industry. As a result of this study, we have identified 18 STPI approaches and their characteristics. A detailed comparison of the content of TPI NEXT and TMMi is done. We found that many of the STPI approaches do not provide sufficient information or the approaches do not include assessment instruments. This makes it difficult to apply many approaches in industry. Greater similarities were found between TPI NEXT and TMMi and fewer differences. We conclude that numerous STPI approaches are available but not all are generally applicable for industry. One major difference between available approaches is their model representation. Even though the applied approaches generally show strong similarities, differences in the assessment results arise due to their different model representations. (C) 2015 Elsevier Inc. All rights reserved.

关键词： CDIO   软件测试课程   教学改革  

摘要： CDIO是新时期产生的一种新型教育模式,提倡在"做中学习,在项目中教育和学习",CDIO教育模式在培养个人能力、理论知识体系、人际交往能力等方面有很大的优势,对于当前的高职《软件测试》课程教育,其最大弊端就是实践教学不强,从CDIO的角度开展高职软件测试课程教学改革,能全面促进高职软件测试课程教学质量的提高。

关键词： 嵌入式软件   软件测试   测试模型   无人直升机   测试用例  

摘要： 如今嵌入式系统在越来越多的场合被使用,嵌入式软件的质量是影响系统研发进度及结果的关键因素。鉴于此,嵌入式软件测试工作逐渐受到软件研发部门及质检部门的重视。特别是在航空航天等国防军事领域,保障产品的高质量和高可靠性显得尤为重要,因此,对应用在这些领域的嵌入式软件进行专业的测试很有必要。本文基于某无人直升机测控链路项目,对嵌入式软件测试技术进行研究。资源有限、专用性强、与硬件结合紧密和实时性要求高是嵌入式软件的特点,同时软件的实际运行环境跟开发环境也是有差别的,因此在对嵌入式软件进行测试时不能直接运用传统测试模型和技术。本文对静态和动态测试技术进行研究,详细阐述白盒和黑盒测试方法。同时研究通用软件测试V模型、W模型和X模型,寻求适合嵌入式软件的测试模型。在新测试模型的指导下对XX无人直升机测控链路系统的嵌入式软件开展测试工作。按照模型制定详细的测试流程,对每个阶段涉及的测试对象、内容和技术进行说明,同时设计详细的测试用例;使用Bugzilla缺陷跟踪系统对软件Bug进行管理;使用C++Test测试工具进行静态测试和单元测试;系统测试时,考虑到被测软件的特点和应用领域特殊性,利用C++编程语言开发多通道发包及接收解析软件,专门用于此项目的系统测试。测试过程中发现的软件缺陷,形成问题报告单。开发组人员根据测试人员提出的问题报告单对代码进行修改,并通过回归测试。最后和硬件一起交付,成功完成该项目软件开发的各项任务。

关键词： 软件工程   测试挑战   开发模式  

摘要： 信息化时代的意义并不是表现为对庞新时代信息的掌握,而是表现在其能够对相关数据实施专业化的处理。信息化时代本身具有多个层面的特点,一是其数据体量非常巨大,二是其数据的类型较为繁多,三是其价值密度明显偏低,存在过多不相干的信息,需要实施深度挖掘。四是信息的处理速度非常快,具有立竿见影的效果和以往所采用的传统数据挖掘技术存在本质的区别。在这种背景下,多数软件的形态也随之发生改变,实施软件测试的重点及方式等也处于不断发展的状态当中,本文对此进行了研究。

关键词： 软件测试   评分模式   优化  

摘要： 分析第43届世界技能大赛商务软件解决方案项目的真题,解读了本届的选手总评分表、裁判评分表及主观和客观评分的过程,结合企业软件测试的方法,根据世界技能大赛技术标准、竞赛规则,并且充分考虑竞赛的可实施性,提出了优化竞赛评分模式的思路。

关键词： 在线考试   结构化分析   系统   B/S模式   软件测试  

摘要： 伴随着计算机技术以及互联网技术的快速发展,学校也已进入信息化时代。为了使学生考试管理更加科学规范,更加体现公平性,经过调研分析,决定开发一款基于Web的在线考试系统。本文采用自顶向下的结构化的系统分析方法,阐述了一个功能较为全面的在线考试系统的设计与开发过程、分析了开发过程中使用的关键技术。本文首先进行了项目概述,其次简单介绍了项目开发的相关背景、项目开发的目的以及项目开发的意义；接下来是系统规划阶段,此阶段通过对实际业务流程调研,在系统分析的基础上设计了系统的组织架构,完成了对在线考试系统的需求分析、完成了可行性分析报告、以及业务流程的相关分析,通过对比分析优化,最终确定了系统的业务流程；结合需求分析,对系统进行了整体分析,完成了数据流分析和数据字典设计以及数据库的设计与分析；在系统设计阶段,对在线考试系统进行了整体功能模块的划分,完成数据库的设计以及考试系统界面的有关设计。在这个阶段对各个功能模块进行了详细分析与设计,形成了该系统的功能模块图,并在此基础上选择了合适的开发模式,挑选了开发工具；之后对数据库的设计先进行了概念结构设计,逻辑结构设计,最后完成了数据库表的设计,实现了在线考试的业务流程与功能。本系统在设计方面采用B/S (Browser/Server)模式,同时使用JSP (Java Server Pages)技术进行基本页面的设计与功能实现,后台数据库选用SQL Server 2008数据库。通过在线考试的实际运用,检验了系统的功能,以及系统可以承载的压力,本系统的设计实施为我系在线考试系统的运行做了铺垫,为在线考试的实施提供了良好的条件。系统满足2000人在线使用,通过在成贤学院计算机系2000人同时在线使用时,其中Web服务器使用率27%,数据库服务器2使用率22%,系统反应时间为0.485s,满足系统的设计要求。

关键词： 软件测试   测试点   场景法   Bug票  

摘要： LED检测及Bin库系统是LED一体机检测设备的检测及仓储运输模块,是一体机重要的功能模块。为了发现这两模块上位机软件中存在的缺陷,需要对其进行软件测试。本文研究了LED检测及Bin库系统的上位机软件黑盒测试。本文的研究内容如下:针对测试对象的机械特点和软件功能,分别对模块进行了测试需求的分析。针对检测区分析了质量测试要点,针对Bin库系统小车分析了业务流程。实现了对检测区及Bin系统测试需求的清晰认识。分析了测试关注度和测试方法。在测试需求分析的基础上,总结研究了测试对象的测试点。采用等价类划分法,边界值分析法,错误推测法对检测区软件进行测试用例设计,采用场景法对小车业务流程进行测试用例设计。设计研究了Bug票的规格和使用机制,满足测试中的Bug记录及追踪。并选择简化了测试用例,兼顾效率和质量。分析了软件操作的软硬件要求,搭建了测试环境,满足测试所需要的各种环境条件。对测试模块进行了按权值优先级排序,并根据排序结果进行测试用例执行。分析研究了Bug票中Bug的分布特点,发现了缺陷潜在较多的部位。基于Bug票的研究,进行了回归测试。

关键词： 软件测试   自动化测试   Selenium WebDriver   Selendroid   测试框架  

摘要： 时代在变化,信息产业的Internet技术正在不断发展与进步,在日常生活当中越来越多的应用正朝着基于Web的方向发展,即我们通常所说的B/S架构,它直接通过浏览器实现人机交互。基于B/S架构的Web软件承担着数据的发布、复杂的应用事务处理以及大量的数据处理。为了满足不同用户的需求,给用户提供良好的体验,这种B/S架构的Web应用同时还有对应的Android系统端和IOS系统端,在给软件开发者提出更高要求的同时也预示着软件测试人员面临着巨大挑战。传统的手工测试包含了大量的手工重复操作,自动化测试则避开了手工测试的弊端,使测试效率更高,同时也减轻了手工测试的负担。本文研究了Web和Android系统的自动化测试,在满足Web及Android系统同时交叉进行测试操作的这一条件下,提出了一种混合型的基于数据驱动、脚本模块化和关键词驱动的自动化测试框架,并通过实际项目来验证了该框架的应用。本文中所使用的自动化测试框架是开源框架Selenium WebDriver和Selendroid,Web端使用Selenium WebDriver, Android系统端则使用对应的Selendroid(被称为Android的WebDriver)。Selenium WebDriver是比较成熟的一款开源软件,主要用来做Web端系统应用的功能自动化测试；Selendroid是基于Instrumentation的框架,可以和Selenium WebDriver同用一套API,因为完全兼容Webdriver协议。该框架的执行体系是eclipse,脚本语言使用的是Java,在eclipse中可以建立.properties文件,此文件可以保存测试所需的测试数据、系统的配置数据(如指定的URL),测试过程中实现了测试数据与测试脚本的分离,在代码的开发阶段,使用Firebug定位待测Web页面元素,最后使用单元测试框架Junit驱动测试并生成测试报告。

关键词： 集成仿真测试   软件测试   业务驱动测试   集成测试  

摘要： 银行业务随着市场经济的发展而迅速开展,并且呈现多元化多渠道发展,软件系统的复杂程度、安全性以及性能的要求越来越高,同时银监会要求在“十二五”期间各银行加强测试管理工作,完善各自的测试管理制度与流程,强化对测试方法的运用,对测试工具的使用与研究要加深,测试自动化程度要进一步提高,测试效率和测试质量要进一步提升。根据山东农村信用社自身业务特点,建立健全测试管理体系,为确保项目建设的顺利进行,将加强项目建设管理,探索应用项目管理工具,建立健全的项目测试管理体系。严格项目建设过程评审,强化项目验收管理,同时针对集成仿真测试系统的需求进一步提升。集成仿真测试系统即可以很有效的提升自身业务系统的健壮性,又可以在大项目中关联程度强的子项目建设过程中,加强系统测试工作。普通自动化测试工具仅仅能按照预制测试用例流程进行测试工作,而由于系统间关联的可变因子导致的测试过程中,测试用例需要及时根据可变因子进行动态调整,保证测试过程顺利进行。如果使用普通自动化测试工具,测试用例编写的工作量将指数级增长,本集成仿真测试平台的主要工作便是利用仿真技术,将可变因子与测试用例整合,在测试过程中进行管理。本系统实现以下的业务目标：1、适用于集成测试的测试规范与标准,实现测试的标准化。测试工作首先要在软件开发前进行需求评审,以及开发过程中文档评审、代码走查等工作介入,最终实现软件监理,实现从事后测试,向质量控制上转型。合理调配资源,跟踪管理测试工作和使测试工作标准化、规范化、形成测试过程中的资源共享。2、仿真测试得到广泛应用。通过集成仿真测试平台实现测试过程减少对测试环境的依赖,实现动态过程测试,由单一自动化测试用例测试,转向自动化测试。仿真测试应用领域越来越广,实现静态测试与动态测试,对业务完整性测试提供完美支持。3、业务场景驱动,全生命周期的软件测试。全生命周期的软件测试,从软件需求产生、软件研发、软件运行直至系统下线的完整生命周期,涵盖单元测试、集成测试、系统测试、UAT测试等。实现业务场景驱动测试,业务链的完整测试,以及端到端的测试,并可追溯。4、软件测试复用。实现测试流程、测试方法、测试案例、测试用例、测试数据、测试中间结果的复用。5、测试工具支持。给单元测试的开发人员提供有效的仿真工具,给行内系统间集成测试提供有效的仿真工具,给第三方(银联、司法等)提供有效的仿真测试工具。