上海市计算机软件评测重点实验室
- 作品数：192 被引量：555H指数：12
- 相关作者：杨根兴陈敏刚张春柳宋巍陈文捷更多>>
- 相关机构：华东理工大学上海大学上海计算机软件技术开发中心更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划上海市自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信医药卫生自然科学总论更多>>
- BPELGEN:Web Services合成方案向BPEL4WS的自动转换算法
- 介绍了Web Services合成方案向BPEL4WS自动转换算法BPELGEN.该创新性算法不仅解决合成方案无法直接转换为BPEL4WS的问题,而且在满足数据依赖和执行依赖的基础上支持并行流程的嵌套,从而提高BPEL执...
- 朱一闻崔俊涛顾宁杨根兴刘振宇
- 关键词：WEB
- 基于用户访问模式的性能测试模型探讨被引量：2
- 2012年
- 本文阐述了现阶段性能测试指标确定存在的难点与局限性,分析了常用的多种用户访问模式,探讨了用户访问量、系统可扩展性。带宽占用等客户需求转化为性能测试指标的计算方法。
- 张超姜旭刘振宇
- 关键词：用户访问模式
- Web Services的逆向推导自动合成
- Web Services应用范围的不断扩大,不但需要对现有的Web Services进行合成,而且需要在合成过程考虑如何从功能相同的WebServices中选择其中某些Web Services来完成合成任务.本文提出的就...
- 范晨辉刘家茂顾宁杨根兴刘振宇
- 关键词：WEBSERVICES
- 一种基于功能点规模度量的软件成本估算模型被引量：2
- 2011年
- 软件项目是不同于一般工程项目的项目类型,具有高度的不可预知性,受用户需求,开发方式的影响很大没有明确的成本估算,将导致软件开支的不可控制。本文研究如何通过功能点规模度量点方法估算软件项目的规模及成本,提出了一种基于功能点规模度量的软件项目成本估算模型,给出模型公式该模型适用于软件开发项目的规模。
- 李嘉易平宋巍蔡立志
- 关键词：软件成本估算功能规模度量
- 数据网格中的动态分布式多入口技术
- 1引言数据网格通过将Internet上存在着大量分散的、独立的、异构的储存系统组织成一个逻辑意义上的整体,为用户提供高效的、高可靠的、可扩展的、海量的存储资源。和P2P存储系统如eDonkey、eMule相比,数据网格加...
- 张琦炜杨江明顾宁杨根兴刘振宇
- 关键词：P2P
- 文献传递
- 基于C2C的可信信用评价模型被引量：9
- 2010年
- 提出一个基于C2C的可信信用评价模型。该模型根据历史交易记录,在综合考虑交易金额、买卖双方信誉度、交易次数、差评次数、未评价交易的基础上,采用动态计算的方式,为交易的成功进行提供可靠的依据。该模型可以有效甄别恶意用户和诚信用户,从而减少信誉诋毁行为,并可减少信誉榨取行为,提高C2C电子交易的安全性。
- 贾艳涛虞慧群
- 关键词：信用评价C2C
- 基于本体的P2P网络全局知识视图构造的研究
- 2012年
- 为了从语义层次上解决P2P资源匹配问题,本体论被引入,试图通过采用可扩展的信息建模工具使得网络资源发现系统能够高效、精确地发现P2P网络资源,同时获得良好的灵活性。然而当前采用的技术要求网络节点共享一个集中的网络资源本体,这种技术不适合高度动态性和分散性的P2P网络。提出一种基于局部本体的P2P网络全局知识视图构建方法,提供了网络资源的全局描述,同时保持了对资源语义的揭示,这种方法不需要网络节点维护一个共享的集中的本体,可扩展性强,对资源的描述更灵活,更适合用于P2P网络资源匹配。
- 张波姜旭
- 关键词：本体
- 基于CEGAR的Web应用验证
- 2014年
- Web应用导航行为的建模和验证是可信Web工程研究的重点和难点.在深入分析用户和Web浏览器交互行为的基础上,文中引入On-the-fly策略并基于反例引导的抽象精化验证方法 CEGAR对Web应用的导航行为进行建模和验证.在On-the-fly导航模型展开的过程中,根据检验性质采用增量式状态抽象方法构造Web应用导航抽象模型,通过确认抽象反例来识别伪反例,借助等价类精化方法消除抽象模型上的伪反例.这一方法可有效地缓解Web应用验证过程中出现的状态爆炸问题.
- 高洪皓缪淮扣曾红卫
- 关键词：WEB应用导航模型
- 基于对象角色的应用系统的建模
- 2006年
- 面向对象角色分析方法OO ram(Ob ject-O riented Role Analysis and Modeling)是一种新的面向对象软件开发方法。介绍了它的建模思想和步骤,并与其它面向对象的方法进行了比较。最后,用这种方法实现一个应用系统的模型设计。
- 郑红范开元杨根兴
- 关键词：面向对象
- 基于UML状态图的软件测试研究被引量：7
- 2011年
- UML状态图与传统的状态转换图存在较大的差异,导致由状态转换图得到的软件测试路径不适用于UML状态图。为此,提出一种由UML状态图得到软件测试路径的方法。通过对UML状态图逐层分析,并将并发子状态相互组合,以获得状态迁移路径,从而得到软件测试路径。实例证明,该方法可以从UML状态图得出软件的测试路径。
- 李晓庆崔健蔡立志
- 关键词：UML状态图软件测试
