基于ASP的程序切片

针对程序切片在程序理解和程序测试方面的应用,提出了一种基于ASP的程序切片方法。ASP是一种声明性问题解决方法,它可以高效地描述程序切片问题。基于ASP的切片方法,可以把切片的查找转化为回答集的求解。另外,对传统数据流切片算法进行了改进;改进后的算法可以减少重复计算,提高了运行效率。通过实验表明了此改进法的正确性和高效性;并且比较了3种ASP求解器（DLV、Smodels、Cmodels）的执行效率,基于Cmod-els的改进算法的运行效率是最高的。     

块结构的程序切片方法

为弥补传统程序切片方法在切片点变量选择上的局限性,提出了一种灵活的切片准则,并基于该切片准则给出了一种新的切片方法.该方法将程序划分成一种块状结构,把切片划分为块内切片和块外切片,利用块内切片算法和块内切片迭代分别求取块内切片和块外切片的结果.实验结果表明,该方法是可行的,弥补了现有程序切片方法的缺陷.     

基于启发式搜索的 ASP程序支撑原因分析算法

为了尽快找到一个错误及其来源,以加快 ASP程序调试的效率,把启发式搜索技术引入 ASP程序支撑原因分析算法.在生成支撑原因分析图时利用启发式函数,仅搜索对回答集产生影响且有可能更快找到一个支撑原因的规则.改进算法在搜索关于某个回答集的支撑原因时,其时间和空间复杂度明显下降.实例分析表明了该算法的有效性.     

基于面向方面和程序切片技术的Java调试工具

该文针对调试大而复杂的Java程序时存在的问题,提出了使用面向方面技术和依赖缓存程序切片算法实现Java调试工具的思想。为提高程序切片的效率,提出依赖缓存程序切片算法;为减少依赖缓存程序切片算法的编码开销和运行时间开销,提出使用面向方面技术采集动态信息的思想。实验结果表明该工具具有较高的工作效率。     

一种简化依赖关系的动态程序切片算法

动态程序切片是由影响程序中某个兴趣点处变量值的所有语句和控制谓词组成的一个程序子集.笔者提出了一种简化依赖关系的动态程序切片算法,主要目的是解决H.Agrawal的动态切片算法计算切片不太精确的问题,该算法通过程序执行轨迹,确定教据依赖结点、控制依赖结点和结点可到达语句来计算变量切片.实例证明,该算法提高了动态切片的精确度,减少了计算动态程序切片的复杂度.     

基于粗粒度程序切片的软件度量

软件度量是保证软件质量的重要方法,程序切片是一种针对切片标准简化程序的技术。提出了一种基于粗粒度程序切片技术度量面向对象程序模块耦合度和类内聚度的量化方法,扩展了粗粒度程序切片的含义,基于面向对象系统依赖图进行程序切片,给出了对应的算法实现,利用切片技术度量了模块耦合度和类内聚度。     

计算面向对象程序切片技术研究

提出了把波动效应分析和系统依赖图结合起来进行切片的方法,通过波动效应分析反映面向对象程序中单元间的波动关系,基于系统依赖图切片侧重于分析控制依赖和数据依赖.分析了面向对象程序中的波动效应,扩展了粗粒度切片的含义,并且把波动结果映射到切片中.通过构造类图和改造传统系统依赖图来构造面向对象系统依赖图.分别给出了波动效应分析、构造系统依赖图以及切片的算法实现,并进行了复杂度分析.     

计算面向对象程序切片技术研究

提出了把波动效应分析和系统依赖图结合起来进行切片的方法,通过波动效应分析反映面向对象程序中单元间的波动关系,基于系统依赖图切片侧重于分析控制依赖和数据依赖.分析了面向对象程序中的波动效应,扩展了粗粒度切片的含义,并且把波动结果映射到切片中.通过构造类图和改造传统系统依赖图来构造面向对象系统依赖图.分别给出了波动效应分析、构造系统依赖图以及切片的算法实现,并进行了复杂度分析.     

基于数据流表达式的程序数据流分析算法

以形式化的方法论述了程序数据流分析的基本原理，给出了数据流表达式的概念。并在此概念的基础上，给出了一个找出程序数据流异常的数据流分析算法。本算法通用性强，运用本算法不难开发出相应的程序测试辅助工具，具有一定的实用价值。     

ASP程序的版权保护

由于ASP程序的源代码不需要编译，只需要把源代码拷贝到服务器上便可以直接解释执行，所以ASP系统的版权保护一直是广大ASP用户最头疼的问题之一.为了确保一个ASP程序只能经过授权在一个Web服务器上运行，提出了一种版权保护的方法.该方法使用了ActiveX组件、微软的Script Encoder、网卡MAC地址绑定、字符串加密等多重保护措施.通过给出的实例，更加清楚地说明了如何使用该方法来实现ASP程序的版权保护.该方法可以有效地杜绝系统被非法拷贝在其他服务器上运行，从而保护系统版权.     

利用DELPHI开发ASP应用程序

通过比较纯脚本语言开发和调用DELPHI开发的定制ASP对象的两种方法 ,说明了DELPHI在开发ASP程序中的作用     

基于SolidWorks的CAD模型直接切层研究

针对面曝光快速成形系统的需要,提出了基于SolidWorks的CAD模型直接切层方法.利用SolidWorks在工程图环境下的剖切功能,实现对CAD模型的直接切层.解决了对复杂CAD模型切层时出现的截面错位问题.论述了用于多种曝光模式的截面填充样式的实现方法.以该切层方法得到的CAD模型的截面图形作动态掩膜,利用面曝光快速成形系统成功制作出了三维实体原型,表明该直接切层方法适用于面曝光快速成形系统.     

利用ASP开发基于Web的Chat

讨论了使用ＡＳＰ开发基于Ｗｅｂ的Ｃｈａｔ，用此方法简便易行，优于已往的用ＣＧＩ编制Ｃｈａｔ应用程序     

基于ASP.NET的网上答疑系统的设计与实现

采用非面对面教学形式的网络教学答疑系统,学生提问和教师答疑可以不受时间和地点的限制,体现了网上答疑的开放性、交互性和自主性等特点。介绍了一个基于ASP.NET的网上答疑系统的结构组成和基本功能,并给出了基于ASP.NET技术实现网上答疑系统的方法。该系统采用SQLServer2000作后台数据库服务器,用ASP.NET编写Web服务器有关程序,用ASP.NET组件ADO.NET访问数据库,客户端用网页浏览器即可访问本系统。系统为用户提供了实时答疑和异步答疑两种答疑方式,异步答疑子系统是在网上为每位教师、每门课程提供的答疑空间,学生和教师可随时登录系统进行提问和解答问题;实时答疑子系统实现了教师和学生同时在网上交谈式的答疑。整个系统较好地利用了网络资源,实现了教育资源与教育方法的共享。     

基于Pro／ENGINEER的CAD模型直接切层

通过对Pro／ENGINEER的研究,借助其开发工具Pro／TOOLKIT实现了对CAD模型直接切层．切层所得零件剖面图形可直接用于面曝光快速成形系统．该方法与传统的对STL模型文件切层方法相比方便快捷,并且减少了模型表面化引起的零件误差,从而使截面轮廓精度更高．该方法为面曝光快速成形系统快速制作高精度零件提供了基础．     

基于ASP的大学生就业招聘网站的设计与实现

随着高校大学生招生规模的不断扩大,每年进入社会的高校毕业生人数急剧增长,网络招聘成为大学生就业的一种快捷渠道。文章首先介绍了ASP技术和ADO数据库访问技术,设计了基于ASP技术的毕业生就业招聘网站的体系结构,分析了网站的主要功能并进行了实现。基于ASP技术的毕业生就业招聘网站为毕业生和用人单位之间架起一条跨越时空的信息高速公路,减少了用人单位的招聘和毕业生的应聘之间不必要的限制,促进了双方更广泛的交流,提高了双向选择的效率和成功率。     

ASP.NET应用程序安全性研究

重点研究了基于ASP.NET的Web应用程序的安全问题。分析了ASP.NET的安全架构,从应用角度,给出了保证Web应用程序安全的4个层次:身份验证、授权、机密性和数据完整性。详细论述在Web应用程序开发中如何实现Windows验证、表单验证、URL授权和数据加密。