您的位置： 专家智库 > >

顾燕萍

作品数：3 被引量：6H指数：1
供职机构：上海师范大学信息与机电工程学院计算机科学与技术系更多>>
发文基金：上海市重点产业技术产学研联合攻关项目国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 3篇中文期刊文章

领域

  • 3篇自动化与计算...

主题

  • 2篇标号
  • 1篇动态模型
  • 1篇用户
  • 1篇用户界面
  • 1篇软件测试
  • 1篇软件体系结构
  • 1篇体系结构
  • 1篇图形用户
  • 1篇图形用户界面
  • 1篇化学抽象机
  • 1篇SA
  • 1篇测试用例
  • 1篇测试用例生成
  • 1篇抽象机

机构

  • 3篇上海师范大学

作者

  • 3篇高建华
  • 3篇顾燕萍

传媒

  • 1篇计算机应用与...
  • 1篇计算机工程与...
  • 1篇计算机技术与...

年份

  • 1篇2009
  • 1篇2007
  • 1篇2006
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
基于模型的图形用户界面软件测试方法被引量：6
2009年
通过研究GUI(图形用户界面)软件的规格说明、GUI结构、GUI代码,构造用于GUI测试的四种不同层次的GUI表示方法,该表示方法可以描述界面间关系的界面调用关系图、界面信息的对象-事件分析图、界面内事件间关系的事件关系流图以及程序内部逻辑结构的事件程序控制流图,在此基础上提出了基于这些模型的复合性测试用例生成方法,并用实例说明该方法的有效性。
高建华顾燕萍
关键词：软件测试图形用户界面测试用例生成
软件体系结构动态模型描述及其测试中的应用
2007年
软件体系结构的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步。为了较为方便恰当地描述软件体系结构的动态性,通过对软件体系结构描述语言研究,利用带标号的转换系统来模拟软件体系结构的动态性,把带标号的转换系统作为软件体系结构动态性模型并从中选取测试序列进行测试,并通过具体实例给出了带标号转换系统这一动态模型的导出过程及利用此动态模型进行一致性测试的方法。
顾燕萍高建华
用于测试的SA动态模型生成方法
2006年
SA(软件体系结构)的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步。许多软件体系结构描述语言是利用带标号的转换系统(LTS)来模拟软件体系结构动态性的,利用LTS作为软件体系结构动态性模型并从中选取测试序列。通过实例研究了两种体系结构描述语言及其分别向动态模型LTS转变的过程。
顾燕萍高建华
关键词：化学抽象机
全选 清除 导出
共1页<1>
聚类工具0