游红俊

作品数：4被引量：16H指数：2
导出分析报告
供职机构：上海航天计算机技术研究所更多>>
发文主题：形式化方法软件测试INTRANETINTERNET计算机网络更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机工程与应用》《计算机与现代化》《河北科技大学学报》《计算机测量与控制》更多>>
所获基金：湖北省自然科学基金国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
形式化方法在CSTA系统测试中的应用研究被引量：1
《计算机测量与控制》2004年第8期714-716,725,共4页游红俊 周红梅 程胜利 陈先桥 
系统测试中的形式化方法是将客户需求用数学规约表达出来,推导出各项功能的预期输出结果,以完善客户需求,不仅可以较好地消除需求中可能包含的矛盾、二义性、含糊性、不完整陈述以及抽象层次的混杂等,提高发现问题的工作效率和准确度,...
关键词：软件测试 软件质量 软件开发 形式化方法 CSTA 系统测试 
Java平台上利用XML实现Web系统页面的多语言方案被引量：2
《计算机与现代化》2003年第3期66-67,共2页张文萍 郭庆平 袁春明 游红俊 
分析了Web系统面对多种语言用户需要显示不同页面的需求,提出了用XML结合Java平台的解决方案。
关键词：JAVA平台 XML Web系统页面 解析器 JAVA语言 多语言页面 
基于Web的分布式多层数据管理系统的研究及实现被引量：7
《河北科技大学学报》2003年第1期31-34,共4页张文萍 郭庆平 袁春明 游红俊 
介绍了一种全新的分布式多层数据管理系统的结构和实现方法,并详细讨论了实现这样的系统结构可能面临的一些问题及解决措施。该结构以C/S结构为基础,把以往由客户端或数据库服务器端实现的企业应用逻辑提取出来封装成企业对象,并将其分...
关键词：分布式 多层系统结构 WEB 
网络环境下信息系统集成技术研究被引量：6
《计算机工程与应用》2002年第19期172-173,191,共3页游红俊 郭庆平 张文萍 袁春明 
国家自然科学基金(批准号:60173046);湖北省自然科学基金(批准号:2000J153)
该文分析了两种系统开发框架结构,一种是传统的MIS框架,另一种是XML框架结构,并指出其各自的优缺点及适用范围。笔者认为新的基于网络环境的分布式信息系统应当是各种技术的集成综合,在原有技术的基础上不断推陈出新,形成一种既有继承...
关键词：网络环境 信息系统集成 INTERNET INTRANET 局域网 数据库 计算机网络 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部