教学课程资源库 更多>>

关键词： 软件测试   资源冲突   自动检测   嵌入式软件  

摘要： 由于在众多的软件测试工具中,能自动检测共享资源冲突的软件非常少,而共享资源冲突问题是嵌入式软件研制中最常犯的、最不易发现、隐藏最深的问题之一,同时该问题一旦发生,带来的影响后果也极为严重,可能导致软件无法正常运行。为了解决这一问题,本文分析了共享资源冲突情况,并提出了一种针对嵌入式软件共享资源冲突问题检测的方案,使用C#语言编程,实现了自动检测系统,并进行了相关验证。

关键词： 软件测试   测试效果   自动化检测   理论模型   SQL   行为结构   Cookie   未来技术   网站数量   后台服务器  

摘要： 黑客十分青睐通过web攻击企业,为此,企业之中通过采取web软件测试的方式可以提高安全系数。针对此类问题的研究也在不断增加。渗透测试则属于对安全攻击的一种模仿,同时能够对行为结构形成分析,确定是否存在安全漏洞。当前尚未能够形成理论模型,这也造成渗透测试拥有较大水平的盲目性,促使测试效果及准确性受到影响。通过本研究希望能够对未来技术发展提供帮助。20世纪80年代之后,互联网技术不断发展,

关键词： 计算机软件   MVC构架   JakartaStruts框架   软件测试  

摘要： MVC模型分离设计的思想提高了软件的整体质量,然而由于模型只定义了静态架构组件的配置,其并不能明显地提供Web应用程序开发过程中的行为表现,这导致了Web应用程序的描述和其行为特性间较为明显的差异。为了解决这一问题,提出一种行为模型来填补该差异,即对该程序的URL请求序列自动接收机制进行模式化,为Web应用程序提出一个基于行为模式的测试框架。研究表明,当集中于循环行为自动机制时,该框架可提供Web应用程序更好的测试标准。最后,将框架应用于Jakarta Struts框架的配置方案中,其结果表明,该行为模型在对Web应用的测试路径进行分类时取得了较好的效果。

关键词： 自动化测试   白盒测试工具   黑盒测试工具  

摘要： 自动化测试是指软件测试的自动化。随着软件测试地位的提高和测试的不断深入,应用自动化测试工具的企业也越来越多。在软件测试中正确选择和使用自动化测试工具的,既可以提高测试的效率和质量,又可以降低测试成本。本文主要从自动化测试的概念、自动测试工具的分类,以及自动化测试工具在软件测试中应用优势与不足等方面给出阐述。

关键词： 嵌入式软件   软件测试   覆盖测试  

摘要： 嵌入式软件规模日益增大,结构也越来越复杂,对嵌入式软件系统必须进行严格的测试,如何提高嵌入式软件测试的质量和效率已经成为当前研究的重点。介绍当前嵌入式软件测试的3种主要环境,分析嵌入式软件测试的特点,并阐述了覆盖测试基本原理,最后对嵌入式软件覆盖测试关键技术进行了探讨。

关键词： 嵌入式计算机   软件测试   关键技术  

摘要： 嵌入式系统是以应用为中心,以计算机技术为基础,并且软硬件可裁剪,适用于应用系统对功能、可靠性、成本、体积、功耗有严格要求的专用计算机系统,为保证计算机的相关功能的可行性,需要对嵌入式计算机软件进行测试,下面文章就嵌入式计算机软件测试关键技术进行分析探讨。

关键词： Client/Server系统   软件测试   测试策略  

摘要： 本文主要针对 C/S系统的结构和特点,介绍了 C/S系 统的测试原理,并根据测试原理提出C /S系统的测试策略。最后介绍了该策略的一个应用实例,并给出了相应测试指标,实例表明该策略极大地节省了测试成本。

关键词： 测试用例集约简   软件测试   向量相似度   二元向量  

摘要： 测试用例集约简的目的是在保证原有测试用例集覆盖度不变的情况下,使用一定的方法策略,尽可能的缩减测试用例集的数量,从而达到提高软件测试效率、降低测试成本的目标.本文的向量相似度算法是先利用二元向量的相似性函数,然后计算出测试用例之间的相似度、覆盖度和冗余度,最后根据计算结果选择最佳测试用例,从而得到约简后的最优或近似最优测试用例集.通过实验表明,该算法与现有的GRE算法相比:约简后测试用例集的数量平均降低约10%,而测试用例集总的冗余度平均降低约13%.

关键词： 软件测试   遗传算法   哈明函数   测试数据自动生成  

摘要： 测试数据自动生成是软件测试的基础,也是测试自动化技术实现的关键环节。为了提高测试自动化的效率,在结合测试数据自动生成模型的基础上,提出一种传统遗传算法的改进算法。该算法使用了自适应交叉算子和变异算子,并引入模拟退火机制对其进行改进。同时,该算法还对适应度函数进行了合理的设计,以加速数据的优化过程。通过三角形程序、折半查找和冒泡排序程序,与基本遗传算法、自适应遗传算法进行了比较与分析,并且对改进算法做了性能分析。实验结果表明了该算法的实用性以及在测试数据生成中的可行性和高效性。

关键词： 安全关键性软件   适航认证   DO-178C   GSN   论证模式  

摘要： 安全关键软件已广泛应用于众多领域.鉴于其对防范灾害风险方面的特殊要求,必须符合相关领域的安全性标准.但是目前对于如何建立面向标准的目标符合性论证模型,尚缺乏有效的方法.针对DO-178C标准中关于软件测试过程目标的特征描述,提出了一个基于GSN的目标论证模式描述框架,分别从解决问题、解决方案、应用方法和产生效果4个方面对目标论证模式进行描述;同时使用一种扩展的安全案例模式描述方式,用以描述面向标准的目标符合性论证模式.在此基础上,提出了3种面向DO-178C软件测试过程的目标符合性论证模式,分别是代码-需求符合性论证模式、需求测试覆盖率论证模式、结构测试覆盖率论证模式,并提出基于这些模式建立针对特定项目的目标符合性论证结构的实例化方法,为建立面向DO-178C软件测试过程的目标符合性论证结构提供了有效指导.通过一个机载嵌入式实时操作系统的案例,说明了提出的目标符合性论证模式的可用性和有效性.