排序方式： 共有11条查询结果，搜索用时 281 毫秒
1.
M:近年来,您一直致力于中国推进开放源代码的Linux操作系统以及基于国产CPU和Linux的网络计算机等具有自主核心技术的研究,请您谈一下近年来的研究情况. 相似文献
2.
处理器PowerPC P2020在航空航天等嵌入式领域被广泛应用,以RTCA/DO-178C中A级软件的适航要求作为研究的出发点,提出了从文件、函数声明、函数体代码3层次实现P2020机器码程序到C源程序的溯源方法。在获取C语言源程序与PowerPC P2020机器码程序文件名列表的基础上,实现PowerPC P2020机器码文件主名的溯源;通过遍历C源程序抽象语法树和PowerPC P2020机器码获取函数名列表,实现PowerPC P2020机器码函数声明的溯源;通过定义C语言程序抽象语法树节点生成期望汇编指令序列的规则,实现PowerPC P2020机器码函数体的溯源。通过设计245个C源程序文件与345个PowerPC P2020机器码程序文件,1 111个C语言函数声明与1 273个PowerPC P2020机器码函数声明,以及覆盖C语言程序23类语法结构的460个测试用例,验证了PowerPC P2020机器码程序到C源程序的自动化溯源方法的有效性。结果表明：文件溯源和函数声明溯源的追溯匹配率达100%,程序函数体代码的平均溯源匹配率达97.22%。溯源匹配结果可以检查PowerPC P2020机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。 相似文献
3.
DO-178C要求基于需求的测试结构覆盖率分析可以在源代码、目标码或者可执行目标码级别开展,如果结构覆盖率分析在源代码级别开展,那么测试覆盖分析并不包含对编译器、链接器产生的附加代码的验证。DO-178C要求A级软件应特别关注这些附加代码,对附加代码进行识别,并按照正常代码的验证要求对附加代码进行验证。在分析DO-178C、DO-248C、CAST-12的基础上,从适航认证角度探讨了基于源代码执行结构覆盖分析时,A级软件如何满足DO-178C表A-7目标9“不能追踪到源代码的附加代码的验证已完成”。 相似文献
4.
监控和测试程序(测试控制和被测单元)在PPC目标机上执行,覆盖率在机器码级获得。由于目标系统提供printk函数,可在串口打印数据输出,通过超级终端或其他串口监控程序获得数据结果。一个测试运行以后,收集的覆盖率数据通过串口上传到宿主机来分析。 相似文献
5.
6.
7.
将知识工程与本企业文化背景密切结合，使知识工程标准化、模块化绘制知识地图，建立知识产权和知识保护系统，促进开放式源代码软件的研制以及开发知识管理系统等都是目前在飞机制造业中开展知识工程需要认真解决的关键问题。指出开展知识工程的步骤是进行需求可行性分析、建立知识工程的总体思路与框架以及以应用为牵引开发知识管理系统。提出突出重点取得突破试点为主逐步摸索和软件开发中融入知识工程的建议。 相似文献
8.
注释可以有效提高源代码的可读性、帮助开发者理解软件功能,对于软件的维护和演化起着关键作用.当前源代码注释自动生成方面的研究存在一定局限,一是没有深入挖掘词法信息;二是没能很好的融合词法和语法信息.因此,提出了基于神经网络融合模型的源代码注释自动生成方法,该方法利用编码器-解码器神经网络框架深度表征源代码的词法信息,结合... 相似文献
9.
随着航天技术的迅猛发展,航天软件的功能越来越复杂,规模越来越大,对软件可信性的要求也越来越高.航天软件一旦失信,其带来的损失往往无法估量.从源代码证据入手,建立面向航天领域的嵌入式软件可信度量评估方法.结合航天领域特性,建立了面向C语言代码的可信证据规范,该证据规范区分关键证据与非关键证据以及可信正证据和可信负证据;提... 相似文献
10.
《源代码》(2011·法国、美国)导演:邓肯·琼斯故事梗概:在阿富汗执行任务的美国空军飞行员科特史蒂文斯上尉(杰克·吉伦哈尔Jake Gyllenhaal饰)突然惊醒,发现自己在一辆高速行驶的列车上,而他的身边坐着一个素不相识的女子克里斯蒂安(米歇尔·莫娜汉Michelle Monaghan饰)正在与自己讲话。科特不知自己为什么会在这辆车上,而且他发现自己居然是以另一个人的身份存在,正当他迷惑不解的时候,列车上忽然发生爆炸…… 相似文献