国家自然科学基金(60373072)

作品数：22被引量：58H指数：4
导出分析报告
相关作者：缪淮扣文志诚陈怡海黎升洪张新林更多>>
相关机构：上海大学江西财经大学杭州电子科技大学杭州师范大学更多>>
相关期刊：《计算机工程与设计》《Wuhan University Journal of Natural Sciences》《计算机工程与应用》《计算机应用与软件》更多>>
相关主题：OBJECT-Z形式规格说明UMLZ测试用例更多>>
相关领域：自动化与计算机技术经济管理更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于ORD和FSM的Web应用的建模与测试被引量：3
《计算机科学》2008年第9期278-281,291,共5页钱忠胜 缪淮扣 陈圣波 
国家自然科学基金(60373072和60673115);国家973项目(2007CB310801);上海市教委科学发展基金(05AZ70)资助
Web测试是保证高质量Web应用的一种有效技术。然而,由于其特殊性和复杂性,很难直接将传统的测试理论与方法学运用到Web应用的测试当中来。对Web应用进行了分析与建模,并对其进行测试,提出了一种可行的Web测试模型。首先得到页面流图(PFD...
关键词：WEB应用 页面流图 对象关系图 有限状态机 形式化 测试路径 Web测试模型 
基于UML协作图的测试用例生成方法与实现被引量：1
《计算机工程与设计》2007年第16期3805-3807,3811,共4页曾红卫 周建云 
国家自然科学基金项目(60373072)
根据组件软件的特征,提出一种基于UML协作图直接产生测试用例的方法。给出了一系列覆盖准则,并针对协作图中条件、并发和循环消息流提出相应的处理方法。采用深度优先的算法遍历所有测试场景,每个测试场景相应于一个测试用例,并设计和...
关键词：UML协作图 测试场景 测试用例生成 覆盖准则 邻接表 
基于扩展UML statecharts的协议测试
《计算机应用与软件》2007年第12期15-16,125,共3页费立志 缪淮扣 
国家自然科学基金项目(60373072);上海市教委基金项目(05AZ70)
提出了一种基于扩展UML statecharts的协议一致性测试方法。实时扩展使得UML statecharts可直接描述时间约束,方便进行一致性测试;以FREE(Flattened Regular Expression)模型图为基础生成抽象测试序列,然后根据时间覆盖准则,生成实时测...
关键词：一致性测试 扩展 UML STATECHARTS 测试用例 
基于Object-Z的形式化验证方法被引量：7
《计算机科学》2007年第5期247-251,共5页文志诚 缪淮扣 张新林 
国家自然科学基金(60373072);上海市教委第四期重点学科建设基金资助
定理证明是一种形式化验证技术,也是形式化方法的重要组成部分,它能从形式规格说明中推理出应具备的性质与属性,从而可以对规格说明进行形式验证。Object-Z是形式规格说明语言Z的面向对象扩充,基于集合论与数理逻辑,具有严密的逻辑性,...
关键词：OBJECT-Z 形式化验证 前后置条件 状态空间 电梯操作系统 
Object-Z规格说明的SQL动画模拟
《计算机科学》2007年第4期258-260,F0004,共4页周静 缪淮扣 
国家自然科学基金(60373072);上海市教委科技发展基金资助
软件规格说明的确认在软件开发阶段占有举足轻重的地位。形式规格说明的动画模拟技术是一种规格说明的确认方法。本文研究了Object-Z规格说明的SQL动画模拟方法,设计了从Object-Z到SQL的转换规则,并提出了模块封装的思想,即用存储过程...
关键词：OBJECT-Z 规格说明 确认 SQL 动画模拟 
带OCL约束条件的类图到Object-Z规格说明的转换被引量：4
《计算机科学》2007年第1期228-235,共8页缪淮扣 陈怡海 
国家自然科学基金(项目编号60373072);国家973项目(批准号2002CB312001);上海市教委第四期重点学科建设基金的资助
如何提高软件的可靠性是目前软件研究领域的一个热点。将形式化方法和主流的软件开发方法相结合是一个可行的方法。本文研究UML语言和Object-Z语言相结合的方法,为主流的软件开发人员所使用的图形化规格说明技术与形式方法提供的精确的...
关键词：UML 类图 OCL约束 OBJECT-Z规格说明 
用Z形式化描述的软件设计模式被引量：3
《计算机工程》2006年第13期69-70,108,共3页曾红卫 滕中梅 
国家自然科学基金资助项目(60373072)
设计模式和形式化是软件工程领域研究的两个重要方面。该文的目的是对设计模式的形式化进行探讨,其中心是设计模式“结构”的形式化。文章以抽象类、抽象函数为基本对象,分析了设计模式中类和函数间存在的各种基本关系和关系性质,提出...
关键词：设计模式 形式化 层次 修饰 
时态逻辑描述能力比较研究被引量：1
《计算机工程与应用》2006年第22期75-77,共3页黎升洪 缪淮扣 
国家自然科学基金资助项目(编号:60373072);江西省教育厅科技项目(赣教科技便函字[2002]01号)
时态逻辑在软件确认和模型检查中有广泛的应用。时态逻辑的不同变体有不同描述能力。正确理解时态逻辑的描述能力有助于书写系统特性的正确时态逻辑公式特性。论文从语法、语义域定义和语法到语义域映射三个方面对不同时态逻辑加以描述...
关键词：时态逻辑 模型检查 CTL^＊ LTL 
一种从Object-Z到CSP规格说明的转化方法
《计算机科学》2006年第11期263-267,共5页文志诚 缪淮扣 许庆国 
国家自然科学基金(60373072);上海市教委第四期重点学科建设基金资助。
面向对象形式规格说明语言Object-Z与进程代数CSP相结合是当今的一个热点,它既可以表示复杂的模块化数据与算法,又可以表示系统的行为,但求精与验证对它们结合后的规格说明需要分别进行处理。本文提出了一个方法,把Object-Z规格说明转化...
关键词：Object—Z CSP 形式规格说明 参数化进程 转化 
基于形式规格说明的构件匹配被引量：4
《计算机应用与软件》2006年第10期10-12,73,共4页李晓博 缪淮扣 刘静 
国家自然科学基金(60373072)资助
构件匹配依靠精确描述构件的语义,而形式规格说明基于严格的数学概念和理论。将两者结合起来,首先利用Z语言描述属性、方法和构件的类型,并在此基础上,通过一个例子,给出了各种匹配机制的公理描述。最后,介绍了构件匹配的一个重要应用...
关键词：形式规格说明 构件匹配 构件检索 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部