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

计算机工程 2010年第4期36卷 152-154页

作者：单徐梅虞慧群华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

针对工作流管理系统动态授权的特性,在基于角色的访问控制(RBAC)模型基础上,提出一种权限约束支持的RBAC模型,利用Datalog逻辑语言描述约束策略,借助Datalog推理机实现一个"任务角色"分配的授权算法,解决工作流管理系统动态... 详细信息

针对工作流管理系统动态授权的特性,在基于角色的访问控制(RBAC)模型基础上,提出一种权限约束支持的RBAC模型,利用Datalog逻辑语言描述约束策略,借助Datalog推理机实现一个"任务角色"分配的授权算法,解决工作流管理系统动态授权约束的问题。

关键词：授权约束基于角色的访问控制工作流 Datalog逻辑语言

来源：评论

学校读者我要写书评

暂无评论

Web应用功能交互的建模与测试用例生成

引用

计算机工程与设计 2010年第14期31卷 3139-3142,3146页

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

为了产生更有效的测试用例,以Web应用为研究对象,按功能将Web应用划分成若干个功能构件,把Web应用看成是功能构件的集合,针对其相应的交互功能,用FSM对其功能交互行为进行建模。在此基础上提出了完整消息传递序列测试准则,并根据该测试... 详细信息

为了产生更有效的测试用例,以Web应用为研究对象,按功能将Web应用划分成若干个功能构件,把Web应用看成是功能构件的集合,针对其相应的交互功能,用FSM对其功能交互行为进行建模。在此基础上提出了完整消息传递序列测试准则,并根据该测试准则生成抽象的测试用例集,以实现对Web应用交互性的测试,提高Web应用测试的有效性,力图实现Web应用测试的自动化。最后设计了一个工具原型用于测试用例的生成。

关键词： Web应用建模功能交互测试准则测试用例

来源：评论

学校读者我要写书评

暂无评论

信息安全管理中的传导风险防范方法研究

引用

计算机应用与软件 2010年第8期27卷 97-99,122页

作者：李晓庆杨根兴蔡立志上海市计算机软件评测重点实验室上海201112

风险评估和风险控制措施是信息安全管理体系(ISMS)中的重要环节,而风险控制措施的引入可能引发新的潜在风险(传导风险),对如何防范传导风险进行了阐述,提出了基于PDCA改进模型的传导风险防范策略。

关键词： ISMS 风险评估风险控制措施传导风险 PDCA 残余风险

来源：评论

学校读者我要写书评

暂无评论

基于CPN状态空间的软件场景测试

引用

计算机应用与软件 2010年第9期27卷 37-40,65页

作者：蔡立志上海市计算机软件评测重点实验室上海200112

CPN作为一种重要的建模工具,组合了高级编程语言和常规Petri网的优点,具有状态空间仿真和分析能力。提出了针对CPN状态空间的四种覆盖准则:状态覆盖、变迁覆盖、状态对覆盖、变迁覆盖,对自动饮料机系统进行了CPN建模,并用四种不同场景的... 详细信息

CPN作为一种重要的建模工具,组合了高级编程语言和常规Petri网的优点,具有状态空间仿真和分析能力。提出了针对CPN状态空间的四种覆盖准则:状态覆盖、变迁覆盖、状态对覆盖、变迁覆盖,对自动饮料机系统进行了CPN建模,并用四种不同场景的CPN状态空间的覆盖准则来阐述该方法的有效性。

关键词：仿真覆盖状态空间 CPN

来源：评论

学校读者我要写书评

暂无评论

一个Peer-to-Peer环境下综合信誉计算模型

引用

华东理工大学学报（自然科学版） 2010年第6期36卷 801-806页

作者：孙华虞慧群杨年华华东理工大学计算机科学与工程系上海200237 新疆大学信息科学与工程学院乌鲁木齐830046 上海市计算机软件评测重点实验室上海201112

为了有效地评估P2P网络中节点的信誉,提出了一种基于激励与惩罚机制的信誉计算模型。该信誉模型的计算数据源包括节点的直接交易经历和其他节点的推荐数据,推荐数据包括推荐节点与目标节点的直接交易经历以及它们在交易前曾经查询的数... 详细信息

为了有效地评估P2P网络中节点的信誉,提出了一种基于激励与惩罚机制的信誉计算模型。该信誉模型的计算数据源包括节点的直接交易经历和其他节点的推荐数据,推荐数据包括推荐节点与目标节点的直接交易经历以及它们在交易前曾经查询的数据。通过赋予这些数据不同的权重,使用相对的激励与惩罚机制综合计算节点的信誉。实验结果表明:该模型不仅可以遏制恶意节点,而且可以保证较高的交易成功率。

关键词： P2P 信誉推荐激励惩罚

来源：评论

学校读者我要写书评

暂无评论

含指针程序的单子切片方法

引用

计算机学报 2010年第3期33卷 473-482页

作者：张迎周吴重强钱巨张卫丰徐宝文南京邮电大学计算机学院南京210003 南京大学计算机软件新技术国家重点实验室南京210093 北京邮电大学网络与交换技术国家重点实验室北京100876 EMC中国研发中心上海200433 南京航空航天大学信息科学与技术学院南京210016 南京大学计算机科学与技术系南京210093

传统的含指针程序切片方法将指向分析与切片计算分开,增加了一定系统开销,为此文中提出一种可同时进行切片计算和指向分析的单子切片算法.该算法将程序正向切片思想与数据流迭代分析相结合,它是流敏感的,具有一定的精度,而且因指向分析... 详细信息

传统的含指针程序切片方法将指向分析与切片计算分开,增加了一定系统开销,为此文中提出一种可同时进行切片计算和指向分析的单子切片算法.该算法将程序正向切片思想与数据流迭代分析相结合,它是流敏感的,具有一定的精度,而且因指向分析和切片计算同时进行,故不需要像一般的流敏感分析方法那样记录每一个程序点的指向信息,而只需记录当前所分析的程序点处指向信息,从而节省了存储空间.此外,它还继承了原有单子切片方法所具有的强语言适应性和组合性.

关键词：程序切片单子切片数据流迭代指针指向分析

来源：评论

学校读者我要写书评

暂无评论

一种软件功能测试成本估算模型及其应用

引用

计算机应用与软件 2010年第1期27卷 32-34,43页

作者：宋巍杨根兴蔡立志上海交通大学软件学院上海200030 上海市计算机软件评测重点实验室上海201112

软件测试是软件工程的一个重要阶段。在软件测试工作开展以前,恰当的估算软件测试的规模及成本,将使软件产品的质量得到大幅提高。提出一种基于算法模型的软件功能测试成本估算模型,给出了模型中参数的初步校准值,并在实践项目中进行了... 详细信息

软件测试是软件工程的一个重要阶段。在软件测试工作开展以前,恰当的估算软件测试的规模及成本,将使软件产品的质量得到大幅提高。提出一种基于算法模型的软件功能测试成本估算模型,给出了模型中参数的初步校准值,并在实践项目中进行了应用。实践表明,该模型在实践中可以较好地估算软件功能测试规模及成本,为测试计划的制定及测试工作的开展,起到积极作用。

关键词：软件测试功能测试规模功能测试成本估算模型功能点分析

来源：评论

学校读者我要写书评

暂无评论

基于RAS的测试用例描述及其应用研究

引用

软件产业与工程 2010年第4期 35-39页

作者：蒋铭汪瑞嵘蔡立志杨根兴上海交通大学软件学院上海200240 上海市计算机软件评测重点实验室上海201112

测试用例是对测试需求的一种规范化描述,测试用例描述直接关系到用例的设计、管理、检索、理解和组装。测试用例复用是测试资产复用中的关键技术,通过对测试用例的复用可以避免重复性劳动,提高测试效率。本文在可复用软件资产规约(RAS)... 详细信息

测试用例是对测试需求的一种规范化描述,测试用例描述直接关系到用例的设计、管理、检索、理解和组装。测试用例复用是测试资产复用中的关键技术,通过对测试用例的复用可以避免重复性劳动,提高测试效率。本文在可复用软件资产规约(RAS)的基础上进行了扩展,提出了一种支持刻面分类的测试用例描述模型(RTCSM),并结合测试用例库的刻面分类法,给出了该模型在测试用例库中应用的实例。

关键词：测试用例构件 RAS 刻面分类

来源：评论

学校读者我要写书评

暂无评论

大型邮件服务器性能测试方法及实践

引用

计算机应用与软件 2010年第12期27卷 130-131页

作者：宋巍沈建雄孙毅上海市计算机软件评测重点实验室上海201112 上海市软件评测中心上海200233 中国银联上海信息中心上海201203

该测试是对邮件系统性能进行的评估测试。测试过程针对邮件服务器的特点,分别设计不同邮件协议下的测试脚本,并根据用户对系统性能的设计目标,模拟一定数量的用户压力,测试系统的可靠性、处理能力等。测试工具采用了Spirent Avalanche ... 详细信息

该测试是对邮件系统性能进行的评估测试。测试过程针对邮件服务器的特点,分别设计不同邮件协议下的测试脚本,并根据用户对系统性能的设计目标,模拟一定数量的用户压力,测试系统的可靠性、处理能力等。测试工具采用了Spirent Avalanche 220和Reflector 220以及Compuware QALoad 5.0。

关键词：邮件系统性能测试 SMTP POP3

来源：评论

学校读者我要写书评

暂无评论

基于形式化描述可复用测试用例库的研究与实现

引用

计算机应用与软件 2010年第7期27卷 43-46页

作者：张红燕杨根兴蔡立志华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

软件测试作为保证软件质量的重要手段,是软件开发过程中的重要环节。软件测试过程中产生的大量测试用例对保证软件的质量起到了关键作用。为了共享和复用测试用例,提出了基于形式化语言描述的可复用测试用例库的构建方法,收集大量测试用... 详细信息

软件测试作为保证软件质量的重要手段,是软件开发过程中的重要环节。软件测试过程中产生的大量测试用例对保证软件的质量起到了关键作用。为了共享和复用测试用例,提出了基于形式化语言描述的可复用测试用例库的构建方法,收集大量测试用例,并进行合理的分类和管理,测试人员可以从库中选择合适的测试用例直接使用或稍作修改来使用,从而大幅度降低了测试人员的工作量,极大地提高了测试工作效率,进而更好地保证软件质量。

关键词：形式化语言 Z规格软件测试可复用测试用例测试用例库

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：