1)program slicing程序切片
1.Research and application of dynamic program slicing;动态程序切片研究及其应用
2.Approach of concurrent object-oriented program slicing based on LTL property;一种基于LTL性质的面向对象并发程序切片方法
3.Software metrics based on object-oriented program slicing基于面向对象程序切片的软件度量
英文短句/例句
1.Algorithm of program slicing based on reverse program flow一种基于逆向程序流的程序切片算法
2.Research on Java Program Slicing with Exception-handling Constructs;包含异常处理的Java程序切片研究
3.Detection of Software Vulnerability by Using Fault Pattern and Program Slicing错误模式和程序切片的软件漏洞检测
4.Concurrent Object-oriented Program Slicing and Its Application in Program Verification;面向对象并发程序切片技术及其在程序验证中的应用
5.The Design and Realization of Java Program Slicing System Using AspectJ;基于AspectJ的Java程序切片系统的设计与实现
6.Coupling and Cohesion Metrics Research Based on Object-Oriented Program Slicing基于面向对象程序切片技术的耦合和内聚度量
7.Analysis and Testing Research of Minix3 based on Petri Nets Program Slicing Method基于Petri网程序切片方法的Minix3的分析与测试研究
8.A Dynamic Program Slice Algorithm based on Simplified Dependence一种简化依赖关系的动态程序切片算法
9.Research on Program Slicing Technique and Its Application in Software Test Data Generation;程序切片技术研究及其在软件测试数据生成中的应用
10.Design and Implementation of Web Service Security Analysis Tool Based on Program Slicing基于程序切片的Web服务安全分析工具设计及实现
11.Concolic testing based on dynamic slicing of concurrent Java programs基于并行Java程序动态切片的Concolic测试
12.Execution Trace-Based Dynamic Slicing on Binary Programs;基于指令执行记录的二进制程序动态切片技术
13.The Research and Implementation of Dynamic Slicing System for Object-Oriented Program;面向对象程序动态切片系统的研究与实现
14.MCU System Based on PC Test Program Update and Switch Online;基于PC测试程序更新和切换的单片机系统
15.Program Validation Tool Based on Slice基于切片的程序验证工具的设计与实现
16.Dependence Marking Dynamic Slicing Algorithm for Concurrent Programs基于依赖标识的并发程序动态切片方法
17.To Switchover an APs Applications切换 AP 应用程序
18.The principle of continue pneumatic conveying system of chip, setting of system programme and the instruments configuration are introduced.介绍了切片连续气力输送原理,系统程序设置及仪表配置。
相关短句/例句
program slice程序切片
3)Verilog program slicingVerilog程序切片
1.A new Verilog program slicing algorithm with its theoretical framework of correctness verification is presented It is utilized to reduce the complexity of Verilog RT Level design and simplify the state space of automatic simulation vector generation Experiment results show that this new method can reduce the state space greatly, thus efficiently solved the state space explosion proble提出一种Verilog程序切片算法 ,给出了该算法的正确性证明的理论框架 ;并利用提出的Verilog程序切片算法对VerilogRTL级设计进行化简 ,实现模拟矢量自动生成状态化简目的 实验结果表明 :该算法对状态化简效果非常明显 ,可以有效地解决状态空间爆炸问
4)dynamic program slicing动态程序切片
1.Software watermarking based on dynamic program slicing;基于动态程序切片的软件水印方案
2.A software watermarking approach based on dynamic program slicing against the limitations in resisting reverse engineering attack to watermarks embedded in intermediate language is presented.针对中间码中水印信息抗逆向工程差的问题,提出基于动态程序切片的软件水印方案。
5)program slicing technology程序切片技术
1.After the modification of a system, a tester according to the relationship between objects of software system to go to the effect ,then by program slicing technology, select or design effective re-gression testing case to test.本文通过分析基于GUI的面向对象软件系统中界面元素和类方法之间的依赖关系,应用程序切片技术,给出系统回归测试的方案。
6)Static slicing of programs静态程序切片
延伸阅读
编译程序的编译程序编译程序的编译程序compiler-compiler b Ianyi ehengxu de blanyi chengxu编译程序的编译程序《compile卜伪mpiler》产生编译程序的编译程序。它接受用某一适当的表示体系描述的某一语言类中任一语言A的词法规则、语法规则、语义规则和(或)代码生成规则，并从这些描述产生出用目标语言B写的关于语言A的编译程序的全部或部分。编译程序的编译程序又称为偏译租序的生成租序。 通常，编译程序分成词法分析程序、语法分析程序、语义分析程序、代码生成程序等若干部件。这些部件可以用一个总的编译程序的编译程序的不同部分来生成，也可以分别用不同的专用生成程序来生成。这些专用生成程序包括词法分析程序的生成程序，语法分析程序的生成程序和代码生成程序的生成程序等。 词法今析租序的生成粗序接受以正则文法或其它类似文法描述的单词，构造一个有限状态自动机，由此生成一个词法分析程序。 语法介析程序的生成程序接受以上下文无关文法的形式描述的源语言的语法，生成一个语法分析程序。各种语法分析程序的生成程序随实现语言、语法分析算法的原理以及源程序中语法错误处理能力的不同而异。如采用LR的语法分析程序的生成程序YACC和采用递归下降法的语法分析程序的生成程序L比en。 语义分析程序、中间代码生成程序和目标代码生成程序的生成程序的设计与实现与形式化的语义描述紧密相关。语义描述形式化技术相当困难，目前大多数生成程序中语义描述还是采用非形式化，它们的基本思想是为源语言的上下文无关文法的语法符号或产生式配以翻译子程序(语义动作或语义子程序)。 现有不少性能很好的编译程序的编译程序，如词法分析程序的生成程序LEX，语法分析程序的生成程序yACC和LLgen，它们都显著提高了编译程序的开发效率。
