期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
浅谈DO-178C中附加代码验证目标的实现 被引量：1
1
作者 陈晓磊 程小贤 《航空计算技术》 2024年第1期121-123,129,共4页
DO-178C要求基于需求的测试结构覆盖率分析可以在源代码、目标码或者可执行目标码级别开展,如果结构覆盖率分析在源代码级别开展,那么测试覆盖分析并不包含对编译器、链接器产生的附加代码的验证。DO-178C要求A级软件应特别关注这些附... DO-178C要求基于需求的测试结构覆盖率分析可以在源代码、目标码或者可执行目标码级别开展,如果结构覆盖率分析在源代码级别开展,那么测试覆盖分析并不包含对编译器、链接器产生的附加代码的验证。DO-178C要求A级软件应特别关注这些附加代码,对附加代码进行识别,并按照正常代码的验证要求对附加代码进行验证。在分析DO-178C、DO-248C、CAST-12的基础上,从适航认证角度探讨了基于源代码执行结构覆盖分析时,A级软件如何满足DO-178C表A-7目标9“不能追踪到源代码的附加代码的验证已完成”。 展开更多
关键词 结构覆盖分析(SCA) 源代码(SC) 目标码(OC) 可执行目标码(eoc)
在线阅读 下载PDF
让数据多跑路 让公众少跑腿——北京延庆县法院以信息化推进司法便捷化工作纪实
2
作者 宋瑶 《法庭内外》 2015年第12期8-9,共2页
北京市延庆县人民法院紧紧围绕审判体系和审判能力的现代化目标,积极搭建各类信息化平台,以信息化推进司法便捷化,不断满足社会公众的司法需求,大大提高了公众对法院司法工作的信赖。“扫”二维码 点拇指 轻松下载诉讼服务材料 延庆县... 北京市延庆县人民法院紧紧围绕审判体系和审判能力的现代化目标,积极搭建各类信息化平台,以信息化推进司法便捷化,不断满足社会公众的司法需求,大大提高了公众对法院司法工作的信赖。“扫”二维码 点拇指 轻松下载诉讼服务材料 延庆县法院以提升诉讼服务水平，切实方便当事人诉讼作为出发点，主动采用新技术将诉讼须知、诉讼服务指南、起诉书模板、授权委托书模板、申请执行书样本各类文书格式制成二维码，并将其印于相应的诉讼文书上，同时存放于导诉台和立案大厅供当事人下载使用。 展开更多
关键词 便捷化 信息化推进 北京延庆县 信息化平台 北京市延庆县 现代化目标 申请执行 二维码 诉前调解 该法院
原文传递
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部