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

计算机光盘软件与应用 2012年第19期15卷 6-8页

作者：张波姜旭上海金融学院上海201209 上海市计算机软件评测重点实验室上海201112

为了从语义层次上解决P2P资源匹配问题,本体论被引入,试图通过采用可扩展的信息建模工具使得网络资源发现系统能够高效、精确地发现P2P网络资源,同时获得良好的灵活性。然而当前采用的技术要求网络节点共享一个集中的网络资源本体,这种... 详细信息

为了从语义层次上解决P2P资源匹配问题,本体论被引入,试图通过采用可扩展的信息建模工具使得网络资源发现系统能够高效、精确地发现P2P网络资源,同时获得良好的灵活性。然而当前采用的技术要求网络节点共享一个集中的网络资源本体,这种技术不适合高度动态性和分散性的P2P网络。提出一种基于局部本体的P2P网络全局知识视图构建方法,提供了网络资源的全局描述,同时保持了对资源语义的揭示,这种方法不需要网络节点维护一个共享的集中的本体,可扩展性强,对资源的描述更灵活,更适合用于P2P网络资源匹配。

关键词：本体 P2P,本体映射知识视图

来源：评论

学校读者我要写书评

暂无评论

系统与软件效率　第2部分：度量方法

系统与软件效率　第2部分：度量方法

引用

作者：崔岩徐旼之张露莹李家宏张旸旸董文生丛力群周勇王宝艾袁玉宇曾昭志张苏利肖正坤侯建华蔡立志丁志刚左家平黄万民刘新袁肃蓉杨金翠万方申阳苏盼王樱上海宝信软件股份有限公司中国电子技术标准化研究院深圳市科脉技术有限公司上海浦东软件平台有限公司上海鲁齐信息科技有限公司广东软件评测中心北京邮电大学珠海南方软件网络评测中心国家应用软件产品质量监督检验中心上海市计算机软件评测重点实验室上海嵌入式系统应用工程技术研究中心南昌金庐软件园软件评测培训有限公司广州广软信息系统管理咨询有限公司

标准类型：国家标准

GB/T 29835的本部分在GB/T 29835.1提出的指标体系的基础上,规定了系统和软件效率指标体系的度量方法,使其能够尽可能满足各种不同的测试目标和测试需要。本部分适用于系统与软件的效率度量与测评。

标准号: GB/T 29835.2-2013

关键词：计算机计算机软件软件技术计算机技术程序设计语言效率 COMPUTERS COMPUTER COMPUTER SOFTWARE SOFTWARE TECHNIQUES COMPUTER TECHNOLOGY APL PROGRAMMING LANGUAGES EFFICIENCY

来源：评论

学校读者我要写书评

暂无评论

系统与软件效率　第3部分：测试方法

系统与软件效率　第3部分：测试方法

引用

作者：张露莹李家宏崔岩苏盼欧阳树生张旸旸袁玉宇曾昭志张苏利肖正坤侯建华蔡立志丁志刚左家平黄万民刘新袁肃蓉杨金翠万方陈芳芳上海鲁齐信息科技有限公司上海浦东软件平台有限公司国家应用软件产品质量监督检验中心深圳市科脉技术有限公司中国电子技术标准化研究院上海宝信软件股份有限公司广东软件评测中心北京邮电大学珠海南方软件网络评测中心上海市计算机软件评测重点实验室上海嵌入式系统应用工程技术研究中心南昌金庐软件园软件评测培训有限公司广州广软信息系统管理咨询有限公司

标准类型：国家标准

GB/T 29835的本部分规定了系统与软件效率的测试方法。本方法是在GB/T 29835.1的指标体系和GB/T 29835.2的度量方法的基础上,给出效率指标体系中每个效率指标的测试方法。本部分对效率指标体系的应用方法进行了扩展,提出了效率指标体系... 详细信息

标准号: GB/T 29835.3-2013

GB/T 29835的本部分规定了系统与软件效率的测试方法。本方法是在GB/T 29835.1的指标体系和GB/T 29835.2的度量方法的基础上,给出效率指标体系中每个效率指标的测试方法。本部分对效率指标体系的应用方法进行了扩展,提出了效率指标体系测试应用框架,使效率指标体系尽可能满足各种不同的测试目标和测试需要。本部分适用于系统与软件的效率测评。

关键词：计算机计算机软件软件技术计算机技术程序设计语言测量 COMPUTERS COMPUTER COMPUTER SOFTWARE SOFTWARE TECHNIQUES COMPUTER TECHNOLOGY APL PROGRAMMING LANGUAGES MEASUREMENTS MEASUREMENT MEASURING

来源：评论

学校读者我要写书评

暂无评论

系统与软件效率　第1部分：指标体系

系统与软件效率　第1部分：指标体系

引用

作者：李家宏张露莹徐旼之张旸旸申阳胡兵袁玉宇曾昭志张苏利肖正坤侯建华蔡立志丁志刚左家平黄万民刘新袁肃蓉杨金翠万方上海浦东软件平台有限公司上海鲁齐信息科技有限公司中国电子技术标准化研究院深圳市科脉技术有限公司广东软件评测中心上海宝信软件股份有限公司北京邮电大学珠海南方软件网络评测中心国家应用软件产品质量监督检验中心上海市计算机软件评测重点实验室上海嵌入式系统应用工程技术研究中心南昌金庐软件园软件评测培训有限公司广州广软信息系统管理咨询有限公司

标准类型：国家标准

GB/T 29835的本部分规定了系统与软件效率指标体系,给出了每个指标的具体描述和示例。本部分适用于计算机系统与软件的效率测评。

标准号: GB/T 29835.1-2013

GB/T 29835的本部分规定了系统与软件效率指标体系,给出了每个指标的具体描述和示例。本部分适用于计算机系统与软件的效率测评。

关键词：计算机计算机软件软件技术计算机技术程序设计语言 COMPUTERS COMPUTER COMPUTER SOFTWARE SOFTWARE TECHNIQUES COMPUTER TECHNOLOGY APL PROGRAMMING LANGUAGES

来源：评论

学校读者我要写书评

暂无评论

基于语义和思维导图的学习资源集成应用研究

基于语义和思维导图的学习资源集成应用研究

引用

第8届全国计算机支持的协同工作学术会议(CCSCW-2012)暨全国第23届计算机技术与应用学术会议(CACIS-2012)

作者：刘晓强樊抒洁于斌成黄雅萍杨根兴东华大学计算机科学与技术学院上海201620 上海市计算机软件评测重点实验室 201112

针对当前电子资源共享性较弱，集成困难的问题。本文研究了使用IEEE LOM标准元数据描述电子资源，通过建立领域本体模型，基于知识语义扩展搜索，基于思维导图进行资源管理和集成应用，并且开发了相关支持工具，实现了对资源的智能检索... 详细信息

针对当前电子资源共享性较弱，集成困难的问题。本文研究了使用IEEE LOM标准元数据描述电子资源，通过建立领域本体模型，基于知识语义扩展搜索，基于思维导图进行资源管理和集成应用，并且开发了相关支持工具，实现了对资源的智能检索、面向学习目标的集成和导航，提高了资源的重用性，为学习者提供适应性更强的学习资源包。

关键词：电子资源知识集成领域本体模型思维导图语义扩展搜索

来源：评论

学校读者我要写书评

暂无评论

应用级分布式文件系统接口标准化探索

引用

信息技术与标准化 2012年第10期 28-32页

作者：陈文捷蔡立志楼志斌王洁萍李海波上海市计算机软件评测重点实验室上海科学院中国电子技术标准化研究院

回顾了分布式文件系统的发展,分析了已有标准和分布式文件系统的通用体系架构,从接口类型、数据操作接口、管理接口等方面对主流的分布式文件系统的应用接口的特点与异同进行比较,结果表明分布式文件系统的标准化研究是必要的和可行的。

关键词：文件系统分布式文件系统体系结构应用接口标准化

来源：评论

学校读者我要写书评

暂无评论

威胁驱动的Web应用On-The-Fly导航模型验证方法

引用

应用科学学报 2011年第1期29卷 83-91页

作者：胡立立缪淮扣陈圣波梅佳高洪皓上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海201112

以Web应用为代表的网络软件安全性受到业界的广泛关注,对具有复杂交互行为的Web应用安全性建模和验证是一个挑战.该文提出一种威胁驱动的Web应用On-the-Fly导航模型验证方法,采用威胁驱动方法从规格说明中设计和抽取用于性质检验的安全... 详细信息

以Web应用为代表的网络软件安全性受到业界的广泛关注,对具有复杂交互行为的Web应用安全性建模和验证是一个挑战.该文提出一种威胁驱动的Web应用On-the-Fly导航模型验证方法,采用威胁驱动方法从规格说明中设计和抽取用于性质检验的安全性质,利用模型检测工具NuSMV对建立的模型进行验证.实验结果表明该方法可以减少搜索空间并在一定程度上避免状态空间爆炸.

关键词： On-The-Fly验证 Web应用安全性

来源：评论

学校读者我要写书评

暂无评论

基于模型的Web应用测试

引用

计算机学报 2011年第6期34卷 1012-1028页

作者：缪淮扣陈圣波曾红卫上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海201112

提出了基于模型的Web应用测试方法,包括建模、测试用例生成、测试用例的执行、模型以及测试用例的可视化等关键技术.设计并实现一个基于模型的Web应用测试系统.以FSM作为被测Web应用的形式测试模型,集成了模型转换器、测试目标分析器、... 详细信息

提出了基于模型的Web应用测试方法,包括建模、测试用例生成、测试用例的执行、模型以及测试用例的可视化等关键技术.设计并实现一个基于模型的Web应用测试系统.以FSM作为被测Web应用的形式测试模型,集成了模型转换器、测试目标分析器、测试序列生成器、FSM和测试序列可视化以及Web应用测试执行引擎等工具.除支持状态覆盖、迁移覆盖、迁移对覆盖等传统的覆盖准则外,还改进/提出了优化状态迁移覆盖、完整消息传递覆盖、完整功能交互覆盖和功能循环交互覆盖等覆盖准则.该文以兴宁水库移民信息管理系统为例演示了该系统.

关键词： Web应用模型转换测试用例生成测试执行

来源：评论

学校读者我要写书评

暂无评论

确定性有限状态机的最小测试成本迁移覆盖准则

引用

软件学报 2011年第7期22卷 1457-1474页

作者：刘攀缪淮扣曾红卫梅佳上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海201112

软件测试中的一个重要问题是测试成本和测试效率的平衡问题.依据程序中错误分布的2-8定律,将测试分为两个阶段,以解决该问题.第1阶段采用最小代价发现软件中的错误,第2阶段针对第1阶段中发现的错误补充设计测试用例,探测软件中潜在的错... 详细信息

软件测试中的一个重要问题是测试成本和测试效率的平衡问题.依据程序中错误分布的2-8定律,将测试分为两个阶段,以解决该问题.第1阶段采用最小代价发现软件中的错误,第2阶段针对第1阶段中发现的错误补充设计测试用例,探测软件中潜在的错误.重点是第1阶段的实现.依据确定性有限状态机和集合划分的理论,提出了确定性有限状态机的最小测试成本迁移覆盖准则,给出了最小测试成本迁移覆盖存在的充分和必要条件,设计了优化迁移覆盖和最小测试成本迁移覆盖的实现算法,并讨论了测试序列集合的有效性问题.在实验中,依据该方法不仅能够获得最小测试成本的测试用例集合,而且同样能够探测出确定性有限状态机中迁移上的错误.

关键词：最小测试成本迁移覆盖准则成本/效率的平衡确定性有限状态机迁移覆盖

来源：评论

学校读者我要写书评

暂无评论

用模型检验产生安全性质的测试

引用

应用科学学报 2011年第5期29卷 529-536页

作者：曾红卫缪淮扣上海大学计算机工程与科学学院上海200072 上海市计算机软件评测重点实验室上海201112

安全关键系统必须满足规定的安全性质.测试生成通常独立于给定性质,"先验证再测试"的方法不能保证安全性质被测试.为此,该文提出了一种基于输入-输出标记迁移系统的安全性质测试方法.用输出变异建立被测实现的输出-完全模型,... 详细信息

安全关键系统必须满足规定的安全性质.测试生成通常独立于给定性质,"先验证再测试"的方法不能保证安全性质被测试.为此,该文提出了一种基于输入-输出标记迁移系统的安全性质测试方法.用输出变异建立被测实现的输出-完全模型,通过发现危险迹产生测试用例.给出了基于图结构覆盖的安全性质测试准则,提出了形式化测试准则的方法.使用模型检验器NuSMV检验输出-完全模型可产生既满足结构覆盖又与安全性质相关的测试用例.

关键词：安全性质模型检验测试生成危险迹

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：