航天嵌入式软件相关论文
整数溢出引起的软件系统安全性问题屡见不鲜,已有的模型检测技术由于存在状态空间爆炸、不能有效支持中断驱动型程序检测等缺点而......
本文针对航天嵌入式软件特点以及软件黑盒测试所面临的问题,提出了一种任务剖面建模的方法。从用户的角度对软件系统进行数学建模,......
随着航天技术的进步和嵌入式软件的发展，带有Cache的航天嵌入式系统的使用越来越普遍。Cache即高速缓冲存储器，它主要通过保存CPU读......
航天嵌入式软件是面向航天领域的特殊的嵌入式软件，它的可靠性和健壮性直接关系到航天飞行器的安全。如果没有对软件进行充分的调试......
航天嵌入式软件是面向航天领域的特殊的嵌入式软件，它的健壮性和可靠性直接关系到航天飞行器的安全。只有对软件进行充分的调试验证......
根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符......
软件缺陷分类是软件缺陷管理的基础.介绍了软件缺陷的概念,对几种软件缺陷分类方法进行了分析和比较.结合航天嵌入式软件研制流程......
针对＂重复加锁解锁＂和＂volatile修饰符误用＂两种数据访问冲突缺陷模式,提出基于编码规则的检测方法.首先,对缺陷模式的故障机理进行分......
针对数据访问冲突问题的检测方法及工具的研究很多,但缺少对其进行评估的基准测试集。文章基于大量真实航天嵌入式软件中断数据访......
航天嵌入式软件是航天型号任务成败的关键之一．航天嵌入式软件是一种周期性、多模式的软件．软件的每个模式表示系统处于一定的状态，并......
