全  文

不  限

  • 不  限
  • 1979年

不  限

  • 不  限
  • 1979年
  • 全  文
  • 主  题
  • 篇  名
  • 作  者
  • 导  师
  • 第一导师
  • 学位授予单位
  • 关键词
  • 摘  要
  • 目  录
  • 参考文献
  • 学科专业
  • 发表时间

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 作  者
  • 导  师
  • 第一导师
  • 学位授予单位
  • 关键词
  • 摘  要
  • 目  录
  • 参考文献
  • 学科专业
  • 发表时间
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用

缪淮扣

教授、博士生导师

上海大学 计算机应用技术

发表文献 120|文献被引 479| 指导论文 17

相关度 时间 被引 下载 CNKI为你找到相关结果

基于概率模型检验的云渲染任务调度定量验证  CNKI文献

云渲染技术已被广泛应用于影视和动漫等行业.与传统的渲染农场和租赁市场模式不同,云渲染系统依托云计算基础设施提供多种软件服务进行渲染作业的方式,正逐渐成为新兴的计算模式.由于任务执行和资源操作等作业调度对于...

高洪皓 缪淮扣... 《软件学报》 2020年06期 期刊

关键词: 云渲染系统 / 任务调度 / 概率模型检验 / PRISM定量验证

下载(60)| 被引(0)

抽象精化和可满足性结合的EFSM模型测试用例优化生成  CNKI文献

基于模型的测试是测试自动化的重要手段,通常采用模型检验技术从系统模型自动生成测试用例集,但生成的测试用例集往往存在冗余,这将影响测试用例执行的性能和成本.该文以扩展有限状态机(Extended Finite Machine,EFSM...

陆公正 缪淮扣 《计算机学报》 2016年11期 期刊

关键词: 测试用例约简 / 扩展有穷状态机 / 公式簇 / 抽象

下载(190)| 被引(1)

基于历史信息的自适应测试用例优先级技术  CNKI文献

在软件迭代开发的过程中,测试用例优先级技术因能有效地提高回归测试的效率,降低时间开销和人力成本,受到研究者的广泛关注,许多优化方法相继被提出。但是目前的研究多倾向于以需求和覆盖率作为排序准则,并且是一种静...

常龙辉 缪淮扣... 《计算机科学》 2015年09期 期刊

关键词: 回归测试 / 历史信息 / 测试用例优先级 / 自适应

下载(108)| 被引(16)

Web服务计算组合流程QoS验证  CNKI文献

在满足功能需求的前提下,Web服务能否赢得市场,主要取决于其服务质量(Quality of Services,QoS)。采用概率模型检验的方法判断Web服务计算组合流程的服务质量是否满足系统质量需求。依据用户访问Web服务产生的访问日志...

开金宇 缪淮扣... 《计算机科学》 2015年12期 期刊

基于Ajax技术的Web应用的建模与测试用例生成  CNKI文献

Ajax技术使Web应用能够通过异步请求从服务端获取数据,并在网页上局部刷新显示。这使得一张网页可以包含多个不同状态,状态数的激增使其关系变得更加复杂,给Web应用的建模与测试带来了更大的难度。研究基于Ajax技术的...

贺涛 缪淮扣... 《计算机科学》 2014年08期 期刊

关键词: Web应用 / 模型检查 / 测试用例 / Ajax技术

下载(202)| 被引(28)

基于CEGAR的Web应用验证  CNKI文献

Web应用导航行为的建模和验证是可信Web工程研究的重点和难点.在深入分析用户和Web浏览器交互行为的基础上,文中引入On-the-fly策略并基于反例引导的抽象精化验证方法 CEGAR对Web应用的导航行为进行建模和验证.在On-t...

高洪皓 缪淮扣... 《计算机学报》 2014年04期 期刊

关键词: Web应用 / 导航模型 / 抽象精化 / 模型检验

下载(158)| 被引(1)

基于模型的Web应用测试  CNKI文献

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

缪淮扣 陈圣波... 《计算机学报》 2011年06期 期刊

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

下载(855)| 被引(72)

基于FSM的测试理论、方法及评估  CNKI文献

为搭建基于FSM的测试方法由理论研究通往工业应用的桥梁,文中讨论了若干基于FSM模型的测试方法及其相关理论,提出构造区分序列的理论及测试序列集合冗余约简的理论,补充并实现了若干基于FSM的测试生成算法.随后文中提...

刘攀 缪淮扣... 《计算机学报》 2011年06期 期刊

关键词: 基于FSM的测试 / 测试评估 / 测试生成算法 / 基于FSM的测试理论

下载(692)| 被引(41)

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

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

刘攀 缪淮扣... 《软件学报》 2011年07期 期刊

Object-Z规格说明测试用例的自动生成器  CNKI文献

对Object-Z形式规格说明构造测试用例的研究,目前主要集中在理论研究阶段,测试用例的自动生成几乎没有相应的工具支持.Object-Z是基于数学和逻辑的语言,并大量使用了模式复合和简写形式,这给计算机提取完整语义用以自...

许庆国 缪淮扣... 《软件学报》 2011年06期 期刊

关键词: 基于规格说明的测试 / Object-Z / 语义提取 / 测试用例生成器

下载(246)| 被引(11)

优化基于模型检验的测试生成  CNKI文献

利用模型检验器输出的反例构造测试用例是测试自动化的一种重要手段.由于一个测试用例可能覆盖多个测试目标,测试生成过程中可能存在不必要的对模型检验器的调用,测试包也往往存在大量冗余,严重影响测试性能.为此,提出...

曾红卫 缪淮扣 《计算机辅助设计与图形学学报》 2011年03期 期刊

关键词: 模型检验 / 测试用例生成 / 时态逻辑公式重写 / 测试包缩减

下载(2603)| 被引(3)

基于规格说明的若干逻辑覆盖测试准则  CNKI文献

基于规格说明的测试可以在不需要了解软件程序代码的情况下对软件进行功能测试.判定是形式规格说明中用于描述前、后置条件的主要形式.分析了基于规格说明的逻辑覆盖测试准则,针对已有的决定性逻辑覆盖测试准则的不足...

钱忠胜 缪淮扣 《软件学报》 2010年07期 期刊

关键词: 测试用例 / 测试准则 / 判定 / 条件

下载(263)| 被引(27)

UML模型到FSM模型的转换  CNKI文献

通常可采用UML的各种图从Web应用不同方面对其进行建模。当对Web应用模型进行测试和验证时,需要分别考虑这些采用了不同图形描述的模型,这就带来了测试和验证的繁琐。如果将UML各种图转换到有限状态机(FSM)模型,则可以...

郭亮 缪淮扣... 《计算机科学》 2009年07期 期刊

关键词: 状态图 / 模型转换规则 / 有限状态机 / UML

下载(279)| 被引(13)

构件组合的抽象精化验证  CNKI文献

针对构件组合的状态爆炸问题,改进了反例引导的抽象精化框架,提出了组合式的抽象精化方法,使构件组合的模型检验转化为各成分构件的局部抽象精化,降低了分析的复杂度.提出了在构件组合情况下基于等价关系和存在商的构...

曾红卫 缪淮扣 《软件学报》 2008年05期 期刊

关键词: 构件组合 / 模型检验 / 状态爆炸 / 等价关系

下载(391)| 被引(28)

DNA分子计算与DNA计算机的研究进展  CNKI文献

生物分子计算与DNA计算机是计算机科学和分子生物学交叉产生的新兴领域.DNA计算机的特点是具有超强的并行运算能力和巨大的数据存储能力,因而被认为有望解决电子计算机所面临的评价问题.本文在介绍DNA计算机的基本概念...

俞洋 缪淮扣... 《科学通报》 2008年05期 期刊

关键词: 分子计算 / DNA计算机 / DNA结构 / 分子逻辑门

下载(1040)| 被引(19)

基于UML状态图测试的充分性准则  CNKI文献

本文描述了基于UML状态图生成测试用例的充分性准则。在测试时,循环被执行一次是很不充分的,本文提出了使循环分别执行0次、1次、2次,即ZOT循环覆盖准则,在此基础上本文还提出了全ZOT路径覆盖准则,并给出了这些覆盖准...

占学德 缪淮扣 《计算机科学》 2005年05期 期刊

关键词: UML状态图 / 测试准则 / 基于规格说明的测试

下载(198)| 被引(52)

基于UML Statecharts的测试用例生成  CNKI文献

直接从含有层次和并发结构的UMLstatecharts图产生类的测试用例是比较困难的.提出了一种从UMLstatecharts图产生测试用例的方法:先把UMLstatecharts图转换成FREE(FlattenedRegularExpression)[1]模型图,再以FREE模型图...

缪淮扣 占学德... 《小型微型计算机系统》 2005年04期 期刊

关键词: UML / statecharts / FREE模型 / 基于规格说明的测试

下载(194)| 被引(28)

对逻辑覆盖软件测试准则的公理化评估  CNKI文献

由于形式规格说明采用一种精确、一致、容易被机器自动处理的符号系统来描述软件需求,因而形式规格说明为测试用例的自动生成和软件功能的验证提供了基础.在基于形式规格说明的测试过程中逻辑覆盖测试准则是一组常用的...

刘玲 缪淮扣 《软件学报》 2004年09期 期刊

智能服务——Web服务和语义Web集成研究  CNKI文献

现有Web主要是为人使用Web上的内容设计,如何自动发现、执行、组合及互操作Web上的信息,提供智能服务,是Web服务努力的方向,Web服务虽然也制定了发现、描述、信息交换的标准,但这些标准不支持智能服务,其原因是现有We...

孙军梅 缪淮扣... 《计算机工程与应用》 2004年09期 期刊

关键词: 智能服务 / Web服务 / 语义Web / 本体

下载(504)| 被引(32)

结构化方法、面向对象方法和形式方法的比较与结合  CNKI文献

结构化方法、面向对象方法和形式方法是三种不同的软件开发方法。本文对这三种开发方法进行了对照比较,讨论了它们的互相结合,并提出了将其结合在一起的集成方法的设想。

缪淮扣 高晓雷... 《计算机工程与科学》 1999年04期 期刊

关键词: 结构化方法 / 面向对象方法 / 形式方式 / Z规格说明

下载(481)| 被引(50)

学术研究指数分析(近十年)详情>>

  • 发文趋势

主要合作者关系图

时间的形状