您的位置： 专家智库 > >

国家自然科学基金(60373072)

作品数：22 被引量：90H指数：5
相关作者：缪淮扣文志诚陈怡海黎升洪张新林更多>>
相关机构：上海大学江西财经大学杭州电子科技大学更多>>
发文基金：国家自然科学基金江西省教育厅科学技术研究项目国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术经济管理更多>>

文献类型

  • 22篇期刊文章
  • 2篇会议论文

领域

  • 23篇自动化与计算...
  • 1篇经济管理
  • 1篇文化科学

主题

  • 6篇OBJECT...
  • 5篇形式规格说明
  • 5篇形式化
  • 5篇UML
  • 5篇Z
  • 4篇测试用例
  • 3篇OBJECT...
  • 3篇OCL
  • 2篇动画
  • 2篇动画模拟
  • 2篇时态逻辑
  • 2篇面向对象
  • 2篇基于UML
  • 2篇STATEC...
  • 2篇SUPPOR...
  • 2篇UML_ST...
  • 2篇HE
  • 2篇TOOL
  • 1篇动画技术
  • 1篇对象约束语言

机构

  • 21篇上海大学
  • 2篇江西财经大学
  • 1篇杭州师范大学
  • 1篇杭州电子科技...
  • 1篇上海第二工业...
  • 1篇上海水产大学

作者

  • 19篇缪淮扣
  • 5篇文志诚
  • 4篇陈怡海
  • 3篇黎升洪
  • 2篇孙军梅
  • 2篇张新林
  • 2篇许庆国
  • 2篇曾红卫
  • 2篇占学德
  • 1篇朱江
  • 1篇周静
  • 1篇钱忠胜
  • 1篇周建云
  • 1篇李晓博
  • 1篇费立志
  • 1篇朱彬
  • 1篇王娜
  • 1篇陈圣波
  • 1篇滕中梅
  • 1篇沈毅

传媒

  • 8篇计算机科学
  • 3篇上海大学学报...
  • 2篇计算机工程
  • 2篇计算机应用与...
  • 2篇应用科学学报
  • 1篇华中科技大学...
  • 1篇计算机应用
  • 1篇计算机工程与...
  • 1篇计算机工程与...
  • 1篇Wuhan ...

年份

  • 1篇2008
  • 5篇2007
  • 11篇2006
  • 4篇2005
  • 3篇2004
共 22 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于UML协作图的测试用例生成方法与实现被引量：5
2007年
根据组件软件的特征,提出一种基于UML协作图直接产生测试用例的方法。给出了一系列覆盖准则,并针对协作图中条件、并发和循环消息流提出相应的处理方法。采用深度优先的算法遍历所有测试场景,每个测试场景相应于一个测试用例,并设计和实现了测试用例自动生成工具系统UMLTCG。
曾红卫周建云
关键词：UML协作图测试用例生成邻接表
Object-Z规格说明的SQL动画模拟
2007年
软件规格说明的确认在软件开发阶段占有举足轻重的地位。形式规格说明的动画模拟技术是一种规格说明的确认方法。本文研究了Object-Z规格说明的SQL动画模拟方法,设计了从Object-Z到SQL的转换规则,并提出了模块封装的思想,即用存储过程表示类、对象和模式等模块,用户通过调用执行存储过程确认规格说明是否满足其需求。
周静缪淮扣
关键词：OBJECT-ZSQL动画模拟
时态逻辑描述能力比较研究被引量：2
2006年
时态逻辑在软件确认和模型检查中有广泛的应用。时态逻辑的不同变体有不同描述能力。正确理解时态逻辑的描述能力有助于书写系统特性的正确时态逻辑公式特性。论文从语法、语义域定义和语法到语义域映射三个方面对不同时态逻辑加以描述,对时态逻辑描述能力进行了比较。
黎升洪缪淮扣
关键词：时态逻辑LTL
OCL与Object-Z作为UML约束语言的分析比较被引量：5
2004年
UML是目前广泛使用的标准的面向对象建模语言。为了提高建模的精确性,UML模型可以用对象约束语言OCL或者是用Object-Z规格说明语言加以补充说明。本文从多个方面分析比较了这两种语言的特点,并提出建模人员应充分利用这两种语言的特点,对系统进行精确的建模。
陈怡海缪淮扣
关键词：OBJECT-ZUML模型OCL面向对象建模语言对象约束语言
基于形式规格说明的构件匹配被引量：8
2006年
构件匹配依靠精确描述构件的语义,而形式规格说明基于严格的数学概念和理论。将两者结合起来,首先利用Z语言描述属性、方法和构件的类型,并在此基础上,通过一个例子,给出了各种匹配机制的公理描述。最后,介绍了构件匹配的一个重要应用———构件检索。
李晓博缪淮扣刘静
关键词：形式规格说明
A Components Library System Model and the Support Tool
＜正＞ Component-based development needs a well-designed components library and a set of support tools. This pape...
MIAO Huai-kou
文献传递
A Components Library System Model and the Support Tool
Component-based development needs a well-designed components library and a set of support tools. This paper pr...
MIAO Huai-kou
线性时态逻辑中的特性模式被引量：12
2006年
在模型检查应用中,需要使用线性时态逻辑对软件具备的特性进行描述。虽然,不同应用背景涉及不同方面的特性描述,但是线性时态逻辑描述软件特性方式上具有共性。本文从两个方面抽取这种共性,首先,按照线性时态逻辑所描述性质划分,常见性质包括活性、安全性等;其次,按照线性时态逻辑公式的作用范围划分。通过对共同问题,找到共同的描述方法得到线性时态逻辑的特性模式。最后介绍了线性时态逻辑特性模式在SPIN中的应用。
黎升洪缪淮扣张新林
关键词：线性时态逻辑SPIN
Z规格说明的测试用例自动生成被引量：1
2006年
软件测试是软件质量保证的重要手段,测试用例的生成是软件测试的关键和难点.文中应用范畴划分测试方法产生测试框架,并引入线性规划模型,通过构造线性规划模型来实例化测试框架,并且较好地解决了测试框架是否可行的判断问题.同时结合票据计算的例子,探讨了从Z规格说明推导出测试用例的过程、方法和技术.
朱彬缪淮扣王娜
关键词：测试用例线性规划形式规格说明Z
基于ORD和FSM的Web应用的建模与测试被引量：4
2008年
Web测试是保证高质量Web应用的一种有效技术。然而,由于其特殊性和复杂性,很难直接将传统的测试理论与方法学运用到Web应用的测试当中来。对Web应用进行了分析与建模,并对其进行测试,提出了一种可行的Web测试模型。首先得到页面流图(PFD,Page Flow Diagram),进而产生对象关系图(ORD,Object Relation Dia-gram),然后根据提出的算法将ORD转化为形式化的有限状态机(FSM,Finite State Machine)模型。基于FSM模型,提出了一种有效的测试路径自动生成方法,这些测试路径可以转化为XML语法的测试规格说明。测试引擎将测试规格说明作为输入最终产生测试报告。全文以所开发的一个小型的Web应用SWLS(Simple Web Login System)为例进行阐述。
钱忠胜缪淮扣陈圣波
关键词：WEB应用有限状态机形式化
全选 清除 导出
共3页<123>
聚类工具0