游红俊
- 作品数：5 被引量：28H指数：2
- 供职机构：上海航天计算机技术研究所更多>>
- 发文基金：湖北省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 形式化方法在CSTA系统测试中的应用研究被引量：1
- 2004年
- 系统测试中的形式化方法是将客户需求用数学规约表达出来,推导出各项功能的预期输出结果,以完善客户需求,不仅可以较好地消除需求中可能包含的矛盾、二义性、含糊性、不完整陈述以及抽象层次的混杂等,提高发现问题的工作效率和准确度,提高软件测试质量的保障系数,而且可以将行业知识封装起来,为软件测试业务外包提供一个现实可行的依据。
- 游红俊周红梅程胜利陈先桥
- 关键词：软件测试软件质量软件开发形式化方法
- Java平台上利用XML实现Web系统页面的多语言方案被引量：2
- 2003年
- 分析了Web系统面对多种语言用户需要显示不同页面的需求,提出了用XML结合Java平台的解决方案。
- 张文萍郭庆平袁春明游红俊
- 关键词：JAVA平台XML解析器JAVA语言
- 基于Web的分布式多层数据管理系统的研究及实现被引量：9
- 2003年
- 介绍了一种全新的分布式多层数据管理系统的结构和实现方法,并详细讨论了实现这样的系统结构可能面临的一些问题及解决措施。该结构以C/S结构为基础,把以往由客户端或数据库服务器端实现的企业应用逻辑提取出来封装成企业对象,并将其分布于应用服务器端。与传统的C/S结构相比较,该结构具有较高的可移植性、稳定性及数据安全性。
- 张文萍郭庆平袁春明游红俊
- 关键词：分布式WEB
- 形式化方法在CSTA系统测试中的应用研究
- 该论文对系统测试方法进行了探索,具有一定的理论意义.而且,该文为软件测试业务外包提供了一个现实可行的依据,对软件公司将主要精力放在某行业的应用软件开发、降低成本、提高核心竞争力提供了一种途径,具有重大的经济价值.该论文共...
- 游红俊
- 关键词：形式化方法软件测试
- 文献传递
- 网络环境下信息系统集成技术研究被引量：16
- 2002年
- 该文分析了两种系统开发框架结构,一种是传统的MIS框架,另一种是XML框架结构,并指出其各自的优缺点及适用范围。笔者认为新的基于网络环境的分布式信息系统应当是各种技术的集成综合,在原有技术的基础上不断推陈出新,形成一种既有继承又有创新的综合系统。
- 游红俊郭庆平张文萍袁春明
- 关键词：网络环境INTERNETINTRANET局域网数据库计算机网络
