您的位置： 专家智库 > >

上海市教委科研基金(07ZZ06)

作品数：7 被引量：22H指数：3
相关作者：缪淮扣费立志陈圣波郭亮王皙更多>>
相关机构：上海大学上海市计算机软件评测重点实验室江西财经大学更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划上海市教委科研基金更多>>
相关领域：自动化与计算机技术理学更多>>

文献类型

  • 7篇中文期刊文章

领域

  • 6篇自动化与计算...
  • 1篇理学

主题

  • 2篇有限状态机
  • 2篇状态机
  • 2篇状态图
  • 2篇WEB应用
  • 2篇测试用例
  • 1篇序列图
  • 1篇态射
  • 1篇自动机
  • 1篇唯一性
  • 1篇消息序列图
  • 1篇连接件
  • 1篇SMV
  • 1篇UML
  • 1篇UML模型
  • 1篇UML状态图
  • 1篇WEB应用建...
  • 1篇WEB应用模...
  • 1篇FSM模型
  • 1篇测试充分性准...
  • 1篇抽取

机构

  • 7篇上海大学
  • 1篇上海交通大学
  • 1篇江西财经大学
  • 1篇信阳师范学院
  • 1篇上海市计算机...

作者

  • 7篇缪淮扣
  • 1篇钱忠胜
  • 1篇何涛
  • 1篇唐云吉
  • 1篇费立志
  • 1篇陈中育
  • 1篇王皙
  • 1篇郭亮
  • 1篇陈圣波
  • 1篇张忠能
  • 1篇方明科
  • 1篇宋波

传媒

  • 2篇应用科学学报
  • 2篇计算机科学
  • 1篇小型微型计算...
  • 1篇计算机工程与...
  • 1篇上海大学学报...

年份

  • 1篇2010
  • 4篇2009
  • 1篇2008
  • 1篇2007
共 7 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
一种用于模型验证的Web应用模型抽取方法被引量：1
2009年
以模型验证为目标,提出一种Web应用FSM(finite state machines)模型的抽取方法。该方法将模型抽取划分为链接提取、模型构造和结果显示。通过建立标签库和对标签的定位,并结合正则表达式的方法,对Web应用进行逆向分析,从源代码开始进行链接及相关信息的提取、规整和存储。对Web应用中的页面、链接等建模元素进行分析,应用映射与聚合等抽象技术对获得的信息进行重构,得到适用于验证的Web应用的FSM模型。
方明科缪淮扣
关键词：WEB应用模型有限状态机
SMV的观察迁移系统的模型检测分析
2008年
模型检验技术是开发高可信系统的重要途径。提出了一种基于定理证明的模型验证方法,并实现了工具验证。它以代数规约语言CafeOBJ描述系统的无限状态并把它转换成有限状态的SMV规约。通过观察迁移系统,证明产生的SMV规约的反例即CafeOBJ规约的反例,来找出开发早期阶段的系统的潜在错误,从而避免时间、金钱的耗费及重复性的劳动。
何涛缪淮扣
关键词：SMV
基于场景规约的系统行为建模被引量：2
2009年
提出一种基于场景规约的系统行为建模方法。采用消息序列图描述场景,把场景规约中构件实例之间消息传递的事件序列作为一种显式的场景提取物并给出语义表示,通过场景正样本构造前缀树接受器。此前缀树接受器是一个能接受正样本的最大确定有限自动机,通过合并状态得到商自动机,给出一个状态合并算法。该算法支持交互式增量的场景产生。
陈中育缪淮扣
关键词：消息序列图
UML模型到FSM模型的转换被引量：7
2009年
通常可采用UML的各种图从Web应用不同方面对其进行建模。当对Web应用模型进行测试和验证时,需要分别考虑这些采用了不同图形描述的模型,这就带来了测试和验证的繁琐。如果将UML各种图转换到有限状态机(FSM)模型,则可以统一用FSM模型来表示、验证和测试。提出了基于状态迁移特性保持规则的UML到FSM的模型转换方法,特别针对UML状态图中的3种基本组成单元到FSM模型的转换,给出了各自的转换方法,并实现了原型工具UML2FSM。
郭亮缪淮扣王皙陈圣波
关键词：状态图有限状态机UML
UML状态图测试充分性准则的公理化评估被引量：9
2007年
描述了基于UML状态图测试的一组测试准则,并提出2个新的准则:N-迁移覆盖准则和循环分类覆盖准则.然后提出针对该组测试准则的公理系统,通过此公理系统来评估该组测试准则,给出评估结果.最后根据评估结果得出一些有益的结论.测试准则的评估可为软件工程师选择测试准则提供指导和帮助.
缪淮扣费立志
关键词：UML状态图测试用例
一种基于功能构件的Web应用建模与测试方法被引量：3
2009年
Web应用与传统程序有着很大差别,后者的一些建模和测试方法不能完全适用于前者。提出了一种有效的对Web应用测试的方法。按功能将Web应用划分成若干个功能构件,把Web应用看成是功能构件的集合,并在功能上将其对应到实际的Web应用模块。用有向图表示功能构件的结构关系,用FSM表示功能构件的行为关系,用FSM的复合表示功能构件的交互。提出了完整执行序列覆盖、构件完整执行序列覆盖两个测试准则,根据这些准则生成测试用例集。为支持所提出的方法,设计了一个测试用例生成的工具原型。
唐云吉缪淮扣钱忠胜
关键词：WEB应用测试用例
图形转换的构件组装框架唯一性研究
2010年
图形转换为动态的构件组装带来了新的思路.H.Ehrig在基于连接件体系结构的框架上利用此技术给出一种通用构件组装框架,该框架可以适用于不同领域的动态和静态的构件组装.但由于其限制连接件的输入接口是互不相交的,因而限制了其实际应用的灵活性.本文扩充了该框架体系,侧重从每一归约步组装的语法和语义的实现进行描述,给出归约步组装的唯一性条件及基于该条件的结构唯一性和内容兼容性的证明.
宋波缪淮扣张忠能
关键词：态射连接件PETRI网
全选 清除 导出
共1页<1>
聚类工具0