教学课程资源库 更多>>

关键词： IaaS产品   云测试技术   云计算   软件测试  

摘要： 随着云计算的发展,为了保障云服务质量的可靠性,云测试的研究日益受到关注。除了基于云计算资源的软件测试,针对云中的基础设施及云环境本身的云平台测试是云测试的另一个重要方面。在云产品的测试过程中,作为云平台基石的IaaS性能好坏将严重影响其他层云服务质量的可靠性。通过研究IaaS的体系结构和系统部署,从物理服务器、虚拟机、策略、安全等不同层面分析了其主要测试点,并展望了未来亟待解决的关键问题,为IaaS测试相关研究提供了参考。

关键词： mining in software repositories   software metrics   KNIME   defect prediction  

摘要： Context. Software data collection precedes analysis which, in turn, requires data science related skills. Software defect prediction is hardly used in industrial projects as a quality assurance and cost reduction mean. Objectives. There are many studies and several tools which help in various data analysis tasks but there is still neither an open source tool nor standardized approach. Results. We developed Defect Prediction for software systems (DePress), which is an extensible software measurement, and data integration framework which can be used for prediction purposes (e.g. defect prediction, effort prediction) and software changes analysis (e.g. release notes, bug statistics, commits quality). DePress is based on the KNIME project and allows building workflows in a graphic, end-user friendly manner. Conclusions. We present main concepts, as well as the development state of the DePress framework. The results show that DePress can be used in Open Source, as well as in industrial project analysis.

关键词： 项目驱动   软件测试   课程改革  

摘要： 根据软件测试人才需求和人才培养之间的矛盾,提出基于项目驱动的软件测试课程改革,通过课堂教学和项目驱动两个环节,使学生能够在掌握基本知识的前提下,灵活的运用到实际项目中。

关键词： 软件测试   测试工具   测试管理   企业需求  

摘要： 为了扭转高校对软件测试人才培养存在的一些意识误区,通过阐述软件测试的专业内涵,提出高校在教学中引入软件测试课程必要而可行,只要转变思想,在教学中模拟企业的测试案例,锻炼学生的综合素质,就可以培养出深受企业喜爱的软件测试综合性人才。

关键词： 计算机软件测试平台   概念   特点   方法  

摘要： 计算机软件在投入使用前必须要通过测试平台的测试才能使用,而测试平台的选用直接影响软件功能的完整性,文章就计算机软件测试平台进行了探讨。

关键词： 数值计算   浮点数值   数值稳定性   扰动方法   软件测试  

摘要： 很多用于关键领域的数值计算程序使用浮点数格式作为数据的内部表示,但由于浮点数在表示上存在误差,这类程序的正确性很难得到完全的保障.本文提出了一种自动的检测途径来帮助应用程序的开发人员获得他们所写代码的稳定性信息.它通过两种具体的扰动技术——数值扰动与算式扰动,来扰动底层的数值量和计算步骤,统计扰动下的运算差异,并最终评估数值计算代码的稳定性.数值扰动随机动态地改变程序数值的有效数字尾数,通过模拟误差的引入来观测程序的计算结果是否稳定;而算式扰动针对程序中算术表达式的计算过程,通过程序变换方法,将其转换成在实数域等价,但语法上不同的形式,然后以这些算式在浮点数下执行结果的差异来判断数值计算过程的稳定性.更进一步,本文使用了并行扰动算法和蒙特卡罗(Monte Carlo)方法来提高扰动技术的处理规模.当用户的硬件资源较丰富时,扰动技术将利用并行算法来提高运行效率;而当硬件资源不足时,蒙特卡罗方法也能在较短时间内得到一个可以接受的结果.我们对本文所提出的技术做了实现,并对文献中采用的一系列数值程序和GNU科学计算库(GSL)做了评估,评估结果显示,本文为数值计算稳定性的自动测试提供了一种实用技术.

关键词： 软件测试   测试方法   测试原理  

摘要： 软件开发过程中必不可少的一个阶段就是软件测试,软件测试对软件开发和软件测试人员来说,是一件非常有趣且不同寻常的事情。软件测试的方法及测试用例直接影响软件测试的结果,测试过程中必须遵循一定的原则,否则会导致软件中存在大量的缺陷,这些缺陷会会带来不同程度的各种灾难,因此,软件测试至关重要。

关键词： Gompertz模型   量化管理   软件测试  

摘要： 如何量化软件测试的过程,在CMMI模型中,除了建立过程性能模型和基线,还可以引入可靠性增长的模型对软件测试过程产品的质量的进行预测,采用Gompertz模型实现了对软件测试过程的投入进行预测,以及产品的质量进行预测的方法。

关键词： 软件测试   单元测试   区间运算   路径选择   不可达路径  

摘要： 单元覆盖测试的目标是达到尽可能高的覆盖率。为了提高自动化单元测试的覆盖率,本文提出了一种面向目标覆盖元素,基于回溯法遍历程序控制流图,选择可达路径的方法。该方法从函数入口节点开始,进行深度优先的路径遍历,以当前的部分路径是否可达和当前节点是否能够到达目标覆盖元素,作为回溯的条件进行回溯,最终获得一条经过目标覆盖元素的可达路径。最后结合测试用例生成对5个函数单元与原有的选路方案进行语句覆盖测试的对比实验,平均覆盖率从70%提升到了90%,验证了该方法能够有效地提升覆盖率。又针对linux实际大工程进行语句,分支,MCDC覆盖的选路实验,能够获得较高的覆盖率,验证了该方法能够适用于多种不同覆盖准则下的选路。