安全协议多目标语言代码缺陷检测方法仿真
|
摘要
对安全协议多目标语言代码的缺陷检测,能够有效提高语言代码的利用效率。语言代码的缺陷检测,需要计算出各个语句块入度和出度,形成可并行化的源程序文本语句块分区,完成缺陷检测。传统方法获得配置参数值类型,并将查询数据返回到列,但忽略了形成源程序文本语句块分区,导致检测精度偏低。提出基于PChart的安全协议多目标语言代码缺陷检测方法。安全协议多目标源语言的源程序文本形成携带语法信息的符号流,通过对源程序控制依赖图进行遍历得到语言的源程序文本语句块分区,设计一种显式地进行内存分配与机器语言近似的中间表示,计算出语言源程序文本各个语句块入度和出度,形成可并行化的源程序文本语句块分区,在语言代码中间表示的基础上缺陷检测目标代码。实验结果表明,所提方法可有效提升目标代码的执行效率。
This article proposes a method for detecting defects in multi-object language codes of security protocol based on PChart. Source program text of multi-objective source language with security protocol forms symbol stream with grammatical information. Then,control dependence graph of source program is traversed,and text statement block partition of source program of language is obtained. Moreover,an intermediate representation is designed. It explicitly performs memory allocation and it is similar to machine language. Thus,in-degree and out-degree of each statement block of language source program text are calculated to form parallelizable partition of statement block of source program text. On the basic of intermediate representation of language codes,the target code is defectively detected. Simulation result shows that the proposed method can effectively improve the execution efficiency of target codes.
This article proposes a method for detecting defects in multi-object language codes of security protocol based on PChart. Source program text of multi-objective source language with security protocol forms symbol stream with grammatical information. Then,control dependence graph of source program is traversed,and text statement block partition of source program of language is obtained. Moreover,an intermediate representation is designed. It explicitly performs memory allocation and it is similar to machine language. Thus,in-degree and out-degree of each statement block of language source program text are calculated to form parallelizable partition of statement block of source program text. On the basic of intermediate representation of language codes,the target code is defectively detected. Simulation result shows that the proposed method can effectively improve the execution efficiency of target codes.
引文
[1]杨志斌,等.同步语言的时间可预测多线程代码生成方法[J].软件学报,2016,27(3):611-632.
[2]张立影,等.基于小波变换和神经网络的光伏功率预测[J].可再生能源,2015,33(2):171-176.
[3]兰韵,等.无人驾驶汽车决策系统的规则描述与代码生成方法[J].计算机工程与科学,2015,37(8):1510-1516.
[4]丁佐华,等.基于GCL语言的测试用例生成方法[J].计算机学报,2014,37(12):2492-2504.
[5]易世界,等.基于线索抽象语法树的程序依赖图自动生成算法[J].武汉大学学报(理学版),2015,61(2):112-116.
[6]余海,等.基于组合分类算法的源代码注释质量评估方法[J].计算机应用,2016,36(12):3448-3453.
[7]赵迪,华保健,朱洪军.高阶代码消除性能比较框架的设计与实现[J].计算机应用,2016,36(9):2481-2485.
[8]陈瑶,等.H.264中DCT算法在FPGA上的高层次综合实现[J].微电子学,2016,46(6):841-844.
[9]尤枫,赵瑞莲,吕珊珊.基于输出域的测试用例自动生成方法研究[J].计算机研究与发展,2016,53(3):541-549.
[10]罗小玲,薛河儒.基于模糊关联优化的中文语义深度挖掘仿真[J].计算机仿真,2016,33(1):362-364.
[2]张立影,等.基于小波变换和神经网络的光伏功率预测[J].可再生能源,2015,33(2):171-176.
[3]兰韵,等.无人驾驶汽车决策系统的规则描述与代码生成方法[J].计算机工程与科学,2015,37(8):1510-1516.
[4]丁佐华,等.基于GCL语言的测试用例生成方法[J].计算机学报,2014,37(12):2492-2504.
[5]易世界,等.基于线索抽象语法树的程序依赖图自动生成算法[J].武汉大学学报(理学版),2015,61(2):112-116.
[6]余海,等.基于组合分类算法的源代码注释质量评估方法[J].计算机应用,2016,36(12):3448-3453.
[7]赵迪,华保健,朱洪军.高阶代码消除性能比较框架的设计与实现[J].计算机应用,2016,36(9):2481-2485.
[8]陈瑶,等.H.264中DCT算法在FPGA上的高层次综合实现[J].微电子学,2016,46(6):841-844.
[9]尤枫,赵瑞莲,吕珊珊.基于输出域的测试用例自动生成方法研究[J].计算机研究与发展,2016,53(3):541-549.
[10]罗小玲,薛河儒.基于模糊关联优化的中文语义深度挖掘仿真[J].计算机仿真,2016,33(1):362-364.