检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

web应用程序分页策略的研究

计算机工程 2005年第21期31卷 60-62页

作者：顾志峰李涓子清华大学计算机科学与技术系北京100084

研究了在web应用程序中被广泛使用的分页技术,介绍了3种常用的分页模型,利用计算页面被访问的概率密度的方法对这3种分页模型进行了分析。在此基础上讨论了动态建立合适的分页策略的方法。将该方法应用于实际系统的分页框架中,取得了良... 详细信息

研究了在web应用程序中被广泛使用的分页技术,介绍了3种常用的分页模型,利用计算页面被访问的概率密度的方法对这3种分页模型进行了分析。在此基础上讨论了动态建立合适的分页策略的方法。将该方法应用于实际系统的分页框架中,取得了良好效果。该框架可以灵活地定制不同的分页策略。

关键词： web应用分页策略缓冲

在线全文

学校读者我要写书评

暂无评论

web应用中的面向对象模型与设计模式

计算机工程 2003年第14期29卷 42-44页

作者：葛亮叶恩施伯乐复旦大学计算机与信息技术系上海200433

介绍了web应用中的面向对象模型及其基于XML的建模语言OOWML，它为实现web应用开发从设计到实现的平滑过渡、提高web应用的可重用性、开发出高质量的web应用提供了基础。然后展示了如何在此模型中应用设计模式改善web应用的设计。

关键词： web应用面向对象设计模式装饰模式

在线全文

学校读者我要写书评

暂无评论

web应用测试模型研究

电子学报 2005年第B12期33卷 2376-2380页

作者：李诺吴际金茂忠刘超北京航空航天大学软件工程研究所北京100083

本文基于模型驱动测试的思想，提出一种web应用测试模型WANM（web Application Navigation Model），用于支持测试用例的设计与自动执行．基于WANM设计的测试用例的描述参照U2TP（UML2．0 Testing Profile）标准，使得测试建模、测试用... 详细信息

本文基于模型驱动测试的思想，提出一种web应用测试模型WANM（web Application Navigation Model），用于支持测试用例的设计与自动执行．基于WANM设计的测试用例的描述参照U2TP（UML2．0 Testing Profile）标准，使得测试建模、测试用例生成以及测试执行既紧密联系又相互独立，有助于提高测试的充分性与效室．

关键词： web应用 MDT 测试模型 U2TP 测试用例

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

web应用测试模型研究

南京大学学报（自然科学版） 2005年第z1期41卷 607-614页

作者：李诺吴际金茂忠刘超北京航空航天大学计算机学院软件工程研究所北京市100083 北京航空航天大学计算机学院软件工程研究所北京市100083 北京航空航天大学计算机学院软件工程研究所北京市100083 北京航空航天大学计算机学院软件工程研究所北京市100083

基于模型驱动测试的思想,提出一种web应用测试模型WANM(web Application Navigation Model),用于支持测试用例的设计与自动执行.基于WANM设计的测试用例的描述参照U2TP(UML2.0 Testing Profile)标准,使得测试建模、测试用例生成以及测... 详细信息

基于模型驱动测试的思想,提出一种web应用测试模型WANM(web Application Navigation Model),用于支持测试用例的设计与自动执行.基于WANM设计的测试用例的描述参照U2TP(UML2.0 Testing Profile)标准,使得测试建模、测试用例生成以及测试执行既紧密联系又相互独立,有助于提高测试的充分性与效率.

关键词： web应用 MDT 测试模型 U2TP 测试用例

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

基于模型的web应用测试

计算机学报 2011年第6期34卷 1012-1028页

作者：缪淮扣陈圣波曾红卫上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海201112

提出了基于模型的web应用测试方法,包括建模、测试用例生成、测试用例的执行、模型以及测试用例的可视化等关键技术.设计并实现一个基于模型的web应用测试系统.以FSM作为被测web应用的形式测试模型,集成了模型转换器、测试目标分析器、... 详细信息

提出了基于模型的web应用测试方法,包括建模、测试用例生成、测试用例的执行、模型以及测试用例的可视化等关键技术.设计并实现一个基于模型的web应用测试系统.以FSM作为被测web应用的形式测试模型,集成了模型转换器、测试目标分析器、测试序列生成器、FSM和测试序列可视化以及web应用测试执行引擎等工具.除支持状态覆盖、迁移覆盖、迁移对覆盖等传统的覆盖准则外,还改进/提出了优化状态迁移覆盖、完整消息传递覆盖、完整功能交互覆盖和功能循环交互覆盖等覆盖准则.该文以兴宁水库移民信息管理系统为例演示了该系统.

关键词： web应用模型转换测试用例生成测试执行

在线全文

学校读者我要写书评

暂无评论

基于CEGAR的web应用验证

计算机学报 2014年第4期37卷 976-992页

作者：高洪皓缪淮扣曾红卫上海大学计算机工程与科学学院上海 200444 上海大学计算中心上海 200444 上海市计算机软件评测重点实验室上海 201114

web应用导航行为的建模和验证是可信web工程研究的重点和难点.在深入分析用户和web浏览器交互行为的基础上,文中引入On-the-fly策略并基于反例引导的抽象精化验证方法 CEGAR对web应用的导航行为进行建模和验证.在On-the-fly导航模型展... 详细信息

web应用导航行为的建模和验证是可信web工程研究的重点和难点.在深入分析用户和web浏览器交互行为的基础上,文中引入On-the-fly策略并基于反例引导的抽象精化验证方法 CEGAR对web应用的导航行为进行建模和验证.在On-the-fly导航模型展开的过程中,根据检验性质采用增量式状态抽象方法构造web应用导航抽象模型,通过确认抽象反例来识别伪反例,借助等价类精化方法消除抽象模型上的伪反例.这一方法可有效地缓解web应用验证过程中出现的状态爆炸问题.

关键词： web应用导航模型抽象精化模型检验伪反例

在线全文

学校读者我要写书评

暂无评论

面向性能剖析的web应用自动性能建模方法

软件学报 2012年第4期23卷 786-801页

作者：黄翔王伟张文博魏峻黄涛中国科学院软件研究所软件工程技术研究开发中心北京100190 中国科学院软件研究所计算机科学重点实验室北京100190 中国科学院研究生院北京100049 武汉大学软件工程国家重点实验室湖北武汉430072

提出了一种面向性能剖析的web应用自动性能建模方法.该方法考虑了用户行为与系统中不同服务之间的关联,动态地构造与应用实际状态相符的性能模型,并利用Kalman滤波所具备的过滤"噪声"和适应变化的特性,精确估算各服务所需CPU时间.实验... 详细信息

提出了一种面向性能剖析的web应用自动性能建模方法.该方法考虑了用户行为与系统中不同服务之间的关联,动态地构造与应用实际状态相符的性能模型,并利用Kalman滤波所具备的过滤"噪声"和适应变化的特性,精确估算各服务所需CPU时间.实验结果表明,该方法可以适应web应用内、外部环境的变化,分析结果可为瓶颈定位和容量规划等性能保障技术提供高质量数据.

关键词： web应用性能剖析性能建模 Kalman滤波

web应用常见注入式安全漏洞检测关键技术综述

在线全文

学校读者我要写书评

暂无评论

北京工业大学学报 2016年第12期42卷 1822-1832页

作者：王丹赵文兵丁治明北京工业大学计算机学院北京100124

针对各种动态web技术的应用和发展加剧了web应用注入式恶意攻击防范难度的问题,围绕web应用典型的SQL注入和XSS注入漏洞,综述了近年来提出的、适用于web应用注入式漏洞检测的研究进展.介绍了web应用常见的注入式安全漏洞的分类,总结了... 详细信息

针对各种动态web技术的应用和发展加剧了web应用注入式恶意攻击防范难度的问题,围绕web应用典型的SQL注入和XSS注入漏洞,综述了近年来提出的、适用于web应用注入式漏洞检测的研究进展.介绍了web应用常见的注入式安全漏洞的分类,总结了这类漏洞的成因,梳理了安全漏洞检测的复杂性;阐述了注入式安全漏洞检测的关键技术,包括漏洞注入点的分析和识别、符号执行和污点分析以及基于软件分析和测试模型的漏洞检测方法;最后给出了研究展望.

关键词： web应用注入式漏洞检测

基于负载模式识别的web应用在线异常检测方法

在线全文

学校读者我要写书评

暂无评论

软件学报 2012年第10期23卷 2705-2719页

作者：王焘魏峻张文博钟华中国科学院软件研究所软件工程技术研究开发中心北京100190 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院研究生院北京100049

负载模式的动态变化会影响系统度量,使得异常难以准确检测.针对此问题,提出一种基于负载模式识别、在线检测web应用异常的方法.该方法基于在线增量式聚类算法,运行时识别动态变化的负载模式,根据特定负载模式对应的度量空间,利用局部异... 详细信息

负载模式的动态变化会影响系统度量,使得异常难以准确检测.针对此问题,提出一种基于负载模式识别、在线检测web应用异常的方法.该方法基于在线增量式聚类算法,运行时识别动态变化的负载模式,根据特定负载模式对应的度量空间,利用局部异常因数检测异常状态,并量化异常程度,并通过学生t测试方法计算度量异常值,以定位异常原因.实验结果表明,所提方法能够准确识别负载模式变化,有效检测出web应用典型错误所引起的异常状态,并定位异常原因.

关键词： web应用异常检测动态负载增量式聚类局部异常因数