您的位置: 专家智库 > >

曾红卫

作品数:53 被引量:200H指数:9
供职机构:上海大学计算机工程与科学学院更多>>
发文基金:国家自然科学基金上海市教育委员会重点学科基金上海市自然科学基金更多>>
相关领域:自动化与计算机技术文化科学更多>>

文献类型

  • 36篇期刊文章
  • 8篇会议论文
  • 5篇专利
  • 2篇学位论文
  • 2篇科技成果

领域

  • 46篇自动化与计算...
  • 3篇文化科学

主题

  • 9篇WEB应用
  • 7篇工作流
  • 5篇软件工程
  • 5篇网络
  • 4篇状态机
  • 4篇网格
  • 4篇网格工作
  • 4篇网格工作流
  • 4篇测试用例
  • 4篇测试用例生成
  • 3篇有限状态机
  • 3篇软件测试
  • 3篇数据库
  • 3篇数据流
  • 3篇数据流测试
  • 3篇自动化
  • 3篇网格服务
  • 3篇网络安全
  • 3篇计算机
  • 3篇计算机网

机构

  • 52篇上海大学
  • 9篇上海市计算机...
  • 1篇嘉兴学院
  • 1篇上海科技大学

作者

  • 53篇曾红卫
  • 23篇缪淮扣
  • 7篇高洪皓
  • 5篇陈圣波
  • 4篇刘悦
  • 4篇许庆国
  • 3篇李奇
  • 3篇刘攀
  • 3篇刘炜
  • 3篇陈怡海
  • 2篇梅佳
  • 2篇周建云
  • 2篇谭亮
  • 2篇王皙
  • 2篇田野
  • 2篇陈颖
  • 2篇贺斌
  • 2篇冯振华
  • 1篇刘振宇
  • 1篇杨学军

传媒

  • 4篇计算机学报
  • 4篇计算机工程
  • 3篇计算机应用研...
  • 3篇软件学报
  • 3篇计算机工程与...
  • 3篇应用科学学报
  • 3篇计算机工程与...
  • 2篇计算机工程与...
  • 2篇计算机应用与...
  • 2篇上海大学学报...
  • 2篇计算机科学与...
  • 1篇计算机辅助设...
  • 1篇南京师大学报...
  • 1篇计算机科学
  • 1篇现代电子技术
  • 1篇计算机技术与...
  • 1篇2005年全...
  • 1篇2007年全...
  • 1篇2009中国...
  • 1篇第二届高等教...

年份

  • 1篇2023
  • 1篇2021
  • 1篇2019
  • 1篇2018
  • 2篇2016
  • 3篇2015
  • 3篇2014
  • 2篇2013
  • 3篇2012
  • 8篇2011
  • 4篇2010
  • 3篇2009
  • 3篇2008
  • 5篇2007
  • 2篇2006
  • 3篇2005
  • 1篇2003
  • 1篇2001
  • 1篇2000
  • 1篇1999
53 条 记 录,以下是 1-10
排序方式:
Web应用的验证与测试方法研究
Internet的普及以及分布式计算、基于构件的开发和Web Services等技术的迅速发展和应用使Web应用渗透到国计民生的各个领域。Web应用的质量将直接影响人们的生活和工作。 验证与测试是保证软件质量的最...
曾红卫
关键词:WEB应用
文献传递
基于开源软件的精品课程网站建设方案
精品课程是指具有特色和一流教学水平的优秀课程.2010年颁布的国家精品课程评审指标中指出'教学条件方面,重视优质教学资源的建设和完善,加强课程网站的辅助教学功能',因此精品课程网站建设是精品课程建设过程中不可或缺的重要环...
陈怡海曾红卫
关键词:高等教育精品课程网站建设开源软件
文献传递
基于CEGAR的Web应用验证
2014年
Web应用导航行为的建模和验证是可信Web工程研究的重点和难点.在深入分析用户和Web浏览器交互行为的基础上,文中引入On-the-fly策略并基于反例引导的抽象精化验证方法 CEGAR对Web应用的导航行为进行建模和验证.在On-the-fly导航模型展开的过程中,根据检验性质采用增量式状态抽象方法构造Web应用导航抽象模型,通过确认抽象反例来识别伪反例,借助等价类精化方法消除抽象模型上的伪反例.这一方法可有效地缓解Web应用验证过程中出现的状态爆炸问题.
高洪皓缪淮扣曾红卫
关键词:WEB应用导航模型
WEB应用测试执行引擎的设计与实现
2011年
基于模型的测试以系统的抽象模型为依据,自动生成可执行的测试用例,自动地执行测试并自动评价测试结果,实现测试过程的自动化。论文主要研究测试执行自动化技术,设计实现一个自动化测试执行工具。工具的核心是设计基于XML的自动化测试脚本并实现了一个测试执行引擎。脚本拥有良好的结构定义,便于编辑和扩展,由自动化测试工具自动生成。引擎使用多线程技术模拟多用户的并行使用,解决了数据驱动测试执行方式和线程并行操作时的同步问题。
贺斌曾红卫冯振华
关键词:自动化测试测试脚本
一种基于SOA架构的模型检验工具集成方法
本发明涉及一种基于SOA架构的模型检验工具集成方法,其特征在于:所述的集成方法包括以下步骤:首先配置支持层、之后配置接口层、之后配置发布层、最后配置应用层。本发明的优点是:通过SOA技术将模型检验工具进行集成,提出一种高...
高洪皓缪淮扣曾红卫陈圣波许庆国孙茂华严吉皞
文献传递
基于模型检验的构件数据流测试
模型检验输出的反例提供了一种自动产生测试用例的有效途径,提出了用模型检验进行构件数据流测试的方法.用构件状态机描述构件的外部行为,用带有变量定义和使用标记的Kripke结构描述构件状态迁移中的数据流信息.给出了从构件状态...
曾红卫缪淮扣
关键词:数据流测试
文献传递
基于结构覆盖和状态识别的FSM一致性测试实验评估
2023年
针对在测试资源紧张的情况下所面临的不同测试技术中测试方法选择问题,阐明了对基于结构覆盖和基于状态识别的测试生成技术进行实验评估的必要性,以10个有限状态机(finite state machine,FSM)应用实例为实验对象,从测试开销和错误覆盖能力两方面对这两种技术进行了实证研究,为FSM一致性测试中这两种技术的选择应用提供了经验性的参考建议。
林玮玮曾红卫缪淮扣王晓琳
关键词:有限状态机实证研究
一种基于模型的侵入式灰盒组装验证方法
本发明涉及一种基于模型的侵入式灰盒组装验证方法,属于软件工程技术领域,包括步骤:1)流程设计:根据待开发软件的业务逻辑,设计由多个抽象构件构成的工作流模型;2)实例化:根据工作流中各抽象构件的功能要求和接口信息在实例构件...
高洪皓陈颖田野曾红卫缪淮扣
文献传递
用模型检验产生约简测试集被引量:1
2012年
基于模型检验的自动化测试技术已经得到普遍应用,由于测试用例自动化生成过程中会产生巨大的资源消耗,优化问题越来越受到软件测试行业的广泛关注。提出一种基于节点权重的性质覆盖度计算方法,在模型检验器自动化生成测试用例之前对测试目标排序,能够更有效地检测到冗余性质,从而减少模型检验器被调用执行次数并且避免大规模的测试用例生成。
田野曾红卫
软件工程实践教学方法探索被引量:9
2011年
本文结合教学体会,分析了软件工程实验教学中存在的问题。紧扣教学计划,以学生的知识和能力为基础,建议将软件工程实践分为专项任务实验和项目开发实践两个阶段。专项任务实验针对软件开发方法的主要知识点,以巩固软件工程理论知识为目的;项目开发实践以小组形式进行实际软件项目的开发,培养学生的软件工程方法综合运用能力和基本的软件开发实践能力。
曾红卫刘悦刘炜
关键词:软件工程项目开发实践实践教学
共6页<123456>
聚类工具0