陈鑫
- 作品数：8 被引量：23H指数：3
- 供职机构：西安航空计算技术研究所更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- CMMI在软件外包项目中的实施方法被引量：1
- 2011年
- 在众多软件外包项目中,有一类项目的管理模式是:发包方把项目分成若干个作业包,在项目执行期间,陆续向承包方发送它们。这类软件外包项目在实施CMMI时困难重重。论文以一个软件测试外包项目为例,详细讨论了CMMI实施应该注意的三个方面问题:定义一个适合自己业务模式的软件生存周期模型;灵活应用WBS以及分层制订软件项目计划。应用这些方法后,企业的过程控制力度将得到进一步加强,质量保证水平也将得到很大提高。
- 陈鑫
- 关键词：软件外包项目CMMIWBS软件项目计划
- 一种面向嵌入式计算机的自动化测试管理软件
- 2024年
- 随着航空技术的不断发展,嵌入式计算机的更新迭代也越来越频繁,这给嵌入式计算机的充分测试带来巨大挑战。为了提高产品测试效率,文章开发了一种面向嵌入式计算机的自动化测试管理软件,该软件具有友好的人机交互界面,可以通过调用python脚本来完成嵌入式计算机的自动化测试。实验结果表明,该软件能够明显提高嵌入式计算机的测试效率,并保证产品测试的准确性和可靠性。同时该软件具有较好的通用性,只需要少量改动即可适用于各种类型嵌入式计算机的测试。
- 邢浩陈鑫张梅洁
- 关键词：嵌入式计算机自动化
- 应用MC/DC准则时需考虑的问题及其改进方法被引量：10
- 2004年
- MC/DC(修订的条件/判定覆盖)准则是一种实用的软件结构覆盖率测试准则。目前,MC/DC在国际上已被广泛地应用于软件验证和测试过程中,在我国也被应用于一些软件项目中。介绍了MC/DC准则,提出了用此准则进行结构覆盖率分析时需注意的两个问题:结构覆盖率分析的问题和复杂逻辑语句的问题。最后,详细讨论了用MC/DC准则检查逻辑表达式错误时需考虑的3个方面及相应的改进方法,这3个方面包括逻辑式中操作符OR与XOR的误写、括号的位置不正确和逻辑组元被误写。
- 陈鑫杨平
- 关键词：逻辑式软件测试
- 嵌入式操作系统虚拟机隔离性的测试方法研究
- 2023年
- 虚拟机隔离性是实现嵌入式操作系统高可靠性的主要技术手段,但传统的可靠性测试方法对虚拟机隔离性并不适用。针对以上问题,在简述了虚拟机的空间隔离、时间隔离、中断资源隔离、数据耦合隔离等4项测试内容基础上,结合核心虚拟机、应用虚拟机、IDLE虚拟机、时间表调度、优先级调度、虚拟服务、共享内存等概念,详细分析和说明了虚拟机这些隔离的13种具体测试方法,为保证嵌入式操作系统可靠性提供了一种新的尝试。
- 王娟陈鑫陈奎
- 关键词：虚拟机嵌入式操作系统
- 基于蒙特卡洛模拟方法的软件质量预测研究被引量：2
- 2022年
- 对装备软件的质量评价方法大多在软件研制后期开展,发现软件质量缺陷可能为时已晚。针对软件质量难以及早预测的问题,采用了蒙特卡洛模拟方法,讨论了获取度量元统计分布及参数的2个前提和3个步骤、生成大量符合统计分布随机数的方法、以及当采样值统计特征不明显时通过频数和频率确定推荐值的做法,详细说明了用蒙特卡洛方法预测软件质量的5个步骤。应用实例表明,通过蒙特卡洛方法,可以在软件研制前期或中期阶段,就预测出软件质量每个等级出现的概率和置信度,可以为及早采取软件质量纠偏措施提供决策量化依据。
- 陈鑫周敏刚周敏刚郭强
- 关键词：软件质量预测蒙特卡洛模拟统计分布
- 满足DO-178B要求的软件需求开发方法被引量：7
- 2012年
- 为了开发出一份满足适航标准DO-178B要求的机载软件需求规格说明书,在介绍DO-178B对机载软件需求的要求和指出机载软件需求存在问题的基础上,重点讨论了使用结构化激励响应(SSR)方法开发软件需求的6个主要步骤。以飞行显示器软件的一个功能点为例,说明了使用SSR方法开发的软件需求单元应该具有的7个主要组成部分以及每部分的含义。通过DO-178B和SSR方法相结合,为机载软件需求开发提供了一套可行的技术方案。
- 陈鑫王辉牟明
- 关键词：机载软件
- 软硬件集成过程输出的评审分析方法被引量：3
- 2018年
- DO-178B/C适航标准要求在机载嵌入式设备开发过程中对软硬件集成过程的输出进行验证,但国内对如何完成该项活动的细节仍然不甚清楚。在简述DO-178B/C标准对软硬件集成过程输出验证的要求的基础上,指出了该活动与OCA活动的差别,并以GCC工具为例,结合国产机载嵌入式操作系统TM2,提出了一个软硬件集成过程输出验证的详细解决方案,包括对编译器告警、硬件地址错误、软件部件遗漏、内存重叠、内存动态分配失控、编译链接选项错误、加载过程错误等7类缺陷的检查方法和注意事项。
- 陈鑫
- 航空电子设备测试性设计方法研究
- 2024年
- 随着航空工业的高速发展,对于航空电子设备的性能提出了更高要求,航空电子设备的设计越来越复杂,成本也随之越来越高昂,在产品实际运行中对这些设备维护和保障的成本也随之增加,且对于维护环节的时间效率提出了更高的要求。因此在产品维护环节,迫切需要一种新方法来满足成本和效率的要求,测试性就是为这一要求量身打造的新特性。基于此,以航空电子设备的测试性工作项目为出发点,探讨和研究适合这些设备的测试性设计方法,并提出可行的方法来提高产品的测试性设计水平。
- 王峰陈鑫张祎彤
- 关键词：测试性测试性设计故障诊断故障隔离
