教学课程资源库 更多>>

关键词： 家政公司   Oracle   软件测试   保姆   门店   经理   免费  

摘要： 在Oracle做软件测试经理时，陶睿从未想过自己的工作有一天会和保姆联系在一起。直到2006年女儿出生，他为找保姆费尽周折。路边的小家政公司虽然付费低廉，且承诺一年免费更换保姆，但当他们去换时，却发现公司太小没有可供更换的人选。吸取这次教训。夫妻俩来到了当时规模最大的爱侬家政。当时门店里坐着七八个保姆，但当他逐步提出要求后．一个也不剩了。“当时没有联网，每个门店都是割裂的，选择很少。我觉得太不科学了。”

关键词： 探索性测试   基于会话的测试管理   脚本测试   第三方测试   软件测试  

摘要： 随着用户对软件质量关注程度的提升,第三方软件测试受到普遍重视,但实际中经常会遇到既要求测试活动有效开展,又留给第三方测试活动时间较短,而且提供的开发文档不全面等问题。运用探索性测试方法能够发挥其快速、灵活的优势,能较好地解决这些困难。但同时,探索性测试也存在着文档不足且测试充分度不易度量等问题;而良好的测试质量管理和完备的文档则是传统脚本测试的优势。针对这些特点,文章提出"脚本-会话测试模型",将探索性测试与经典脚本测试结合,同时扩展基于会话测试管理模式。通过测试某企业信息系统IT事件管理软件,验证该测试模型在B/S架构软件第三方测试中的适用性。

关键词： 计算机   软件测试   方法  

摘要： 随着计算机技术的不断发展，计算机软件已经逐渐深入到人们的日常生活中去，因此软件质量的高低直接影响着用户的使用体验。软件测试是整个软件工程中一个重要环节，它直接关系着软件的能否正常使用以及用户的使用体验。本文根据目前计算机技术的发展形势阐述了计算机软件测试的概念，并对软件测试方法进行浅析。

关键词： 软件测试   演化测试   路径覆盖测试   遗传算法   测试数据生成  

摘要： 针对现有方法主要用于顺序程序的路径覆盖的问题,提出了一种可应用于并发程序路径覆盖的适应值函数构造方法及实现算法,测试者可以运用该方法生成覆盖指定并发路径的测试用例.该方法的核心是通过计算测试用例的执行轨迹和目标路径之间的相似度来评估测试用例的适应值.实验结果表明,该方法为搜索可覆盖小概率目标路径的测试用例提供较强的导向性,并可以完全自动化地为每条目标路径构造出其适应值函数.

关键词： Philosophy of computer science   automated software testing   model checking   model-based reasoning   manipulative abduction  

摘要： Automated Software Testing (AST) using Model Checking is in this article epistemologically analysed in order to argue in favour of a model-based reasoning paradigm in computer science. Preliminarily, it is shown how both deductive and inductive reasoning are insufficient to determine whether a given piece of software is correct with respect to specified behavioural properties. Models algorithmically checked in Model Checking to select executions to be observed in Software Testing are acknowledged as analogical models which establish isomorphic relations with the target system's data set. Analogical models developed in AST are presented as abductive models providing hypothetical explanations to observed executions. The model assumption-algorithmic check-software testing process is understood as the abduction-deduction-induction process defining the selective abduction and turned to isolate a set of model-based hypotheses concerning the target system behaviours. A manipulative abduction process is finally recognized in the practice of adapting, abstracting and refining models that do not provide successful predictions.

关键词： Exception test   Device exception   Device manager hacking   Fault-injection method   Embedded software  

摘要： It is more important to properly handle exceptions, than to prevent exceptions from occurring, because they arise from so many different causes. In embedded systems, a vast number of exceptions are caused by hardware devices. In such cases, numerous software components are involved in these hardware device-originated exceptions, ranging from the device itself to the device driver, the kernel, and applications. Therefore, it takes a lot of time to debug software that fails to handle exceptions. This paper proposes a lightweight device exception testing method, and a related automation tool, AMOS v3.0. The proposed method artificially triggers more realistic device exceptions in runtime, and monitors how software components handle exceptions in detail. AMOS v3.0 has been applied to the exception testing of car-infotainment systems in an automobile company. The results based on this industrial field study have revealed that 39.13% of the failures in exception handling were caused by applications, 36.23% of the failures were caused by device drivers, and 24.64% were derived from the kernel. We conclude that the proposed method is highly effective, in that it can allow developers to identify the root cause of failure for exception handling. (C) 2013 Elsevier Inc. All rights reserved.

关键词： 计算机软件   测试   存在问题   应用软件  

摘要： 本文就计算机软件测试的相关问题展开分析,从而满足当下的计算机应用的需要。在计算机软件的开发应用过程中,要把握好计算机应用的趋势,实现其深度开发体系的健全,以满足当下时代对于计算机的应用需要。

关键词： 软件测试管理   测试软件   测试目标   测试计划   功能  

摘要： 软件测试的目标，是通过各种手段来检验被测试软件是否满足功能性与非功能性的需求。本刊分两期介绍软件测试管理，本期主要介绍软件的测试目标、测试的阶段划分、测试的工作安排，并结合实际，对制定测试计划方案的内容举例分析。

关键词： 软件测试   源代码统计   MFC   VS2008  

摘要： 从软件测试必备的源代码统计功能需求出发,通过分析源代码文件的结构特点,给出了巧妙利用MFC编制源代码统计软件的一种方法,并给出了较为详细的关键代码设计技巧,编制的软件在VS2008环境下调试通过,经过测试验证,可以作为软件测试的一个小工具软件使用。