您的位置: 专家智库 > >

国家自然科学基金(61262010)

作品数:3 被引量:2H指数:1
相关作者:童维勤蔡立志张娟曾红卫高洪皓更多>>
相关机构:上海大学上海市计算机软件评测重点实验室更多>>
发文基金:国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 3篇中文期刊文章

领域

  • 3篇自动化与计算...

主题

  • 1篇导航
  • 1篇导航模型
  • 1篇软件测试
  • 1篇反例
  • 1篇复用
  • 1篇REUSE
  • 1篇UNIT
  • 1篇WEB
  • 1篇WEB应用
  • 1篇FUNCTI...
  • 1篇LANGUA...
  • 1篇测试用例
  • 1篇测试用例复用
  • 1篇TOOL
  • 1篇SUITE

机构

  • 2篇上海大学
  • 2篇上海市计算机...

作者

  • 1篇张娟
  • 1篇缪淮扣
  • 1篇高洪皓
  • 1篇蔡立志
  • 1篇曾红卫
  • 1篇童维勤

传媒

  • 1篇计算机学报
  • 1篇小型微型计算...
  • 1篇Journa...

年份

  • 2篇2014
  • 1篇2013
3 条 记 录,以下是 1-3
排序方式:
基于CEGAR的Web应用验证
2014年
Web应用导航行为的建模和验证是可信Web工程研究的重点和难点.在深入分析用户和Web浏览器交互行为的基础上,文中引入On-the-fly策略并基于反例引导的抽象精化验证方法 CEGAR对Web应用的导航行为进行建模和验证.在On-the-fly导航模型展开的过程中,根据检验性质采用增量式状态抽象方法构造Web应用导航抽象模型,通过确认抽象反例来识别伪反例,借助等价类精化方法消除抽象模型上的伪反例.这一方法可有效地缓解Web应用验证过程中出现的状态爆炸问题.
高洪皓缪淮扣曾红卫
关键词:WEB应用导航模型
基于复用簇的测试用例复用度量被引量:2
2013年
随着软件测试复用实践的深入、测试用例库规模的不断扩大,对测试用例复用的管理和评价的研究也逐渐引起人们的关注.在详细分析了测试用例复用行为的基础上,提出复用簇和测试用例从属度的概念,并基于复用簇和从属度建立测试用例复用度量模型.模型以复用为导向,建立和复用行为相关联的复用簇管理模式,并通过从属度为复用建立度量方法.该复用度量模型实现了计算过程的自动化,改进了简单计算测试用例复用次数的度量方法,保证复用度量的客观性和准确性,使复用度量的量化评价成为可能.
张娟童维勤蔡立志
关键词:测试用例软件测试
Reusing Test Cases Based on the Function Point
2014年
Reusing test cases from existing test case library is quite common in the software testing field. Testing practice tells us that there is a strong relationship between the granularity of a function unit under testing and that of the test case. A function unit with small granularity usually results in the test cases with the same small granularity. Therefore a test case defined as the function point,i. e.,the smallest size function unit,was provided for the first time.Though test cases with smaller granularity usually have better reusability,the cost of accurately reusing and integrating such test cases is also higher. In order to balance the test case reusability and the cost of test case reuse,a novel test case reuse model based on the function point was proposed in this paper. In this model,a reusable test case for specification-based testing was defined and some reuse strategies and three formal reuse methods were given. Finally,the complete automatic software process was realized by a reusing generation tool. The new method has improved reuse accuracy,while greatly enhances the software productivity.
张娟童维勤蔡立志黄文彬HWANG Jenq-Neng
关键词:REUSE
共1页<1>
聚类工具0