期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
C语言源程序的自动评判系统
被引量：
2
1
作者
余梓唐
《计算机时代》
2010年第4期6-8,共3页
自动评判系统为通过编译C语言源程序生成的可执行程序创建进程,输入适当的测试数据,对输出结果与预设答案进行比较和评判。提出了通过匿名管道进行数据输入输出的实现方法,分析了自动评判机制中的主要问题及解决方法,重点对分级评判进...
自动评判系统为通过编译C语言源程序生成的可执行程序创建进程,输入适当的测试数据,对输出结果与预设答案进行比较和评判。提出了通过匿名管道进行数据输入输出的实现方法,分析了自动评判机制中的主要问题及解决方法,重点对分级评判进行了探讨,进而提出了四级评判机制。
展开更多
关键词
自动评判系统
c
语言源程序
匿名管道
分级评判
下载PDF
职称材料
嵌入式处理器P2020机器码程序到C语言源程序的溯源方法
被引量：
1
2
作者
谢文光
李琪
+3 位作者
马春燕
汪克念
尹伟
张涛
《航空学报》
EI
CAS
CSCD
北大核心
2021年第9期506-521,共16页
处理器PowerPC P2020在航空航天等嵌入式领域被广泛应用,以RTCA/DO-178C中A级软件的适航要求作为研究的出发点,提出了从文件、函数声明、函数体代码3层次实现P2020机器码程序到C源程序的溯源方法。在获取C语言源程序与PowerPC P2020机...
处理器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机器码程序文件,1111个C语言函数声明与1273个PowerPC P2020机器码函数声明,以及覆盖C语言程序23类语法结构的460个测试用例,验证了PowerPC P2020机器码程序到C源程序的自动化溯源方法的有效性。结果表明:文件溯源和函数声明溯源的追溯匹配率达100%,程序函数体代码的平均溯源匹配率达97.22%。溯源匹配结果可以检查PowerPC P2020机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。
展开更多
关键词
P2020机器码程序
c
语言源程序
溯源
源代码分析
编译器验证
原文传递
题名
C语言源程序的自动评判系统
被引量：
2
1
作者
余梓唐
机构
义乌工商学院计算机系
出处
《计算机时代》
2010年第4期6-8,共3页
文摘
自动评判系统为通过编译C语言源程序生成的可执行程序创建进程,输入适当的测试数据,对输出结果与预设答案进行比较和评判。提出了通过匿名管道进行数据输入输出的实现方法,分析了自动评判机制中的主要问题及解决方法,重点对分级评判进行了探讨,进而提出了四级评判机制。
关键词
自动评判系统
c
语言源程序
匿名管道
分级评判
Keywords
auto-s
c
oring
system
c
language
source program
anonymous
pipeline
graded
s
c
oring
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
嵌入式处理器P2020机器码程序到C语言源程序的溯源方法
被引量：
1
2
作者
谢文光
李琪
马春燕
汪克念
尹伟
张涛
机构
中国民航大学适航学院民航航空器适航审定技术重点实验室
西北工业大学软件学院
航空工业无线电电子研究所
出处
《航空学报》
EI
CAS
CSCD
北大核心
2021年第9期506-521,共16页
基金
国家自然科学基金(61601468)
航空科学基金(20185853038,2015ZD53055)。
文摘
处理器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机器码程序文件,1111个C语言函数声明与1273个PowerPC P2020机器码函数声明,以及覆盖C语言程序23类语法结构的460个测试用例,验证了PowerPC P2020机器码程序到C源程序的自动化溯源方法的有效性。结果表明:文件溯源和函数声明溯源的追溯匹配率达100%,程序函数体代码的平均溯源匹配率达97.22%。溯源匹配结果可以检查PowerPC P2020机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。
关键词
P2020机器码程序
c
语言源程序
溯源
源代码分析
编译器验证
Keywords
P2020
ma
c
hine
c
ode
c
language
source program
tra
c
ing
source
c
ode
analysis
c
ompiler
validation
分类号
V249 [航空宇航科学与技术—飞行器设计]
TP311.5 [自动化与计算机技术—计算机软件与理论]
原文传递
题名
作者
出处
发文年
被引量
操作
1
C语言源程序的自动评判系统
余梓唐
《计算机时代》
2010
2
下载PDF
职称材料
2
嵌入式处理器P2020机器码程序到C语言源程序的溯源方法
谢文光
李琪
马春燕
汪克念
尹伟
张涛
《航空学报》
EI
CAS
CSCD
北大核心
2021
1
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
