Out-of-Bounds Array Access Fault Model and Automatic Testing Method Study

Out-of-bounds array access(OOB) is one of the fault models commonly employed in the objectoriented programming language. At present, the technology of code insertion and optimization is widely used in the world to detect and fix this kind of fault. Although this method can examine some of the faults in OOB programs, it cannot test programs thoroughly, neither to find the faults correctly. The way of code insertion makes the test procedures so inefficient that the test becomes costly and time-consuming. This paper, uses a kind of special static test technology to realize the fault detection in OOB programs. We first establish the fault models in OOB program, and then develop an automatic test tool to detect the faults. Some experiments have exercised and the results show that the method proposed in the paper is efficient and feasible in practical applications.     

The Study of Language

1.IntroductionLanguage is a means of verbal communication.It is rule-governed in that speakers of the same language follow thegrammar and communicative conventions.It is instrumental inthat communicating by speaking or writing is a purposeful act.It is social and conventional in that language is a social semioticand communication can only take place effectively if all theusers share a broad understanding of human interactionincluding such associated factors as non-verbal cues,motivation,and so…     

句法引导的自动翻译理论和词法处理研究

在自动翻译的研究中，词法和句法处理是核心问题。本文的研究背景是自然语言处理系统，其工作有两部分：第一部分建立了一种句法分析的理论模型；第二部分介绍了词库的组成和兼类问题。     

FORTRAN到C源级转换的研究

介绍了一种以规范抽象语法树为中间语言且基于转换规则制导的ＦＯＲＴＲＡＮ 到Ｃ的源级转换系统,简称ＦＴＯＣ．     

ATLAS_MPS的设计与实现

针对ATLAS语言的特点及其实用价值, 使用面向对象技术设计并实现了ATLAS元程序设计系统ATLAS_MPS. 利用该系统, 可以方便地对ATLAS语言程序进行各种操作.     

语法的强等价和弱等价以及相关的句子计数、句法结构数和结构歧义的若干定理

讨论等价、弱等价、强等价等几个概念以及这几个概念在语言学史与各个学派上由模糊不清而提炼成较为清晰的形式，探讨一些与这几个概念有关的句子（词）结构的问题，并且得出了几个有关句子（词）结构的有意义的定理。     

基于核心推导的句法分析

从认知心理学的角度出发，指出人类认知的特点在很大程度上影响着人类语言；提出了核心推导在句法分析中的作用，并给出了核心推导句法分析的语言模型     

通用反分析描述语言的设计与实现

讨论反分析(unparse)应完成的任务、具备的能力,并在此基础上,设计了一种“通用反分析描述语言”。还给出了实现方案,论述了集成式程序设计环境的发展方向。     

英语写作中的主要干扰因素——汉语词语及句法

在导致英语写作时出现言语错误的各因素中母语的影响居为首位。而汉语对英语写作的干扰中以汉语的词语及句法的干扰较为突出。应使学生主动适应英语思维，有意识地避免母语的负迁移，不断提高英语写作能力。     

多级文法的构造及实现

从基于客户／服务器体系结构的分布式环境入手，引入基于三维文法表的多级文法，全面分析了多级文法的构造方法及实现，实现了接插式协议自动机的自动生成，最后，对多级文法的具体实现进行了讨论。