基于互联网协同实时编辑软件的可测性与自动化测试技术研究

基于互联网的协同实时编辑软件（WCRES）比单用户编辑软件提供更好的用户体验。目前人们把大量的时间和精力放在设计和开发WCRES上，很少把注意力放在研究这类软件的质量保证上。然而WCRES的质量却是成功的关键。测试被认为是保证质量的主要手段。课题目的是从WCRES的可测性及自动测试两个方面来研究WCRES质量保证的理论、技术与方法。本课题有三个研究内容：WCRES可测性、测试用例自动生成及可视化和自动测试框架。从实时协同需求入手研究WCRES功能模块，提出测试规约模型，研究基于实时协同需求及体系结构的WCRES可测性指标。提出基于场景及形式化方法的测试用例生成算法，研究测试用例的可视化，分析测试用例的完整性与一致性，测试用例的再现。并研究分布式自动化测试框架有关技术，包括协同实时编辑自动输入、运行环境参数统计、基于Ajax时间同步、冲突解决策略验证器、测试规格语言翻译器的设计与实现。

研究背景: 基于互联网的协同实时编辑软件（WCRES）允许多用户在线同时编辑文档、图表，比单用户编辑软件提供更好的用户体验。WCRES的质量是成功的关键，而测试被认为是保证质量的主要手段。课题目的是从WCRES 的可测性及自动测试两个方面来研究WCRES 质量保证的理论、技术与方法。.主要内容：WCRES 可测性、测试用例自动生成及可视化和自动测试框架三个研究内容。.1.分析基于实时协同需求，研究WCRES 可测性。1）分析了协同性需求: 总结了社区生活中协同的三个要素：察觉、反映和行动；把该三要素“映射”到WCRES的三个功能需求。2）建立了WCRES需求模型：包括协同服务器（CS）、协同客户端（CC）、网络和协同者。3）研究了测试需求规格说明语言：ACDATE作为测试需求规格说明语言，具有规范、可执行的特点。4）研究WCRES可测性：除了研究了WCRES可测性的动态方面（可观察性、再现性、表现性、可控制性及可跟踪性），还根据WCRES功能需求特征及体系结构特征（集中型、局部复制型（P2P）、半复制混合型）研究并细化可测性指标：收敛性、因果保持、意图保持。.2．研究基于层次化场景自动生成WCRES 测试用例的算法以及基于模型检测和组合设计技术自动生成WCRES 测试用例的算法；提出了一种时间线图（timeline）方法来描述WCRES场景，该可视化方法实现测试用例的“再现”功能，有效地帮助对WCRES 诊断、排错。.3．本课题提出了用基于协同代理的自动测试框架实施测试执行。该自动测试框架里有三种角色：协同服务器测试代理，协同客户测试代理，和测试协调者。测试代理的研究了包括五个方面：分布式实时编辑自动输入，协同分布式时间度量，运行环境参数统计，时间同步，和解决冲突策略验证。.重要结果：本课题标志性成果包括会议报告13次；发表论文11篇（EI）；教材1部；专利1项公示；人才培养包括硕士生8名，协助培养博士生2名；国内学术交流1次，国际学术交流1次。.科学意义：研究WCRES 体系结构的可测性指标体系及可测性层次结构，为发展灰盒测试理论奠定理论及实践基础。研究基于测试代理的WCRES 自动化测试框架，为合理设计、开发分布式协同实时系统自动化测试提供理论基础。.综上所述，本课题依据研究方案完成了WCRES自动测试的关键技术的研究、覆盖研究内容，达到了预定的本课题目标。