教学课程资源库 更多>>

关键词： 安全协议   模糊测试   软件测试   IKE协议  

摘要： 互联网密钥交换(IKE,internet key exchange)协议用于在IPSec(internet protocol security)协议中进行身份验证和密钥协商,其安全性对保护IP通信至关重要,复杂的协议逻辑导致协议实现中难免存在安全漏洞。模糊测试是检测协议实现中潜在漏洞的有效手段,但将现有模糊测试工具直接应用于IKE协议时,存在生成测试用例质量不高、难以探索深层状态空间等局限性。针对上述问题,设计了基于IKE协议语法的变异策略来减少无效测试用例的生成,同时增加测试用例的多样性;引入了基于进化策略的变异调度方案来自动优化变异算子的概率分布,进一步提高生成高质量测试用例的概率;设计了消息处理器用来维护协议交互上下文信息并执行密码学相关的操作,从而支持在黑盒条件下对IKE协议进行测试,并实现对深层协议交互行为和状态空间的探索。基于上述方法实现了IKE协议有状态模糊测试工具IKEChecker,该工具支持对IKEv1和IKEv2协议进行测试。对两种广泛使用的支持IKE协议实现的开源软件strongSwan和Libreswan进行测试,发现4个未公开漏洞;通过与其他模糊测试工具对比,评估了IKEChecker在漏洞检测方面的效率。

关键词： 软件工程   信息技术   软件测试技术  

摘要： 阐述信息技术背景下的软件测试技术课程的教学实践。针对信息技术的发展趋势和需求,探讨软件测试技术课程的教学内容和方法,结合实际案例分析教学实践中的一些关键问题和解决方案,并总结软件测试技术课程教学实践的经验与启示。

标准号: TY/T 1007-2024

摘要： 本文件规定了体育赛事信息化软件测试的总体要求，以及测试计划、供应商测试、集成测试、用户接受测试和一致性测试的相关要求。 本文件适用于体育赛事信息化软件测试与测试管理。

关键词： 堆栈测试   Vivado   软件测试   堆栈溢出  

摘要： 针对航天型号嵌入式软件堆栈溢出安全隐患,基于Vivado集成开发环境对堆栈分配进行深入研究,提出了基于Vivado集成开发环境的堆栈测试方法。实验表明:基于Vivado集成开发环境的堆栈测试方法可以有效预防该平台下软件堆栈溢出的风险。

关键词： 软件测试   标准化建设   平台构建  

摘要： 在进行软件测试标准化建设时,可以在软件企业内部构建起一套共同话语体系,从而破除跨部门、跨企业、跨产业链协作的壁垒,降低软件开发的成本,提高软件的性能和可靠性。本文以系统软件测试标准化体系建设为例,介绍了标准化建设在系统软件测试过程中的意义和系统软件测试标准化建设的目标,探讨了系统软件测试标准化平台构建的具体实施策略,以供相关从业者参考。

关键词： 软件工程专业   软件开发工具   程序设计语言   软件需求分析   软件维护   软件测试   产教融合   岗位要求  

摘要： 软件工程主要研究计算机各类软件的构造、设计、开发方法、测试、维护等相关的知识和技术,涉及程序设计语言、数据库、软件开发工具、系统平台、设计模式等多方面,进行软件需求分析、软件设计、软件测试、软件维护等。高职院校的软件工程专业产教融合对学生就业具有促进作用,旨在培养符合当前软件行业发展需求、岗位要求的专业人才,培养具有良好职业素养、道德品质的专业人才,使软件工程专业人才能够更好地发挥自身价值。同时培养能够在实际的工作中主动担当,并且能够积极与同事协作,促进公司各项工作的稳定开展。

关键词： 软件测试   单元测试   基于属性的测试  

摘要： 软件测试是保证软件质量的重要手段。基于属性的测试通过验证软件系统是否满足一组明确定义的属性或规范来评估其性能。通过对属性选择、基本原理的简要介绍,并结合实验展示了基于属性的测试在具体的单元测试情境下的应用。实验采用了QuickCheck框架,并以一个二叉搜索树插入操作的测试为例,演示了在不同模式下的测试设计和执行过程。通过该实验,展示了基于属性的测试在单元测试中的有效性和实际应用。

关键词： 安全生产   安全管理   第三方测试  

摘要： 随着信息技术的快速发展,安全生产领域正在经历一场深刻的信息化变革。第三方测试作为确保安全生产信息系统质量和可靠性的关键环节,其重要性日益凸显。目前,安全生产信息化系统在运行中还存在诸多问题,通过深入剖析这些问题的产生机理,并结合第三方测试的基本概念、分类和标准,以及在信息技术创新领域的实践,可以发现在安全生产信息化系统中引入第三方软件测试后,可极大地提升安全管理效能,进一步确保安全生产信息化系统在信息技术创新浪潮下,能够更好地发挥其作用和价值。

关键词： 软件测试   绩效考核   模型构建   权重  

摘要： 当前,计算机水平高速发展,软件产品逐渐走进人们的生活当中,所以对其质量的要求提出了更高的要求。软件质量作为企业的核心竞争力,所以被格外重视,如何提高软件测试员工的积极性,成为技术型创新公司的重中之重。绩效考核被看作提高员工工作积极性的方法之一被大多数技术创新型公司运用。文章提出软件测试绩效考核的定义与影响因素。基于此从各个测试阶段建立软件测试绩效考核体系模型,再利用专家打分法和层次层析法将各级指标进行赋值。并从绩效工资发放、岗位调整、日常培训工作方面提出绩效考核体系模型的运用。

关键词： 项目贯通式教学   高等职业教育   软件测试   教学实践  

摘要： 新一代信息技术不断发展,对教师教学的方式和方法提出了新的要求。针对高职学生的特点与人才培养目标,结合“软件测试”课程的特色,采用项目贯通式教学进行教学实践研究,分析、总结了适合高职“软件测试”课程的教学思路与教学模式。