一种基于Petri Net的CRETs的测试用例生成子系统设计与实现

التفاصيل البيبلوغرافية
العنوان:	一种基于Petri Net的CRETs的测试用例生成子系统设计与实现
المؤلفون:	谢丹
المساهمون:	北京大学
المصدر:	万方 ; http://d.g.wanfangdata.com.cn/Thesis_Y2025034.aspx
سنة النشر:	2011
المجموعة:	Peking University Institutional Repository (PKU IR) / 北京大学机构知识库
مصطلحات موضوعية:	实时协同编辑工具, 层次建模, Petri Net模型, 测试用例生成子系统, 软件测试
الوصف:	实时协同编辑工具(Collaborative Real-time Editing Tools,简称CRETs)支持分布在不地理位置的站点对文档进行协同编辑。CRETs在实时性发面有很高的要求并且需要在协同编辑过程中保持文档的一致性。当前对CRETs的研究主要是关注CRETs的设计和实现,而对CRETs的质量保证没有足够的研究。软件测试是保证软件质量的重要手段,而测试用例的生成又是测试的关键任务,因此本文将生成CRETs的测试用例作为本文的目的。基于模型的测试(Model-based testing简称MBT)是通过软件的模型来自动生成测试用例。MBT的一个重要任务是根据系统需求建模。本文按照从抽象到具体,逐步求精的方式使用Petri Net对CRETs分四个层次建模。第一个层次的模型从整体入手,描述了CRET的基本功能。第二层的模型分别从架构和一致性模型的角度来分析CRETs。考虑到架构对一致性模型的实现策略的影响,第三个层次的模型从架构和一致性模型组合角度来分析CRETs。本文选择半分布式架构和CCI模型的组合来进行建模。同时本义结合半分布式架构的特点设计了基于CCI模型的一致性策略。第四个层次在第三层的基础上结合具体的应用程序来进行建模。本文实现了一个基于Web的Spreadsheet系统作为被测试对象,因此第四个层次的模型结合Spreadsheet对第三层次的模型进行进一步的细化。本文根据对Petri Net模型遍历得到的路径来生成测试用例。协同编辑是CRETs的核心功能,因此针对CRETs生成的测试用例是一个协同编辑场景。测试用例的输入是由一组协同编辑操作组成的序列,期望输出是各个协同站点对这些操作的处理过程。因此测试用例生成系统包含两个主要功能:1.遍历Petri Net模型中可能存在的路径,根据路径来构建协同编辑场景;2.模拟CRETs的协同编辑,计算出各个站点在协同编辑场景中的处理过程。 Petri Net模型中的变迁是CRETs的关键处理步骤。本文通过统计测试用例对变迁的覆盖次数来对测试用例进行评估。 ; 0
نوع الوثيقة:	thesis
اللغة:	Chinese
Relation:	北京大学.; 728284; http://hdl.handle.net/20.500.11897/365709
الاتاحة:	https://hdl.handle.net/20.500.11897/365709
رقم الانضمام:	edsbas.3579DBE0
قاعدة البيانات:	BASE

View record in BASE

كن أول من يترك تعليقا!