教学课程资源库 更多>>

关键词： 软件测试   软件测试自动化   系统测试  

摘要： 从国际和国内两个方面研究了软件测试发展现状,阐述了软件测试自动化技术的发展趋势,系统测试技术正在向多元化方向发展。

关键词： 面向对象   软件测试   技术分析  

摘要： 现阶段,虽然软件取得了广泛的应用,但因为软件本身不完善而导致的应用事故却时有发生,这给用户带来了比较严重的影响。因此,为了确保所开发的软件不存在缺陷和漏洞,采用面向对象的软件测试技术对其进行测试是完全有必要的,应该引起我们充分的重视。

关键词： 黑盒测试   白盒测试   缺陷   软件测试  

摘要： 软件测试是试图发现程序中错误的破坏性出过程,黑盒测试和白盒测试作为软件测试常用的两种策略,有利于设计成功的测试用例,尽可能多地发现程序中的缺陷,以下主要通过实例介绍这两种测试策略的应用。

关键词： 移动平台   APP   软件测试  

摘要： 随着我国科学技术的不断发展,智能型手机在日常生活中得到广泛应用,手机操作系统日益完善,在手机开发平台辅助的基础上,软件开发人员利用开发工具更高效的开发出移动应用软件即APP。本文通过对基于移动平台的APP软件进行不同维度的测试,进一步探究现阶段APP软件应用存在的相关问题,提出合理化建议,以期推动我国移动应用软件的进一步完善。

关键词： LXI   数据采集器   软件测试   同步测试  

摘要： LXI数据采集器目前正处于蓬勃发展的阶段,符合测试系统发展的趋势,为了保障LXI数据采集器的正常使用、判断LXI数据采集器与LXI协议是否一致并测试系统的其他性能指标是否满足技术要求,本文提出了一种黑盒测试方法,开发一套软件系统,通过截取并分析局域网中与LXI采集器有关的数据包,对LXI采集器进行网络发现的测试、数据通信及其可靠性的测试、同步测试及触发功能测试等。实践证明,该测试系统能够对LXI数据采集器进行有效测试,可靠性高、可维护性高、便于升级、通用性强。

关键词： 管理信息系统   信息处理   软件开发   软件测试  

摘要： 本文主要研究企业管理信息系统建设,首先对企业管理信息系统建设的基本实现功能进行概述,并且对其依赖的技术进行研究,然后针对我国当前企业管理信息系统建设的现状进行分析,并且提出了严格的开发和测试流程对建设策略,从而为企业构建高质量的管理信息系统,最终提升企业的生产质量和管理效率。

关键词： Software testing   Unit testing   Branch coverage criteria   GA   PSO  

摘要： Software testing consumes 50% of total software development cost. Test case design gains central importance in testing activity with respect to quality. The manual test suite generation is a time consuming and tedious task which needs automation. Unit testing is normally done in stringent time schedules by the developers or rarely by testers. In structural testing, it is not possible to check exhaustively all possible test data and the quality of test is dependent heavily on the performance of single developer or tester. Thus automation and optimization is required in generating test data to assist developer or tester with the selection of appropriate test data. A novel hybrid technique is developed to automate the test suite generation process for branch coverage criteria using evolutionary testing. The hybrid technique applies both Genetic Algorithm (GA) and Particle Swarm Optimization (PSO) to automatically generate test data. This technique improves efficiency and effectiveness of test case generation process when compared to applying Genetic Algorithm or Particle Swarm Optimization alone. The performance of proposed technique is evaluated and is observed that hybrid technique reduces the number of iterations by 47% when compared to GA and PSO applied separately and it reduces the execution time by 52% than GA and 48% than PSO.

关键词： 校企合作   软件测试   高职  

摘要： 通过分析高职软件测试专业建设的现状,阐述了学校与企业开展合作的重要性,从人才培养目标、人才培养模式、课程教学体系、实践教学体系、专业师资等五个方面阐述了济宁职业技术学院软件测试专业与企业共建专业进行的有益探索和实践的情况,对其他院校开展软件测试专业建设具有一定的借鉴意义。

关键词： 软件测试   并行系统   迹等价化简工具   形式化建模语言  

摘要： 随着软件产业迅速发展，并行软件系统已经成为主流的软件系统，在人们的生产生活中发挥着十分重要的作用。软件测试是软件生命周期中一项非常重要的工作，对于保证软件产品的质量具有极其重要的意义。然而由于并行软件中存在的并行行为，导致并行软件状态空间规模非常大，甚至呈指数级增长，从而影响软件产品测试工作的顺利进行。\n 当前，工业界和学术界使用的一些测试方法也因为并行软件的状态空间规模过大而无法有效地进行测试工作。本文认为可以使用形式化建模语言CP-nets(Coloured Petri nets)对待测的并行软件系统进行建模，CP-nets适合于描述并行行为，而且引入了数据操作和数据类型的概念，使得模型更加直观清晰、易于理解。基于待测并行软件系统的CP-nets模型及其状态空间进行测试是非常有效的方法。\n 然而，并行软件系统的CP-nets模型仍然具有较大的状态空间，导致测试效果和效率都非常差。因此，本文设计并实现一套CP-nets模型迹等价化简工具，以待测软件系统的CP-nets模型文件作为输入，自动完成符合迹等价化简条件的化简工作，包括有向弧重定向、弧表达式重写等，并自动输出化简后的CP-nets模型。在并行系统模型中化简符合条件的模型元素，其并行特点决定了模型的状态空间规模会大幅下降。迹等价指的是输入输出行为等价，软件功能测试只关注系统输入输出行为而不关注内部不可观察行为。因此，基于化简后的系统模型进行测试，不但不会影响测试工作的正确性，还会因其状态空间规模的下降而提升测试的效果和效率。\n 最后，通过化简实例分析与论证，说明本文所实现的CP-nets模型迹等价化简工具能够对符合迹等价化简条件的CP-nets模型进行有效地化简，从而减少系统模型的状态空间规模，提升测试效果和效率，提高软件产品开发质量。