位置：成果数据库 > 期刊 > 期刊详情页
Automatic Generating Test Cases for Testing Web applications
  • 期刊名称：Journal of Communication and Computer,
  • 时间：0
  • 页码：21-26
  • 语言：中文
  • 分类：TP2[自动化与计算机技术—控制科学与工程;自动化与计算机技术—检测技术与自动化装置] TP393[自动化与计算机技术—计算机应用技术;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]School of Computer Engineering and Science, Shanghai University, Shanghai 200072, China, [2]School of Information Technology, Jiangxi University of Finance ＆ Economics, Nanchang 330013, China
  • 相关基金：Acknowledgements： This work was supported by National High-Technology Research and Development Program （863 Program） of China under grant （No. 2007AA01Z144）, National Natural Science Foundation of China （NSFC） under grant （No. 60673115） and National Grand Basic Research Program （973 Program） of China under grant （No. 2007CB310800）.
  • 相关项目：基于规格说明的Web应用测试方法研究
作者： MIAO Huai-kou|CHEN Sheng-bo|QIAN Zhong-sheng|
关键词： 自动化技术, 测试方法, 网络技术, 互联网, Web applications, test case, logical component, state space explosion, component interaction
中文摘要：

CHEN Sheng-bo （1975-）, male, Ph.D. candidate; research fields： formal methods and Web application modeling, verification and testing. MIAO Huai-kou （1953-）, male, professor, Ph.D. supervisor; research fields： software engineering and software testing automation. QIAN Zhong-sheng （1977-）, male, Ph.D. candidate; research fields： software engineering and Web application testing.

同期刊论文项目
　需求工程—对复杂系统的软件工程的基础研究
期刊论文 40
基于规格说明的Web应用测试方法研究
期刊论文 39 会议论文 32
同项目期刊论文
DNA分子计算与DNA计算机的研究进展
Applying SMV for security protocol verification
A formal framework for WS-CDL based on process algebra
UML模型到FSM模型的转换
基于角色的设计模式形式建模及演化
一种用于模型验证的Web应用模型抽取方法
Towards common acquaintance immunization strategy for complex network
Web应用功能交互的建模与测试用例生成
Uppaal到PVS的时间自动机翻译器
基于场景的形式化测试模型生成方法研究
Web 应用自动化测试的研究
基于规格说明的若干逻辑覆盖测试准则
基于场景规约的系统行为建模
构件式系统的建模与验证
构件组合的抽象精化验证
Web应用程序建模和测试用例生成方法
基于ORD和FSM的Web应用的建模与测试
从集合表达式产生测试数据的方法
基于复杂网络面向对象集成测试的研究
Towards Automatic Transformation from UML Model to FSM Model for Web Application
Multiple UIO-based test sequence generation for distributed systems
面向用户会话的Web应用测试用例生成及其优化
Web应用的UML协作图建模与形式化规格说明
基于MDA的模糊本体生成方法
UML状态图测试充分性准则的公理化评估
一种验证Web应用设计的方法
一种基于功能构件的Web应用建模与测试方法
一种基于Object-Z规格说明的集成测试用例生成方法
一种基于Web软件集成测试的建模方法
基于UML的Web应用建模与测试方法
构件式实时系统建模与验证研究
图形转换的构件组装框架唯一性研究
基于接口自动机的Web应用验证
Web应用自动化测试的研究
形式概念分析在Web应用测试用例选取中的应用
反例引导的模型检验工具的设计
移动Ad Hoc网络网格路由协议研究进展
Timed automata for metric interval temporal logic formulae in prototype verification system
基于LSC模型检验的性质抽取
一种用于模型验证的Web应用模型抽取方法
基于FSM的测试理论、方法及评估
基于模型的Web应用测试
确定性有限状态机的最小测试成本迁移覆盖准则
基于维基百科的语义知识库及其构建方法研究
软件网络的多粒度拓扑特性分析及其应用
一种基于拓扑势的网络社区发现方法
网络时代的人工智能
软件结构属性分析与恶意软件检测
A Hybrid Set of Complexity Metrics for Large-Scale Object-Oriented Software Systems
Novel encryption model for multimedia data
Web应用功能交互的建模与测试用例生成
基于规格说明的若干逻辑覆盖测试准则
基于场景规约的系统行为建模
构件组合的抽象精化验证
一种面向语义Web服务的软件设计语言和设计方法
一种基于签名和属性的可执行文件比较
网络化软件的复杂网络特性实证
Steady state speed distribution analysis for a combined cellular automaton traffic model
Object-Z规格说明测试用例的自动生成器
基于UML的Web应用建模与测试方法
构件式实时系统建模与验证研究
图形转换的构件组装框架唯一性研究
基于复杂网络社团划分的Web services聚类
一种基于语义消息的Web服务组合方法
一种基于Spring的轻量级面向服务组件框架
一种体系结构层方面组合的冲突处理方法
基于层次赋时CPN的网络系统建模与可生存性优化
一种支持设计时软件重用的方法ArchBean
基于小波变换的真菌隐球酵母菌图像参数压缩
复杂软件第三方自适应测试研究
非一致OWL本体的推理方法研究
Classification evolution algorithm based on cloud model
A Method for Trust Management in Cloud Computing： Data Coloring by Cloud Watermarking
Generating test case specifications of web service composition using model checking
战场关键事件提取技术研究
需求工程——对复杂系统的软件工程的基础研究
提高程序代码通用性和易维护性问题的研究