您的位置: 专家智库 > >

国家自然科学基金(60873050)

作品数:8 被引量:8H指数:2
相关作者:许蕾徐宝文李少东张实睿顾静娴更多>>
相关机构:南京大学东南大学南京航空航天大学更多>>
发文基金:国家自然科学基金计算机软件新技术国家重点实验室开放基金软件工程国家重点实验室开放基金更多>>
相关领域:自动化与计算机技术电子电信更多>>

文献类型

  • 8篇中文期刊文章

领域

  • 8篇自动化与计算...
  • 1篇电子电信

主题

  • 3篇英文
  • 2篇测试用例
  • 2篇测试用例生成
  • 2篇WEB服务
  • 1篇递归
  • 1篇应用程序
  • 1篇整数溢出
  • 1篇正交阵
  • 1篇数据竞争
  • 1篇组件
  • 1篇缓冲区
  • 1篇缓冲区溢出
  • 1篇基于组件
  • 1篇OWL-S
  • 1篇REVERS...
  • 1篇SERVIC...
  • 1篇UML
  • 1篇USE_CA...
  • 1篇WEB应用
  • 1篇WEB应用程...

机构

  • 6篇南京大学
  • 3篇东南大学
  • 1篇南京航空航天...

作者

  • 5篇许蕾
  • 3篇徐宝文
  • 1篇张实睿
  • 1篇张德平
  • 1篇顾静娴
  • 1篇查日军
  • 1篇李颖
  • 1篇严满根
  • 1篇李少东

传媒

  • 3篇Journa...
  • 2篇计算机与数字...
  • 1篇计算机科学
  • 1篇The Jo...
  • 1篇Wuhan ...

年份

  • 1篇2012
  • 3篇2011
  • 2篇2010
  • 2篇2009
8 条 记 录,以下是 1-8
排序方式:
基于组件Web应用程序的覆盖率准则和测试需求约简(英文)被引量:2
2010年
为了更好地分析测试基于组件的Web应用,并抉择何时结束测试过程,提出了覆盖率准则的概念和测试需求约简的方法.首先,定义了4种覆盖率准则,并证明它们之间的包含关系.然后,使用一种转换算法将Web应用测试模型转换成一种可以约简测试需求集合的Web应用决策-决策图(WADD图).最后,基于各种覆盖率准则,并通过分析图中各条边的等价和包含关系,约简测试需求集合.测试人员可以根据不同的测试环境需求选择不同测试需求集合.案例分析表明,在实际的Web应用中所定义的覆盖率准则确实存在线性包含关系.基于不同的测试覆盖率准则,测试需求集合平均可约简55%以上.随着覆盖率准则复杂度的提高,测试需求的规模也随之增大.
顾静娴许蕾徐宝文
关键词:WEB应用
基于OWL-S文档的Web服务测试用例生成
2012年
若从使用者的角度测试Web服务,只能从服务的接口文档中提取信息进行测试工作。现有工作提出通过分析文档中的输入或输出参数获取测试数据的方法。利用OWL-S文档中的输入输出参数信息生成初始的测试数据,同时充分利用文档中的服务过程信息,提取出服务的控制流程图,据此约简测试数据,生成最终的测试用例,从而提高测试用例的生成效率,降低测试成本。
李颖许蕾
关键词:OWL-SSERVICEMODEL测试用例生成
t-维组合覆盖阵的递归构建(英文)
2011年
一个大小为N、度为k、取值为v、强度为t的t-维组合覆盖阵是一个N×k矩阵,其取值为v的符号集,并且任意N×t子矩阵的行都至少包含取值为v符号集的任一t元组一次.提出了一种基于差阵的t-维组合覆盖阵代数递归构建新方法,该方法在已有的覆盖阵基础上可大规模地扩展参数个数,实现任意t个参数组合的有效覆盖(t≥2),是一种实用的生成高维组合覆盖阵代数递归新方法.同时,给出了该新方法的理论推导与算法实现.
查日军张德平徐宝文
关键词:正交阵
一种基于发生序和锁集的BPEL数据竞争静态检测方法被引量:3
2010年
BPEL利用flow和link提供了并发和同步的机制,而Isolated Scope则提供了并发情况下对共享变量访问的控制,同时BPEL还引入了死路删除等一些新的特性。对BPEL流程进行了建模,把BPEL流程转化为BCFG图,提出了一种结合发生序和锁集的静态检测BPEL流程数据竞争的方法。该方法利用向量时钟计算BPEL基本块的发生序关系,判断BPEL基本块是否可并发执行,然后根据BPEL基本块是否有锁保护以及对共享变量的访问情况,来判断BPEL流程是否存在数据竞争。锁集的引入提高了数据竞争判断的准确度,另外该方法还引入了对共享变量访问事件冗余度的分析,减少了算法的开销。
李少东许蕾
关键词:BPEL数据竞争
Automatic Identification of Use Cases from Codes: A User’s Goal Driven Approach
2009年
Based on the different roles played by base flow and alternative flow in the process to achieve user's goals, we have found that loop structure is frequently used to implement alternative flow and/or to connect different use cases. This paper presents an approach to identify base flows and alternative flows of different use cases by traversing control flow graph in which back edges are eliminated. The effectiveness of the approach is verified by identification of the use case structure of an ATM system. The workload of human intervention of the approach is relatively slight, and the manner of human intervention closely follows the usual process of software comprehension.
ZHOU XiaoyuQIAN JuCHEN LinXU Baowen
一种防止缓冲区溢出的整数溢出检测方法(英文)被引量:3
2009年
为了防止由整数溢出引起的缓冲区溢出,提出了一种简化的基于路径松弛的整数溢出检测方法.表示动态分配缓冲区大小的整型变量发生溢出,极有可能引发缓冲区溢出.该检测方法基于这一发现,在动态测试之前先进行轻量级的静态分析,跟踪与动态分配缓冲区大小相关的关键变量,保存追踪的关键变量在不同地方的取值上限和下限,并将维护信息插入源代码中.测试时通过路径松弛,在执行路径上不仅考虑追踪变量的当前测试用例值,判断程序是否出现整数溢出,还根据插入的维护信息进一步考虑追踪变量可能的取值范围,判断程序是否有可能出现整数溢出.实例研究验证了该方法的有效性,并且与同类方法相比,减少了检测量,提高了检测效率.
张实睿许蕾徐宝文
关键词:整数溢出缓冲区溢出
基于变异测试和OWL-S文档的Web服务测试用例生成
2011年
由于缺乏必要的细节信息,针对Web服务的测试难度较大。文章的方法是将变异算子作用到OWL-S文档上,以得出不同输出为目标,从而生成测试用例。该方法避免了生成大量的变异体以及判定等价变异体,能降低测试成本。在保证其有效性的同时,还可以根据具体的应用来调整变异算子,保证方法的通用性和可扩展性。
严满根许蕾
关键词:WEB服务测试用例生成
Continuous time Markov chain based website navigability measure
2011年
Website navigability is acquiring a growing importance in website design and redesign,quality evaluation,and improvement.Existing navigability measures mainly depend on site link structure,so that they only consider the impact of site link structure for navigability and ignore the impact of Web page content.A continuous Markov chain model which depicts the user's surfing behavior can balance these two factors in the evaluation of website navigability,and it needs to estimate the page transition probabilities and user stay time according to user access log.In this way,we can obtain more reliable results for website navigability measure than the existed methods.Experiments show that our method is effective.
ZHANG Wei-fengLIU XiaZHANG Ying-zhouZHOU Guo-qiang
关键词:MEASURE
共1页<1>
聚类工具0