郑艳艳
- 作品数：7 被引量：3H指数：1
- 供职机构：华中师范大学计算机学院计算机科学系更多>>
- 发文基金：国防科技技术预先研究基金软件工程国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术更多>>
- GUI应用程序的一种描述模型研究
- 图形用户界面(GUI)的自动测试问题是当前软件测试中的困难问题,其困难性首先表现在如何形式化地描述GUI.本文提出了一种形式化描述GUI的方法,这将为GUI的自动测试打下基础.
- 叶俊民郑艳艳彭波涛朱凯
- 关键词：软件测试图形用户界面GUI应用程序
- 文献传递
- 一种基于DRTSADL规约的软件体系结构切片方法
- 切片思想在软件体系结构层的应用,可以使研究人员把握系统中某个特定功能的构件实现,并为研究人员集中精力改进软件体系结构的设计缺陷打下基础.本文即主要讨论了一种基于形式化规约的软件体系结构切片方法.，以供大家参考。
- 叶俊民朱凯彭波涛郑艳艳
- 关键词：软件体系结构
- 文献传递
- 基于Petri网模型的GUI软件测试用例生成研究
- 图形用户界面/(GUI/)是当今软件中的一个必不可少的组成部分,它是软件底层代码的前端并使得软件易于使用,现在图形用户界面已经被广泛地使用。与传统的软件相比,GUI软件具有许多不同的特点,因此,GUI的测试仍然是一个有待...
- 郑艳艳
- 关键词：图形用户界面PETRI网测试用例生成算法
- 文献传递
- 一种基于DRTSADL规约的软件体系结构切片方法
- 2005年
- 切片思想在软件体系结构层的应用,可以使研究人员把握系统中某个特定功能的构件实现,并为研究人员集中精力改进软件体系结构的设计缺陷打下基础.主要讨论一种基于形式化规约的软件体系结构切片方法.
- 叶俊民朱凯彭波涛郑艳艳
- 关键词：软件体系结构软件体系结构描述语言切片
- GUI应用程序的一种描述模型研究
- 2005年
- 图形用户界面(GUI)的自动测试问题是当前软件测试中的困难问题,其困难性首先表现在如何形式化地描述GUI.提出了一种形式化描述GUI的方法,这将为GUI的自动测试打下基础.
- 叶俊民郑艳艳彭波涛朱凯
- 关键词：GUI形式化描述事件流图
- 软件连接件风格的研究
- 2006年
- 讨论了软件连接件风格的基本框架,并讨论了过程调用、事件连接件、数据访问连接件、直接连接、流、表决器、适配器、分布器的风格。
- 叶俊民彭波涛郑艳艳
- 关键词：软件体系结构连接件
- 基于c/s体系结构的钢铁生产企业管理信息系统被引量：2
- 2006年
- 设计并实现了以C/S结构为基础的黄石鑫宝有限公司管理信息系统,详细介绍了设计思想、系统功能模块划分和设计方法。
- 彭波涛叶俊民郑艳艳
- 关键词：C/S体系结构企业管理管理信息系统
