检索结果-内蒙古大学图书馆

基于RDF的查询引擎系统架构

引用

计算机工程 2005年第16期31卷 231-232,F0003页

作者：黄大鹏崔杜武西安理工大学计算机科学与工程学院西安710048

Iseek可建立在从关系数据库到专用RDF三元组存储的多种存储库上,为了实现准确查询,该查询引擎采用RQL作为查询语言,而且由于加入了基于描述逻辑的推理机制,它能为用户返回语义上相关度较高的信息。

关键词： RDF RDF模式 RQL 查询

来源：评论

学校读者我要写书评

暂无评论

基于有限状态自动机的构件化软件集成测试方法

引用

计算机工程 2006年第18期32卷 75-78页

作者：张毅坤侯宇明崔杜武西安理工大学计算机科学与工程学院西安710048

构件技术及其相应规范的出现带来了构件化软件时代。可是构件化软件固有的特点向传统的程序分析测试技术提出了一个尖锐的问题:构件的开发者独立开发和测试了构件,而使用构件的用户在无法访问到构件源代码的前提下如何对构件化系统进行... 详细信息

构件技术及其相应规范的出现带来了构件化软件时代。可是构件化软件固有的特点向传统的程序分析测试技术提出了一个尖锐的问题:构件的开发者独立开发和测试了构件,而使用构件的用户在无法访问到构件源代码的前提下如何对构件化系统进行充分测试?在观测构造理论基础上构造了一种基于有限状态自动机,并可验证构件化软件行为的测试方法。通过实验验证了其有效性。

关键词：构件化软件正则表达式控制状态序列有限状态自动机捕获器

来源：评论

学校读者我要写书评

暂无评论

SIMD计算机的面向对象仿真方法

引用

计算机工程 2005年第17期31卷 90-91,94页

作者：王馨梅张发存崔杜武西安理工大学计算机科学与工程学院西安710048

以网格互联型SIMD计算机为例,提出一个数据并行计算的面向对象仿真方法:首先对网格互联型SIMD计算机系统结构进行研究,抽象出其数学模型。然后在数学模型基础上,结合3个辅助表,设计出一个高度兼容的仿真机类,该类可实例化为不同结构参... 详细信息

以网格互联型SIMD计算机为例,提出一个数据并行计算的面向对象仿真方法:首先对网格互联型SIMD计算机系统结构进行研究,抽象出其数学模型。然后在数学模型基础上,结合3个辅助表,设计出一个高度兼容的仿真机类,该类可实例化为不同结构参数及指令集的网格互联型SIMD计算机的仿真机对象。这种方法能大大提高计算机仿真软件的开发效率。

关键词：仿真面向对象设计 SIMD

来源：评论

学校读者我要写书评

暂无评论

MVC设计模式的改进与应用

引用

计算机工程 2005年第9期31卷 96-97,212页

作者：黎永良崔杜武西安理工大学计算机科学与工程学院西安710048

探讨了典型的MVC设计模式和2种EJB设计模式(Business-delegate和Session-facade)。结合3种模式的优点,将典型的MVC模式改进为MVCF模式,并进一步改进为MVCDF模式。给出了把MVCDF模式应用到基于J2EE架构的供应链管理系统(SCM)中的示例,表... 详细信息

探讨了典型的MVC设计模式和2种EJB设计模式(Business-delegate和Session-facade)。结合3种模式的优点,将典型的MVC模式改进为MVCF模式,并进一步改进为MVCDF模式。给出了把MVCDF模式应用到基于J2EE架构的供应链管理系统(SCM)中的示例,表明运用该模式能够缩短软件开发时间,提高软件的性能和可维护性。

关键词：设计模式 MVC Business—delegate Session—facade 供应链管理系统

来源：评论

学校读者我要写书评

暂无评论

产品图纸异地同步与实时协作设计系统研究

引用

计算机工程 2005年第11期31卷 200-201,207页

作者：罗作民张景张翔井浩周红芳西安理工大学计算机科学与工程学院西安710048

从制造业企业联盟生产实际出发,分析了异地设计、异地制造产品图纸同步与实时协作设计的客观需求,研究了产品图纸异地同步与实时协作设计系统应具有的功能,提出了以虚拟专用网(VPN)为物理平台、基于Web的图纸数据同步更新和基于网络黑... 详细信息

从制造业企业联盟生产实际出发,分析了异地设计、异地制造产品图纸同步与实时协作设计的客观需求,研究了产品图纸异地同步与实时协作设计系统应具有的功能,提出了以虚拟专用网(VPN)为物理平台、基于Web的图纸数据同步更新和基于网络黑板的实时协作设计解决方案,讨论了实现该方案的组成结构及关键技术,总结了该方案的特点。

关键词：产品图纸同步协作 Web 网络黑板虚拟专用网

来源：评论

学校读者我要写书评

暂无评论

面向构件化软件的合约检查测试框架

引用

计算机工程 2006年第20期32卷 78-80,83页

作者：张毅坤叶涛邢传玉西安理工大学计算机科学与工程学院西安710048

基于构件软件开发的主要思想是使用现存的构件来建构软件系统。而这样的系统由于构件本身的特点导致了许多测试困难。***将构件与其客户代码之间的关系形式化地定义为一种合约,它严格限定了构件对象之间的交互规则。通过对合约的监视和... 详细信息

基于构件软件开发的主要思想是使用现存的构件来建构软件系统。而这样的系统由于构件本身的特点导致了许多测试困难。***将构件与其客户代码之间的关系形式化地定义为一种合约,它严格限定了构件对象之间的交互规则。通过对合约的监视和检查,可以容易地发现构件之间的交互错误,从而达到集成测试构件化软件的目的。该文提出了一种基于合约检查的构件集成测试框架(contract-checkingtestframework,CCTF)。讨论了该框架合约检查的思想、5大功能模块以及其测试流程,并介绍了将CCTF应用到构件化软件测试平台实现的一些关键技术。

关键词：构件合约检查 CCTF 构件化软件集成测试

来源：评论

学校读者我要写书评

暂无评论

基于Web的人力资源管理系统

引用

计算机工程 2004年第24期30卷 183-185页

作者：王锋张景李兵李燕西安理工大学计算机科学与工程学院西安710048

　提出了一个采用Delphi6相关技术实现的,基于Web的人力资源管理系统。该系统包括9个模块:人事信息管理,考勤管理,职业规划及接任计划,培训管理,休假管理,考核评估管理,薪资福利计算和管理,网上招聘管理,图表功能。

关键词：人力资源管理系统 Web Websnap 工作流

来源：评论

学校读者我要写书评

暂无评论

基于CPNs场景模型的测试用例生成技术研究

引用

计算机工程 2006年第16期32卷 80-82页

作者：徐艳丽张亚玲张毅坤西安理工大学计算机科学与工程学院西安710048

将用例场景引入面向对象的软件测试中,有利于测试设计者设计测试用例。将着色Petri网(ColoredPetriNets,CPNs)模型直观可靠的特点和较好的耦合性运用到UML用例场景的描述中,进一步给出了CPNs场景模型的集成算法,并运用变色标记捕获UML... 详细信息

将用例场景引入面向对象的软件测试中,有利于测试设计者设计测试用例。将着色Petri网(ColoredPetriNets,CPNs)模型直观可靠的特点和较好的耦合性运用到UML用例场景的描述中,进一步给出了CPNs场景模型的集成算法,并运用变色标记捕获UML规约中的场景及更多新增的场景。同时探讨了基于CPNs场景模型的测试用例生成方法。

关键词：用例场景测试用例生成着色Petri网场景集成变色标记

来源：评论

学校读者我要写书评

暂无评论

一种基于XML的工作流过程定义语言研究与应用

引用

计算机工程 2005年第15期31卷 53-55页

作者：李军怀张彤张景刘海玲西安理工大学计算机科学与工程学院西安710048

针对目前工作流过程描述语言灵活性不够的问题,从工作流系统的Web化以及适应异构应用环境角度出发,将工作流过程定义与工作流执行相分离,继承了WfMC的XPDL标准和XML的优点,提出了一种基于XML的工作流定义语言XML-WfPDL,并介绍了语言的... 详细信息

针对目前工作流过程描述语言灵活性不够的问题,从工作流系统的Web化以及适应异构应用环境角度出发,将工作流过程定义与工作流执行相分离,继承了WfMC的XPDL标准和XML的优点,提出了一种基于XML的工作流定义语言XML-WfPDL,并介绍了语言的设计思想、主要概念及实现的相关技术。最后,给出了利用该语言开发实现的一个网上审批软件系统。

关键词：工作流工作流管理系统 XML 模型

来源：评论

学校读者我要写书评

暂无评论

基于UML的面向对象软件测试系统

引用

计算机工程 2005年第6期31卷 70-72,215页

作者：张保卫张毅坤赵明崔杜武西安理工大学计算机科学与工程学院西安710048

设计和实现了一个基于UML的C++测试集成开发环境CppTestIDE。它以基于UML的分析设计规约文档作为OO软件测试的重要依据,通过对UML文档的词法语法分析,提取类状态机信息;采用手工和自动生成测试用例;并根据生成的测试用例构造驱动模块,... 详细信息

设计和实现了一个基于UML的C++测试集成开发环境CppTestIDE。它以基于UML的分析设计规约文档作为OO软件测试的重要依据,通过对UML文档的词法语法分析,提取类状态机信息;采用手工和自动生成测试用例;并根据生成的测试用例构造驱动模块,生成测试装置。同时,对源代码插装,以便度量代码覆盖率。在此基础上,编译测试装置和源代码,生成测试装置执行文件。最后,驱动测试装置执行文件,分析测试结果,生成测试报告。

关键词：软件测试 UML状态图插装器测试驱动器

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：