教学课程资源库 更多>>

关键词： 安全性分析   软件测试   航空发动机   需求模型  

摘要： 针对航空发动机控制软件安全性需求的验证问题,提出了基于需求模型与安全性分析结果的软件测试技术。从软件需求的结构化描述和软件安全性分析结果中的失效和危险因果关系链出发,研究并制定了符合航空发动机控制软件特点的测试用例生成方案,给出了程序化的自动实现算法,并描述了在某重点发动机型号的工程实践情况。

关键词： TD-SCDMA系统   软件测试   策略研究  

摘要： 对工业TD-SCDMA系统的软件测试策略进行研究,能够有效解决传统系统频率和扰码规划存在扰码覆盖率低、性能差、精准度低等问题;针对不同频率复用方式特征,对基站布局进行设计,获取频率配置结果进行优化,得出频率重新规划结果;采用Galib遗传算法,对簇复用码和互斥性码等系统扰码规划进行改进,完成工业TD-SCDMA系统的软件测试策略研究;实验结果表明,该软件测试策略能够有效提高TD-SCDMA系统的扰码覆盖率、性能和精准度,充分满足TD-SCDMA系统规划要求。

关键词： 软件测试   雷达软件   缺陷预测   智能质量管控  

摘要： 软件测试是软件生命周期中的一个重要阶段,是软件质量的最后把关者,是软件质量保证的关键步骤。文章研究了智能化软件测试验证技术发展的新动态,归纳总结了测试技术发展的方向和热点。结合雷达系统软件的特点,在雷达软件测试过程中,搭建智能软件质量管控及测试平台,对雷达软件缺陷、失效模式模型进行分析,并在云测试等互联网新技术领域进行了探索和实践。

关键词： 软件测试   仿真技术   回波信号  

摘要： 文中通过仿真技术，实现了一种雷达软件测试方法。搭建了基于仿真技术的雷达软件测试架构，将仿真信号注入雷达系统的不同部分实现不同模块的测试。重点研究雷达目标航路模拟及射频信号仿真，并针对性的测试雷达软件异常值、边界值、丢帧、大数据量等情况。该雷达仿真系统在实际雷达软件测试中应用，达到了预期效果。

关键词： 互联网+   软件测试课程   混合教学模式  

摘要： 分析"互联网+"背景下软件测试课程单一教学模式存在的弊端,提出在教学形式、教学内容、教学评价三个方面采用多种形式相混合的教学模式并将其运用到教学中.教学实践效果表明:该混合教学模式可以提高学生的学习兴趣和学习成绩,同时促进创新思维、团队合作等综合素质的培养,可以为相关课程提供借鉴.

关键词： 质检   软件测试   智能规则   算子   输入域   数据驱动  

摘要： 针对目前用于GIS数据质检软件测试方法研究的不足,通过分析"算子+参数"的软件特点,提出基于智能规则的软件测试方法。以输入型故障模型为基础,对规则参数采用输入域分析的测试方法;采用数据驱动的设计模式,基于数据质检任务进行增量式自动化脚本的开发与测试。将该方法引入地理国情普查质检软件测试中。实践证明,该方法能够有效提高测试效率,并提高测试结果的可靠性。

关键词： Software testing   Test case generation   Model-based development   Unified Modeling Language (UML)   Integration testing   Power window switch module   Approval testing   Hardware testing  

摘要： We propose a method to automatically generate software and hardware test cases from a UML model developed through a model-based development process. Where languages such as source-code languages are used within the model, input and expected values for each test case are generated using a custom parser. As a next step, unit test cases are combined to generate integration test cases using a bottom-up approach. Then these cases are converted into hardware test cases for approval testing of embedded systems, using XQuery and hardware mapping tables. We demonstrate this process by applying it to the power window switch module of a Hyundai Santa Fe vehicle. Our approach provides an automatic testing procedure for embedded systems developed by model-based methods, and generates test cases efficiently using a recombination of signals. In conclusion, our proposed method could help reduce the resources needed for test case generation from software to hardware.

标准号: SJ 30015-2018

摘要： 本标准规定了军工软件测试方法中状态转移的规格说明、状态图的各项图示说明、基于状态转移的软件测试覆盖准则和基于状态转移的测试步骤。本标准适用于军工软件测试人员。

标准号: SJ 30010-2018

摘要： 本标准规定了军工软件测试要求、测试级别和关键等级要求、测试验证要求。本标准适用于军工软件开发人员、测试人员、质量保证人员和项目管理人员等。

标准号: SJ 30012-2018

摘要： 本标准规定了大数据、云计算和移动终端场景下的军工软件测试要求。本标准适用于军工软件测试人员和开发人员等，特别是负责管理和实施软件测试的人员。