您的位置： 专家智库 > >

兰阳阳

作品数：7 被引量：0H指数：0
供职机构：东南大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 6篇专利
  • 1篇学位论文

领域

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

主题

  • 4篇测试用例
  • 3篇代码
  • 2篇语言
  • 2篇元语言
  • 2篇源代码
  • 2篇时序逻辑
  • 2篇排斥
  • 2篇测试用例生成
  • 2篇测试用例生成...
  • 1篇语义
  • 1篇软件测试
  • 1篇自动化
  • 1篇自动化测试
  • 1篇自动机
  • 1篇解释器
  • 1篇建模语言
  • 1篇操作语义

机构

  • 7篇东南大学

作者

  • 7篇兰阳阳
  • 6篇陶传奇
  • 6篇李必信
  • 4篇王璐璐
  • 2篇刘力
  • 2篇张前东
  • 2篇陈艺
  • 2篇司静文
  • 2篇孙小兵

年份

  • 1篇2016
  • 2篇2015
  • 1篇2014
  • 2篇2013
  • 1篇2012
共 7 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
一种基于SoaML的云应用正确性验证方法
本发明公开了一种基于SoaML的云应用正确性验证方法，主要用于处理云应用的建模与验证问题，本发明采用SoaML对云应用进行建模，并将所建SoaML模型转换为简单进程元语言解释器SPIN支持的建模语言PROMELA和线性时...
李必信耿国清王璐璐陶传奇兰阳阳司静文
文献传递
一种基于修改影响分析的回归测试用例生成方法
本发明提出了一种基于修改影响分析的回归测试用例生成方法。首先对程序建模构造出源代码的中间表示，理解源代码中各元素之间的依赖关系，辅助程序理解；然后对程序的修改信息，利用特征定位技术识别修改点在源代码中对应的修改位置，并将...
李必信张前东孙小兵陶传奇耿国清兰阳阳
文献传递
一种基于排斥区域的自适应随机测试的方法
本发明公开了一种基于排斥区域的自适应随机测试的方法，主要用于降低随机测试中测试用例生成的盲目性，同时消弱边界效应带来的问题。本发明首先确定程序的输入域；然后根据点到空间中心的距离设置排斥区域的半径大小；再根据输入域随机生...
李必信兰阳阳王璐璐陶传奇刘力陈艺
文献传递
一种基于SoaML的云应用正确性验证方法
本发明公开了一种基于SoaML的云应用正确性验证方法，主要用于处理云应用的建模与验证问题，本发明采用SoaML对云应用进行建模，并将所建SoaML模型转换为简单进程元语言解释器SPIN支持的建模语言PROMELA和线性时...
李必信耿国清王璐璐陶传奇兰阳阳司静文
文献传递
一种基于排斥区域的自适应随机测试的方法
本发明公开了一种基于排斥区域的自适应随机测试的方法，主要用于降低随机测试中测试用例生成的盲目性，同时消弱边界效应带来的问题。本发明首先确定程序的输入域；然后根据点到空间中心的距离设置排斥区域的半径大小；再根据输入域随机生...
李必信兰阳阳王璐璐陶传奇刘力陈艺
文献传递
一种基于修改影响分析的回归测试用例生成方法
本发明提出了一种基于修改影响分析的回归测试用例生成方法。首先对程序建模构造出源代码的中间表示，理解源代码中各元素之间的依赖关系，辅助程序理解；然后对程序的修改信息，利用特征定位技术识别修改点在源代码中对应的修改位置，并将...
李必信张前东孙小兵陶传奇耿国清兰阳阳
文献传递
自适应随机测试系统的设计与实现
从计算机出现起，各种问题就伴随而来。各种各样的软件故障以及因此带来的问题给软件行业敲响了警钟。在大量的现实问题面前，人们开始重视软件质量。软件测试作为一种重要的软件质量保证手段，在保证软件质量、增强软件可靠性的方面中发挥...
兰阳阳
关键词：软件测试自动化测试
文献传递
全选 清除 导出
共1页<1>
聚类工具0