您的位置： 专家智库 > >

缪淮扣

作品数：154 被引量：504H指数：11
供职机构：上海大学计算机工程与科学学院更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划上海市教育委员会重点学科基金更多>>
相关领域：自动化与计算机技术经济管理文化科学理学更多>>

合作作者

文献类型

  • 130篇期刊文章
  • 16篇会议论文
  • 5篇专利
  • 3篇科技成果

领域

  • 142篇自动化与计算...
  • 6篇经济管理
  • 2篇电子电信
  • 2篇文化科学
  • 2篇理学
  • 1篇金属学及工艺
  • 1篇医药卫生
  • 1篇社会学

主题

  • 23篇测试用例
  • 19篇WEB应用
  • 16篇Z规格说明
  • 15篇形式化
  • 12篇定理证明
  • 12篇软件开发
  • 11篇OBJECT...
  • 11篇Z语言
  • 10篇定理
  • 10篇UML
  • 10篇测试用例生成
  • 9篇WEB服务
  • 8篇状态机
  • 8篇Z
  • 7篇有限状态机
  • 6篇形式规格说明
  • 6篇软件测试
  • 6篇自动化
  • 6篇组件
  • 6篇网络

机构

  • 153篇上海大学
  • 23篇上海市计算机...
  • 10篇江西财经大学
  • 5篇上海第二工业...
  • 3篇杭州师范大学
  • 2篇东莞理工学院
  • 2篇华东师范大学
  • 2篇信阳师范学院
  • 1篇广西财经学院
  • 1篇杭州电子科技...
  • 1篇上海交通大学
  • 1篇苏州市职业大...
  • 1篇武汉大学
  • 1篇嘉兴学院
  • 1篇湖南科技学院
  • 1篇厦门理工学院
  • 1篇上海水产大学
  • 1篇中国科学院上...
  • 1篇上海科学技术...

作者

  • 154篇缪淮扣
  • 23篇曾红卫
  • 16篇高洪皓
  • 15篇陈怡海
  • 12篇钱忠胜
  • 11篇刘玲
  • 11篇许庆国
  • 10篇陈圣波
  • 8篇高晓雷
  • 8篇朱关铭
  • 6篇梅佳
  • 5篇孙军梅
  • 5篇文志诚
  • 5篇王皙
  • 5篇曹晓夏
  • 5篇刘静
  • 4篇开金宇
  • 3篇黎升洪
  • 3篇高如海
  • 3篇何涛

传媒

  • 29篇计算机科学
  • 18篇计算机应用与...
  • 17篇上海大学学报...
  • 14篇计算机工程
  • 14篇应用科学学报
  • 9篇软件学报
  • 5篇计算机学报
  • 4篇小型微型计算...
  • 4篇计算机工程与...
  • 3篇计算机科学与...
  • 2篇计算机工程与...
  • 2篇2003''...
  • 2篇2003中国...
  • 1篇科学通报
  • 1篇东南大学学报...
  • 1篇华中科技大学...
  • 1篇计算机工程与...
  • 1篇同济大学学报...
  • 1篇计算机应用
  • 1篇计算机应用研...

年份

  • 1篇2023
  • 1篇2021
  • 1篇2020
  • 1篇2018
  • 1篇2017
  • 2篇2016
  • 6篇2015
  • 5篇2014
  • 2篇2013
  • 4篇2012
  • 10篇2011
  • 8篇2010
  • 9篇2009
  • 13篇2008
  • 13篇2007
  • 18篇2006
  • 9篇2005
  • 10篇2004
  • 7篇2003
  • 8篇2002
共 154 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
GBPEL:一种合成网格服务和Web服务的工作流语言被引量：2
2005年
网格工作流是实现网格计算的一种重要的中间件,与传统的工作流相比,网格工作流有自己新的特征。论文分析了网格服务和网格应用的新特性,对工作流描述语言BPEL4WS进行扩充和修改,提出了一种网格工作流描述语言GBPEL。
曾红卫李奇缪淮扣
关键词：BPEL4WS网格工作流网格服务描述语言工作流WEB服务网格应用
Uppaal到PVS的时间自动机翻译器
2008年
Uppaal是一种对实时系统模型进行建模和验证的工具,PVS(Prototype Verification System)是开发和分析形式化规格说明的原型证明系统。介绍了Uppaal2PVS翻译器的设计与实现,给出了一种将用Uppaal生成的时间自动机规格说明翻译成PVS文件的方法,从而将模型检查问题转换成了定理证明问题,解决了潜在的状态空间爆炸问题。最后给出了一个实例。
刘振通缪淮扣许庆国
关键词：时间自动机翻译器UPPAALPVS
基于图的Web服务组合优化的研究被引量：18
2007年
单个Web服务难以满足实际应用的需求,如何组合已有的服务,形成新的服务,已成为此领域的研究热点。现在的组合方法极少考虑服务质量QoS(Quality of Service)。对于一些提供相似功能的Web服务,服务质量是判断是否选择此服务的关键因素,组合服务的质量必须满足用户的需求。本文基于SOA的服务开发思想,针对当前服务组合存在的问题,提出了一种基于QoS的服务组合方法,并给出了构建基于QoS的Web服务组合及选择最佳服务的策略,通过整合单个服务的质量以得到最终组合服务的整体最佳质量。在满足用户组合服务的功能需求的同时,也满足了用户对服务质量QoS的需求,实现了需求服务的优化。
曹利培刘静缪淮扣
关键词：WEB服务OWL-S
基于PVS的时序逻辑语义模型及其实现被引量：2
2006年
时序逻辑作为一种规格说明语言,能够很好地描述程序性质.为了能够利用现有的定理证明器PVS(prototype verification system)对用时序逻辑公式描述的程序性质予以证明,从而达到程序验证的目的.文中在PVS中建立了时序逻辑的语义模型,同时给出了其语义解释.然后通过一个简单的例子(求解整数平方根的程序),应用时序逻辑公式对该程序的部分性质进行了描述,取得了较好的效果.实现了程序性质的时序逻辑公式表示,为使用PVS验证程序的性质打下了一个好的基础.
许庆国缪淮扣
关键词：时序逻辑语义定理证明
Z规格说明中初始状态存在性的证明被引量：5
1995年
Ｚ规格说明中的初始化定理的证明是对基于状态的规格说明的一个标准的检查．本文给出了一个证明初始化定理的过程，该过程可自动地构成证明的证据．作为实例，我们用该过程证明了两个初始化定理．
缪淮扣Toyn,I
关键词：Z规格说明
Web应用中数据库交互行为验证被引量：3
2012年
采用定理证明和逆向工程的方法,对Web应用中的数据库交互行为进行验证。使用Z规格说明描述需求模型,根据数据库交互的源代码和转换规则得到实现模型。从实现模型中获取Web应用的相关性质,通过Z/EVES定理证明器验证这些性质是否在需求模型的Z规格说明中得到满足。在此基础上,设计该方法的验证框架,并开发相应的原型系统。通过图书馆数据库管理系统实例证明该方法的有效性。
孙茂华缪淮扣高洪皓
关键词：Z规格说明数据库交互逆向工程定理证明
模型检验在构件数据流测试中的应用被引量：5
2010年
模型检验输出的反例提供了一种自动产生测试用例的有效途径。提出了一种用模型检验进行构件数据流测试的方法。利用构件状态机描述构件的外部行为,用带有变量定义和使用标记的Kripke结构描述构件状态迁移中的数据流信息;给出了从构件状态机到Kripke结构的转换方法,并建立了全定义覆盖和全使用覆盖准则的陷阱性质构造公式。陷阱性质将使模型检验器NuSMV输出反例,从而产生构件的数据流测试序列。
曾红卫缪淮扣
关键词：数据流测试
Object-Z规格说明的SQL动画模拟
2007年
软件规格说明的确认在软件开发阶段占有举足轻重的地位。形式规格说明的动画模拟技术是一种规格说明的确认方法。本文研究了Object-Z规格说明的SQL动画模拟方法,设计了从Object-Z到SQL的转换规则,并提出了模块封装的思想,即用存储过程表示类、对象和模式等模块,用户通过调用执行存储过程确认规格说明是否满足其需求。
周静缪淮扣
关键词：OBJECT-ZSQL动画模拟
时态逻辑描述能力比较研究被引量：2
2006年
时态逻辑在软件确认和模型检查中有广泛的应用。时态逻辑的不同变体有不同描述能力。正确理解时态逻辑的描述能力有助于书写系统特性的正确时态逻辑公式特性。论文从语法、语义域定义和语法到语义域映射三个方面对不同时态逻辑加以描述,对时态逻辑描述能力进行了比较。
黎升洪缪淮扣
关键词：时态逻辑LTL
基于历史信息的自适应测试用例优先级技术被引量：8
2015年
在软件迭代开发的过程中,测试用例优先级技术因能有效地提高回归测试的效率,降低时间开销和人力成本,受到研究者的广泛关注,许多优化方法相继被提出。但是目前的研究多倾向于以需求和覆盖率作为排序准则,并且是一种静态排序。为此,提出一种基于历史信息的测试用例优先级技术,并在测试用例的执行过程中动态自适应地调整测试用例的优先级,以尽可能早地发现缺陷,达到预期的检错目标。在课题组开发的项目中运用该方法,验证了该方法的有效性。
常龙辉缪淮扣肖蕾
关键词：历史信息测试用例优先级自适应
全选 清除 导出
共16页<12345678910>
聚类工具0