石磊
- 作品数:5 被引量:4H指数:1
- 供职机构:洛阳光电技术发展中心更多>>
- 相关领域:自动化与计算机技术更多>>
- 某型嵌入式软件测试过程模型研究与实现
- 2012年
- 本文针对嵌入式软件测试过程的管控要求,提出了一种基于GJB2725A的软件测试过程模型,能够完成测试需求分析、策划、设计与实现、执行和总结,提高了测试效率,降低了研制成本。
- 石磊
- 关键词:嵌入式软件软件测试
- 基于节点层网络关键等级的嵌入式软件集成测试序列生成方法被引量:4
- 2018年
- 增量法是应用于集成测试的方法,合适的增量集成策略能够降低测试成本、保障测试的充分性、提高测试效率。针对目前嵌入式软件集成测试增量方法不明确、对于函数调用关系验证不充分等问题,通过参考集成测试相关国家标准并结合嵌入式软件的特点进行深入分析,提出一种新的集成测试序列生成方法。该方法从集成测试函数调用关系的充分性入手,按照以"层间集成"为主、"层内关键系数集成"为辅的设计思路,将嵌入式软件中的函数基于节点层和关键系数以集成的先后顺序划分,得到经粗调和微调后的增量集成序列。该方法能简单、高效地解决集成测试增量集成问题,具备工程实践应用意义。
- 李腾飞石磊
- 关键词:嵌入式软件软件集成测试增量法
- 基于系统工程的军用软件开发模型研究
- 2019年
- 随着航空制导武器系统复杂性的日益提高,军用软件实现的功能越来越复杂。目前,军用软件研制大多利用软件工程的方法管控软件开发,很少考虑系统工程方法在军用软件研制中的研究。基于此,以系统工程、需求工程和软件工程为依据,构建基于系统工程的军用软件开发全生命周期整体解决方案,以满足军用软件研制的工程技术需求。
- 石磊
- 关键词:军用软件软件开发
- 最优化分支覆盖测试路径集研究与应用
- 2017年
- 基于DD图理论能够获取覆盖整个路径的分支测试路径集合,但缺少精简无约束边集合的方法,分支测试用例选取复杂,工程应用更少。在DD图提炼无约束边集合的基础上,对程序路径树进行研究,提出通过循环计算路径树未被选中路径中包含的未被覆盖无约束边的个数,实现最优化分支覆盖测试路径集选择方法,满足基于DO-178B和GJB/Z 141军用软件语句、分支和MC/DC测试覆盖指标要求。实际工程应用结果表明,该方法实现了优化测试用例,满足了测试充分性要求。
- 石磊翁鹤