您的位置： 专家智库 > >

国家高技术研究发展计划(2007AA01Z144)

作品数：22 被引量：54H指数：4
相关作者：缪淮扣钱忠胜沈云付陈圣波曹旻更多>>
相关机构：上海大学上海市计算机软件评测重点实验室江西财经大学更多>>
发文基金：国家高技术研究发展计划上海市教育委员会重点学科基金国家自然科学基金更多>>
相关领域：自动化与计算机技术理学更多>>

文献类型

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

领域

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

主题

  • 12篇WEB应用
  • 5篇测试用例
  • 3篇有限状态机
  • 3篇状态机
  • 3篇自动机
  • 3篇WEB应用测...
  • 2篇形式概念分析
  • 2篇顺序图
  • 2篇状态图
  • 2篇WEB应用建...
  • 2篇FSM模型
  • 2篇测试用例生成
  • 1篇序列图
  • 1篇映射
  • 1篇有限状态自动...
  • 1篇中间件
  • 1篇软件测试
  • 1篇软件复用
  • 1篇软件开发
  • 1篇时序逻辑

机构

  • 23篇上海大学
  • 4篇江西财经大学
  • 4篇上海市计算机...
  • 3篇上海第二工业...
  • 1篇广西财经学院
  • 1篇信阳师范学院

作者

  • 14篇缪淮扣
  • 4篇钱忠胜
  • 4篇沈云付
  • 3篇曹旻
  • 3篇陈圣波
  • 2篇王皙
  • 2篇郭亮
  • 2篇曹晓夏
  • 2篇李丽萍
  • 2篇檀革苗
  • 2篇袁捷
  • 2篇王明辉
  • 2篇彭天翔
  • 2篇缪怀扣
  • 1篇梅佳
  • 1篇王毅俊
  • 1篇何涛
  • 1篇唐云吉
  • 1篇陈中育
  • 1篇高洪皓

传媒

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

年份

  • 1篇2012
  • 4篇2011
  • 8篇2010
  • 8篇2009
  • 2篇2008
共 22 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于复杂网络面向对象集成测试的研究被引量：8
2008年
软件测试是保证软件质量的重要手段。面向对象的方法给软件系统带来好处的同时,也为测试带来了挑战,传统的测试方法无法应用于许多面向对象的特性。研究表明,大型软件系统内部结构具有小世界效应(Small-World,SW)和无标度特性(Scale-Free,SF)。基于软件的复杂网络特性对面向对象的集成测试进行了研究,提出了一种通过分析类之间的交互复杂性和聚集复杂性来确定软件测试顺序的方法。利用该方法进行面向对象集成测试可以减少桩模块的数量,提高测试效率,且不降低原有测试覆盖度。
李丽萍缪淮扣钱忠胜
关键词：软件测试复杂网络小世界效应
形式概念分析在Web应用测试用例选取中的应用
2009年
为了避免基于模型的Web应用测试中存在的状态组合爆炸问题,分析了经典的每个一次和基本选择的状态组合爆炸避免方法,指出了这两种方法的不足,提出了应用形式概念分析,根据给定的测试覆盖准则,精简测试用例集,避免状态组合爆炸的方法,并改进了Sampath的测试用例选取规则。最后根据形式概念分析的原理,开发了测试用例集精简工具,提高了测试过程的自动化程度,用实例说明了方法的有效性。
檀革苗袁捷缪怀扣王明辉
关键词：形式概念分析FSM模型WEB应用测试测试覆盖准则
基于UML的Web应用建模与测试方法被引量：2
2010年
针对Web应用的功能测试问题,提出一种基于用例和顺序图的Web应用建模与测试方法。使用统一建模语言(UML)将用例图分层地扩展为用例迁移模型(UCTM),利用顺序图自上而下描述UCTM中的每个用例,将顺序图自动转换为受限有向图(RDG)。为控制状态空间爆炸,提出约束消息覆盖准则(CMC)。结果表明,由RDG生成的测试用例能满足CMC,CMC可控制测试用例的数量。
李丽萍缪淮扣钱忠胜
关键词：WEB应用顺序图测试用例
基于外生连接子的Web构件模型
2009年
为提供一种适合于Web应用的构件模型,对当前已存在的构件模型和外生连接子的方法进行了研究。充分考虑到Web应用的特点,利用外生连接子方法的在封装和分离方面的优势,提出了一种适合于Web应用开发的基于外生连接子的Web构件模型。通过简单的Web应用实例,展示了基于该构件模型的系统构建方法,证明了该构件模型的可行性和有效性。
马静曹旻彭天翔
关键词：软件复用WEB构件WEB应用
OWL-S到Z规格说明的转换
2010年
OWL-S是重要的Semantic Web Service描述框架,但缺乏有效的形式化验证工具.Z语言是基于集合论和一阶谓词逻辑的形式化规格说明语言,比OWL-S具有更强的表达力.该文研究基于Z的OWL-S形式化方法,提出从OWL-S到Z规格说明的模型转换规则.基于这些规则,用Z定义OWL-S中概念的形式化语义,并开发了从OWL-S描述到Z规格说明的自动转换工具OWLS2Z.
王毅俊缪淮扣许庆国曹晓夏
关键词：OWL-SZ规格说明
Web软件的一种有效测试方法被引量：4
2011年
测试Web软件面临极大的挑战。从构造Web软件的页面流图出发,提出了一种测试路径生成的方法,以一个简单的Web登录系统SWLS(Simple Web Login System)为例对该方法进行了阐述,并给出了Web软件测试的一种有效模型。该方法给页面流测试技术提供了一个有意义的基础。
钱忠胜缪淮扣
关键词：WEB软件
Web应用功能交互的建模与测试用例生成被引量：2
2010年
为了产生更有效的测试用例,以Web应用为研究对象,按功能将Web应用划分成若干个功能构件,把Web应用看成是功能构件的集合,针对其相应的交互功能,用FSM对其功能交互行为进行建模。在此基础上提出了完整消息传递序列测试准则,并根据该测试准则生成抽象的测试用例集,以实现对Web应用交互性的测试,提高Web应用测试的有效性,力图实现Web应用测试的自动化。最后设计了一个工具原型用于测试用例的生成。
周晓康缪淮扣陈圣波
关键词：WEB应用测试用例
一种用于模型验证的Web应用模型抽取方法被引量：1
2009年
以模型验证为目标,提出一种Web应用FSM(finite state machines)模型的抽取方法。该方法将模型抽取划分为链接提取、模型构造和结果显示。通过建立标签库和对标签的定位,并结合正则表达式的方法,对Web应用进行逆向分析,从源代码开始进行链接及相关信息的提取、规整和存储。对Web应用中的页面、链接等建模元素进行分析,应用映射与聚合等抽象技术对获得的信息进行重构,得到适用于验证的Web应用的FSM模型。
方明科缪淮扣
关键词：WEB应用模型有限状态机
基于形式概念分析与分类树法的Web应用测试方法被引量：3
2010年
Web应用软件开发周期短,时间和资源条件有限,要求有高效的测试。应用分类树法从Web应用导航模型自动生成测试用例,并应用形式概念分析对生成的测试用例集进行精简,在满足给定覆盖标准的前提下,得到较小的测试用例集,提高测试效率。
檀革苗袁捷缪怀扣王明辉
关键词：WEB应用测试形式概念分析
基于Web应用的SCXML到自动机的转换
2010年
为了对Web应用进行验证,保证Web应用的可靠性和质量,提出了将Web应用的SCXML描述提取出通用状态机的算法。在对Web服务应用的语言SCXML的各构成要素进行深入分析的基础上,该算法实现了将SCXML描述转化为相应的自动机,为对Web应用进行模型检查打下基础。对Web应用游戏系统的SCXML文件转换得到了对应的自动机实例,实验结果表明了该算法的正确性和有效性。
张东方沈云付
关键词：WEB应用有限状态自动机
全选 清除 导出
共3页<123>
聚类工具0