教学课程资源库 更多>>

标准号: SJ 30013-2018

摘要： 本标准规定了基于测试工具的测试框架模型，以及普通软件和可编程逻辑器件软件的管理要求、技术要求和质量要求，并建立测试工具与测试级别的映射关系。本标准适用于软件开发人员、测试人员、项目管理人员，测试工具的管理人员。

标准号: SJ 30011-2018

摘要： 本标准规定了军工软件多层次测试过程模型、软件(含可编程逻辑器件软件)通用的测试过程以及项目级别的测试管理要求。本标准适用于军工软件开发人员、软件测试人员、质量保证人员和项目管理人员等。

标准号: SJ 30014-2018

摘要： 本标准规定了军工软件测试的文档模板。本标准适用于军工软件开发人员、测试人员、质量保证人员和项目管理人员。

关键词： 嵌入式系统   软件测试   测试方案   软件插桩   性能测试  

摘要： 由于嵌入式系统具有实时性要求高、硬件资源有限、运行环境多样、开发工具昂贵等特点,使嵌入式软件测试面临着许多新的问题,找到一种合适的测试方案进行快速有效的测试显得愈加重要。本文分析了多种软件测试方法和主流嵌入式软件测试工具,在此基础上提出一种实用的嵌入式软件测试方案。使用赋值语句插桩,并通过嵌入式控制器有限的I/O资源,实时传输插桩信息,由此获得被测软件的覆盖率和时间性能参数。该方案不需要专用测试软件和昂贵的测试适配器,实验结果显示所获取的性能参数是精确有效的。

关键词： 软件测试   信息工程建设   稳定与安全  

摘要： 软件测试在实际的信息工程建设当中扮演着非常重要的角色,它对整个工程发展速度的加快起着重要的推动作用,然而伴随时代的发展,其稳定性与安全程度方面也出现了一些不足。为了对信息工程建设的效果与效率进行保证,相关人员需要使用科学的软件测试方法,利用其给整个工程建设系统的运转提供有效的保证,这样才能够让信息工程拥有一个更好的发展基础。本篇文章主要针对软件测试在信息工程建设当中的运用进行了简要的分析,并对其未来发展的方向等问题进行了一定层次的讨论。

关键词： 智能网联汽车   软件测试   机器人   测试云   质量评价  

摘要： 随着互联网技术的日新月异,传统的汽车行业发展到这一阶段诞生了革命性的产物-智能网联汽车。智能网联汽车作为一个新兴的跨界产品,对其所做的测试除了传统汽车测试包括的软硬件及接口测试外,还必须在结合智能交通系统(ITS)的基础上,对其操作系统及移动应用软件进行全面有效的测试。仿真技术,机器人技术及云端技术作为可以提高测试效率和安全性的手段被应用到智能网联汽车的测试中来。智能网联汽车的测试是一个复杂的过程,如何把不同阶段、不同类型的测试结合在一起;以及如何评价智能网联汽车的质量是对软件测试领域提出的新挑战。

关键词： 软件测试   C代码   测试用例   规则检测工具  

摘要： 软件测试是软件开发生命周期中最重要的活动之一，也是保证软件质量的重要手段。特别是在诸如航空航天、运输控制系统等众多安全关键领域，保证C代码的正确性显得尤为重要。为此，研究人员针对这类安全关键领域，提出了各种测试标准来降低代码里的安全风险。比如，在为待测系统设计高质量的测试用例方面，修改条件/判定覆盖准则(MC/DC)用来作为评估软件测试过程的有效覆盖指标，它由美国联邦航空管理局(FAA)的DO-178B标准认证通过，并且要求必须使用该准则对安全关键型软件（A级软件）进行测试;在代码编程规范方面，中国航天科工集团提出了针对航空航天领域的《航天型号软件C语言安全子集》。\n 本文以航空航天质量关键领域的安全性为背景，针对该领域中的相关标准文档，从两个不同方面入手提出问题的解决方法来提高软件测试自动化程度的目的。一是，为待测系统设计高质量的测试用例，以MC/DC覆盖准则为研究对象，提出一种基于SAT的算法来找出MC/DC准则的最小测试用例集;二是，在保证软件代码的正确性与可读性等方面，开发一个C代码的规则检测工具。在MC/DC最小测试用例集的自动生成问题中，实验结果表明，本文所提出的算法相比于其它基于启发式的算法具有更高的可靠性，算法能保证在一定规模内求出问题的最优解。并且对于实际问题中判定的复杂度，基于SAT的方法同时具有很高的求解效率。实验结果也首次揭示了一个现象，即大多数（超过99％）的判定表达式可以被仅由m+1个测试用例MC/DC覆盖，该大小正好是理论解范围的下限。在代码规则检测问题中，本文基于Clang编译器设计和实现了一个易扩展的代码规则静态分析框架Crulet，旨在方便开发者在框架中自定义自己的规则检查器，并根据《航天型号软件C语言安全子集》编程规范文档，我们在Crulet框架中实现和嵌入了85个针对C代码分析的规则检查器。

关键词： 数据库   审计系统   软件测试   网络环境  

摘要： 在信息安全备受关注的背景下，数据库审计作为信息安全保护的有效手段被广泛应用。随着网络技术的发展，审计系统已由传统的审计方式发展成为网络环境下基于代理的审计方式，使得审计系统自身的安全变得尤为重要，同时对审计系统的测试工作也变得更复杂。目前没有成熟的测试工具能够对网络环境下的数据库审计系统进行全面测试，审计系统本身有无安全隐患无法评估。\n 针对此问题为网络环境下的审计系统设计开发了一套测试组件，以国家标准《信息安全技术信息系统通用安全技术要求》和《信息安全技术数据库管理系统安全技术要求》为测试标准，着眼于审计安全保护测试、审计功能测试和系统网络结构检测三个方面，涵盖了审计数据传输安全性检测、审计数据存储安全性检测、实时报警功能检测、数据同步性能检测、审计分析报告检测等七个安全功能测试点。为每一个测试点设计了测试方案，划分程序模块，各个模块之间交互协作完成测试任务，得出审计系统是否达标的测试结论。\n 测试组件通过网络数据包过滤技术和基于关键字匹配的密文检测方案测试审计系统的网络容错性和审计数据的加密安全性；从不同的角度以不同的用户身份尝试破坏审计数据，并根据操作返回的结果检测审计数据的存储安全性；从准确性和实时性两个方面，通过邮件自动匹配的方式检测实时报警功能是否达标；采用轮询的方式获取系统中审计数据的同步时间，检测同步功能的及时性和准确性；通过制定SQL操作集的方式模拟数据库的使用模式，对比实际数据和趋势数据获取系统预测的误差，来检测系统趋势的合理性。\n 对审计系统oracle audit vault进行了测试，结果表明测试组件能够顺利有效地帮助测试员完成测试任务，在一定程度上实现了测试自动化。

关键词： 软件测试   互联网时代   软件工程   特色专业建设  

摘要： 加强专业特色建设是提升专业核心竞争力的关键。互联网的发展和人工智能、云计算、大数据、物联网等新技术的应用,给软件工程专业建设带来挑战和机遇。分析软件测试在软件工程中的地位与作用,以及互联网时代软件测试的特点,探讨互联网时代对软件测试人才的基本、中级、高级三个层次的能力需求,提出相应的课程体系来培养这些能力,从而建设基于软件测试的软件工程特色专业。

关键词： 软件测试企业   金融产品   组织设计   工作流程  

摘要： 现在的金融行业与过去相比，与信息技术的关系越来越紧密，依赖程度也越来越高。作为金融业的分支，银行业中的I银行，I银行投入了大量资源，建成了以信息科技部领导为核心，下挂软件研发、产品测试与生产运行三个中心，一部三中心信息科技机构，通过职能独立来进行专业化建设，帮助其科技实力一直处于业界领先地位。在此背景下，B机构以“业界领先的金融产品测试机构”作为目标，成为I银行信息科技体系中的重要一环。从成立至今，B机构经历了大约六个阶段的演进，持续高速发展，工作职责也伴随着I银行业务发展需求变化对科技建设的需求变化中不断变化，但总体趋于专业化的方向，其组织规模也持续扩张。在经过十八年的高速发展后，B机构目前的组织模式面临着前所未有的挑战:一是工作量和复杂度不断增加;二是产品上线周期缩短对测试质量的压力不断增加;三是对B机构的测试工作质量要求越来越严格;四是跨条线甚至跨部门合作复杂度不断加大;五是由于机构扩张，在组织结构的节点，无论是工作安排、协调还是汇报的信息压力激增。B机构一方面是我国专业化机构测试工作的先驱者之一，其组织规模之庞大，也是大多数公司所无法比拟的，曾经饱受金融领域的赞扬和学习;但另一方面，在新技术和互联网金融的冲击下，其应变却没有跟上战略需求，走入了一个瓶颈期。\n 由于新兴IT技术不断与传统产业结合不断加大，而我国软件测试的成熟度、方法论和产业化水平还不足以支撑高速发展的技术革新，很多测试公司还处于起步阶段，而近千人的机构更是少之又少企业从起步到成长，组织结构设计是必经之路，也是影响企业发展的重要基石。组织架构设计是企业管理的核心主题之一，没有最好的组织架构，只有最适合的组织架构，灵活运用理论并结合客观实际去解决管理问题，是作者力图实现的研究目标。本次组织设计的创新点主要是结合B机构特点，进行专业新增和重组和强矩阵设计，辅助以少量人力政策变化，考虑的一套综合解决方案。通过该套方案，作者力图解决B机构的一些管理问题，同时作为测试领域后进者的一些经验参考。\n 通过对B机构的组织优化方案的研究和分析，可以总结出以下结论:企业在不同阶段，必须有与之目标配合的架构作为支撑。而设计架构，必须从纷杂的事务性工作中脱出，从全局视野审视目标和资源，通过对工作流程的梳理，结合实际情况，设计适合的企业架构，才能在一定程度上为企业顺利发展保驾护航。