基于知识的程序设计环境

程序设计环境是影响软件开发和维护代价的重要因素,传统的工具已不能满足当前软件开发的要求.将人工智能(AI)技术应用于软件开发环境,是改善软件生产率的一条新途径.本文除介绍基本概念外,着重剖析了一个典型的基于知识的软件环境——CHI.     

广义二级文法与分析表的分类构造法

本文是对二级文法的一种推广,并且提出了分析表的分类构造的新方法,它将大大减少了构造分析表时所需的存储空间,同时也相应地提高了分析速度。     

TIL_(XYZ/G—XYZ/G)语言的树型中间语言的设计原理

在可移植编译程序的设计中,选择合适的中间语言是必须作出的一个关键性的决策。在中间语言的研究中,树型中间语言是重要的课题。根据TCOLada,Aida,Diana等设计思想,本文详述XYZ/G语言的树型中间语言的设计目标,原则及其特点。实践说明,这一设计是成功的。     

程序开发与程序错误分类

本文结合程序开发和程序设计的基本方法,分析程序错误存在的种种不同背景,形式及一些有代表性的观点,对程序错误和程序进行分类,提供了对程序科学地进行直觉分析的若干依据和方法。     

代码混淆算法有效性评估

代码混淆是一种能够有效增加攻击者逆向分析和攻击代价的软件保护技术.然而,混淆算法的有效性评价和验证是代码混淆研究中亟待解决的重要问题.目前,对代码混淆有效性的研究大都是基于软件复杂性度量的,然而代码混淆作为一种保护软件安全的技术,更需要从逆向攻击的角度进行评估.将面向逆向工程的思想引入到代码混淆算法评估中,通过理论证明和具体实验验证了其可行性,该评估方法能够为混淆算法提供有效证明,并对判别和选择代码混淆算法具有指导意义,同时也有助于寻求更有效的代码混淆方法.     

编译程序自动测试中的知识表示

软件测试是软件工程的重要研究课题之一。本文把人工智能(AI),知识工程和属性文法多种知识和技术应用于软件测试,主要对编译程序测试中的知识分类和知识表示问题进行讨论,它是开发知识型编译程序测试环境的基本出发点。     

一种具有时间多样性的虚拟机软件保护方法

软件核心算法防逆向保护,是软件研发乃至软件产业发展的迫切需求,也是当前软件安全研究领域的热点之一.虚拟机软件保护作为一种保护强度高、商业应用广的技术,已被用于软件核心算法保护,并在很大程度上能够抵御攻击者的逆向分析.但这种保护方法难以抵御累积攻击,无法提供更加持久的保护.时间多样性是指一个软件在不同时间被执行时,执行路径不同,主要用于抵御累积攻击.将时间多样性与虚拟机软件保护相结合,提出了一种具有时间多样性的虚拟机软件保护方法,称为TDVMP.在TDVMP中,通过构造多条相异的执行路径,使得被保护软件在不同次执行时,能够动态选取不同执行路径,从而极大地增加了攻击者进行累积的核心算法逆向分析攻击的难度.同时,对于TDVMP设计中的关键问题,比如多执行路径的构造与选择等进行了详细讨论.此外,提出了时间多样性保护效果的评价指标,并给出了其度量及计算方法.以所实现的原型系统为基础,通过一组具有一定实用价值的实例,对所提出的方法进行了测试、实验.结果表明,TDVMP对于软件核心算法防逆向保护是有效且实用的.