您的位置： 专家智库 > >

张前东

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

合作作者

文献类型

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

领域

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

主题

  • 2篇代码
  • 2篇代数
  • 2篇动态逻辑
  • 2篇源代码
  • 2篇微分
  • 2篇微分代数
  • 2篇CPS
  • 2篇测试用例
  • 2篇测试用例生成
  • 2篇测试用例生成...

机构

  • 5篇东南大学

作者

  • 5篇张前东
  • 4篇李必信
  • 2篇兰阳阳
  • 2篇陶传奇
  • 2篇陈乔乔
  • 2篇宋锐
  • 2篇翟小祥
  • 2篇孙小兵

年份

  • 1篇2015
  • 1篇2014
  • 1篇2013
  • 2篇2012
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
一种基于修改影响分析的回归测试用例生成方法
本发明提出了一种基于修改影响分析的回归测试用例生成方法。首先对程序建模构造出源代码的中间表示，理解源代码中各元素之间的依赖关系，辅助程序理解；然后对程序的修改信息，利用特征定位技术识别修改点在源代码中对应的修改位置，并将...
李必信张前东孙小兵陶传奇耿国清兰阳阳
文献传递
基于HybridUML向微分代数程序转换的CPS建模与验证方法
本发明提出了一种基于HybridUML向微分代数程序转换的CPS建模与验证方法，实现了由HybridUML模型向DAP的转换，并依据微分代数动态逻辑(Differential-Algebraic Dynamic Logi...
李必信陈乔乔翟小祥宋锐张前东
文献传递
基于HybridUML向微分代数程序转换的CPS建模与验证方法
本发明提出了一种基于HybridUML向微分代数程序转换的CPS建模与验证方法，实现了由HybridUML模型向DAP的转换，并依据微分代数动态逻辑(Differential-Algebraic Dynamic Logi...
李必信陈乔乔翟小祥宋锐张前东
一种基于修改影响分析的回归测试用例生成方法
本发明提出了一种基于修改影响分析的回归测试用例生成方法。首先对程序建模构造出源代码的中间表示，理解源代码中各元素之间的依赖关系，辅助程序理解；然后对程序的修改信息，利用特征定位技术识别修改点在源代码中对应的修改位置，并将...
李必信张前东孙小兵陶传奇耿国清兰阳阳
文献传递
基于图挖掘的修改影响分析
张前东
全选 清除 导出
共1页<1>
聚类工具0