基于状态转换的Web程序测试方法研究

基于状态转换的测试方法是探测Web程序动态行为异常的有效途径。Web程序状态的变迁由链接序列和提交数据共同构成的导航场景决定。本文用活动页面导航图(APND)来描述页面间的链接转换行为,用状态变量的组合对象状态图(COSD)来刻画由提交数据导致的系统状态变量改变,再将两者统一成一个较为全面的动态行为模型Web程序状态转换图(WSTD)。最后,采用线索k叉树并加以改造来自动生成测试用例。     

一种基于事件的Web程序测试模型

基于状态转换的测试方法是探测Web程序动态行为的有效途径。针对Web应用中复杂的动态页面,通过改进现有Web测试方法,提出了一种新的基于事件的测试模型,用Web关系图（WARD）描述Web系统的结构,用基于事件的状态迁移图（SMD）描述复杂动态页面的内部结构,两者结合对Web应用系统全面建模。在实际Web系统中的实验证明该方法的建模是全面准确的。     

使用CGI编写网络机器人程序

一．引言 当大家在因特网上漫游时,经常会发现某一个网站上包含了自己非常需要的大量信息,为了尽快地保存这些信息,需要用到机器人程序,那么,什么是机器人程序呢?机器人程序又称为蜘蛛、蠕虫或Web爬虫等等。它实际上是一个自动化程序,用于自动连接到Web页面,然后循着Web页面中的超级链接继续前进,从而在Web页面中漫游。同时,它将收集有用的信息,并保存下来。机器人程序有很多现成的客户端软件,你可以到有关的站点去下载。本文中,重点介绍如何用CGI编写服务器端的机器人程序。     

JSP页面启动Java应用程序的原理与实现

由JSP页面启动Java应用程序在Web应用中有时可能是一件很有意义的工作。在某些专用的Web应用系统中。服务器往往既要响应客户端的页面请求,又要做一些后台的处理工作。有些处理可能还需要人工的参与和操作,比如启动和关闭一个Java后台程序等等。通过用户自定义的标签,在标签的处理类中加入启动Java程序的代码。同时对Java程序作必要的调整,即可实现由JSP页面启动Java程序,可以使所有管理和使用系统的操作全部通过JSP页面来完成。当这样的Java程序很多时,会给管理、维护和使用系统带来很大的便利,对于不熟悉Java语言的用户尤为如此。实现了对系统的集中化管理,提高了系统的集成度和专业化程度。这种方法还有一个明显的优．董就是它与平台无关。     

JSP页面启动Java应用程序的原理与实现

由JSP页面启动Java应用程序在Web应用中有时可能是一件很有意义的工作。在某些专用的Web应用系统中,服务器往往既要响应客户端的页面请求,又要做一些后台的处理工作。有些处理可能还需要人工的参与和操作,比如启动和关闭一个Java后台程序等等。通过用户自定义的标签,在标签的处理类中加入启动Java程序的代码,同时对Java程序作必要的调整,即可实现由JSP页面启动Java程序,可以使所有管理和使用系统的操作全部通过JSP页面来完成。当这样的Java程序很多时,会给管理、维护和使用系统带来很大的便利,对于不熟悉Java语言的用户尤为如此。实现了对系统的集中化管理,提高了系统的集成度和专业化程度。这种方法还有一个明显的优点就是它与平台无关。     

C程序控制流程模型的提取技术与实现

控制流图描述了函数执行时可能采取的执行路径。绝大多数静态分析工具都在抽象语法树之上生成控制流图并据此对程序的运行行为进行分析。在模型检测过程中,提取正确的控制流图是构建系统模型的关键。在分析C程序的抽象语法树和控制结构的基础上,设计并实现了程序控制流图提取的算法,并分析了算法的正确性。基于提取的控制流程,可对C程序的某些性质进行模型检验。     

基于HTML和XML的信息提取方法研究

Web作为巨大的数据源,从Web中提取知识是当前信息研究的热点之一。主要研究针对HTML和XML页面如何生成Wrapper程序以便能够自动地从特定网页中提取有用信息,并成为将来进行Web挖掘的基础。     

面向用户行为的页面质量评估

页面质量评估在搜索引擎系统中具有极其关键的作用,传统的方法是基于页面链接关系进行页面质量评估。但由于当前Web环境的复杂性,传统方法已经难以适应当前的Web环境,近年来,用户行为被用来弥补完全依赖链接关系方法的不足。用户行为可以分为两类:浏览行为和搜索行为。利用浏览行为构造了用户浏览图;提出了一种利用用户搜索行为的新方法,此方法构造了用户搜索图;合并用户浏览图和用户搜索图得到用户浏览搜索图。实验表明用户浏览搜索图的性能比较接近用户浏览图的性能,并超过全网的性能,同时用户浏览搜索图能够评价的页面数要大于用户浏览图。     

基于HTML和XML的信息提取方法研究

Web作为巨大的数据源,从Web中提取知识是当前信息研究的热点之一.主要研究针对HTML和XML页面如何生成Wrapper程序以便能够自动地从特定网页中提取有用信息,并成为将来进行Web挖掘的基础.     

基于符号执行的Android原生代码控制流图提取方法

提出了一种基于符号执行的控制流图提取方法,该方法为原生库中的函数提供了符号执行环境,对JNI 函数调用进行模拟,用约束求解器对符号进行求解。实现了控制流图提取原型系统 CFGNative。实验结果表明,CFGNative可准确识别样例中所有的JNI函数调用和原生方法,并能够在可接受的时间内达到较高的代码覆盖率。     

X10程序的差别分析方法

程序差别分析是程序调试的常见手段,其主要用于分析程序不同版本之间的差异信息.然而,将现有程序差别分析算法扩展到并行程序语言还面临众多挑战.其主要原因在于并行程序复杂性较高,且存在支持并行活动的特殊机制,如地址(或线程)、活动、同步等,从而为有效进行程序差别分析设置了障碍.文中研究基于PGAS模型的X10并行程序的程序差别分析方法,并设计了一种语句级的、针对X10程序的程序差别分析算法X10Diff.X10Diff包括下列步骤:(1)匹配原程序和修改后程序中的类、接口、方法及地址;(2)为待分析程序片段构建基于地址的程序流图,并建立相应简化图;(3)迭代扩展并比较简化图,并将差别信息定位到代码中.     

一种基于语义的程序融合差别合并算法

在异步协同编程环境下,协作者经常创建多个版本,每个版本都是对原来版本的修订或补充,如何合并多个版本为一个共同的版本是一个重要的研究课题。在已存在的算法中,PDI算法是对HPR和YHR算法的补充,它可以合并当一个版本对if条件语句的then分支进行修改,而另一版本对else分支进行修改时所导致的差别,但是对于某些HPR和YHR算法可合并的程序,PDI算法会报告假冲突,因此提出了一种基于语义的程序融合差别合并算法,它是通过对程序同时使用前向分片和后向分片进行差别分析,避免假冲突的发生。实验表明该算法可以有效地保证编程者的编程意愿。     

Combining Program and Data Specialization

Program and data specialization have always been studied separately, although they are both aimed at processing early computations. Program specialization encodes the result of early computations into a new program; while data specialization encodes the result of early computations into data structures.In this paper, we present an extension of the Tempo specializer, which performs both program and data specialization. We show how these two strategies can be integrated in a single specializer. This new kind of specializer provides the programmer with complementary strategies which widen the scope of specialization. We illustrate the benefits and limitations of these strategies and their combination on a variety of programs.     

递归Prolog程序终止问题的探讨

本文用Ｐｒｏ图的方法讨论了递归Ｐｒｏｌｏｇ程序的终止问题。其中包括Ｐｒｏ图的概念和Ｐｒｏ图的状态序列及递归程序的终止问题。使用本文的方法可为调试程序提供足够的启示。     

程序理解:现状与未来

程序理解是软件工程中的关键活动,在软件开发、维护、重用等任务中发挥着重要的作用.程序理解自软件工程出现以来,就一直是该领域的研究热点.随着软件应用的日益复杂和不断普及,程序理解研究的需求发生了新的变化,程序的自理解或自认知逐渐成为新的关注点,有必要对程序理解进行重新审视.从工程、学习和认知以及方法和技术这3个角度定位程序理解任务;随后,通过文献分析展示其研究布局,进而分别从认知过程、理解技术以及软件工程任务中的应用这3个方面,综合论述程序理解研究的发展脉络和研究进展.     

程序不变量检测技术

基于合约的程序设计是提高软件质量的一种重要技术,已经得到了很大的发展。合约描述了程序内部的基本属性、程序良性运行的保证条件以及运行后的期望结果。作为合约的一种表达形式,程序不变量一般包含类不变量、前置条件和后置条件。程序不变量是程序中隐含的属性,它可以应用于程序验证、软件测试技术、逆向工程、程序质量保证等领域。本文结合当前主流的程序不变量研究的相关成果和基于合约的程序不变量程序设计方法,分别从源程序编配技术、测试用例生成技术、程序运行轨迹收集技术和程序不变量分析技术四个方面,对程序不变量挖掘的关键方法和原理进行了详细的剖析。     

WINDOWS中DDEML创建程序组与程序项的方法

在安装硬件设备和相应应用程序时,在WINDOWS中创建程序组和程序项有时是非常必要的。本文介绍运用DDEML在WINDOWS中创建程序组和程序项的具体实用技术。可供读者参考。     

Windows电脑安全防护方案

针对Windows操作系统计算机提出简单实用的安全防护措施和安全配置方法。     

一种分布式并行参数优化算法设计及其应用

并行参数优化算法在科学计算中有广泛应用。随着Spark等分布式平台的快速发展,越来越多并行参数优化算法开始采用分布式平台进行实现。如何在Spark等平台上设计优化算法,避免其运行效率受到框架固定时间开销和网络I/O影响,已经成为亟需解决的问题。本文设计一种分布式与单机多核并行结合的参数优化算法,将其划分为调度部分和独立子问题部分,单机多核并行算法处理子问题,分布式平台负责子问题的跨节点并行。碳通量模型参数优化的实验结果表明,改进的算法能有效节省时间开销,更快地搜索参数空间。