您的位置： 专家智库 > >

张旭

作品数：3 被引量：0H指数：0
供职机构：兰州大学信息科学与工程学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 3篇国内会议论文

领域

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

主题

  • 2篇软件测试
  • 1篇最大公因子
  • 1篇面向对象
  • 1篇面向对象软件
  • 1篇面向对象软件...
  • 1篇矩阵
  • 1篇矩阵论
  • 1篇计算机

机构

  • 3篇兰州大学
  • 2篇兰州工业高等...

作者

  • 3篇赵锡英
  • 3篇张旭
  • 2篇胡东华

传媒

  • 3篇2004年全...

年份

  • 3篇2004
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
软件功能验证与优化的研究
按照通常的观点,软件由程序和文档两部分构成,文档的检测涉及太多的非技术的因素,而目前在软件测试性计算的文献中多把程序测试性和软件测试性当作同一概念,借用此观点,这里所讨论的软件的功能验证,也就是程序的功能验证.程序的正确...
张旭胡东华赵锡英李廉
关键词：软件测试
文献传递
最大公因子的求解与Sylvester矩阵
给出了求解最大公因子的广义欧几里得算法与子结式算法，分析了它们的特点，通过对余多项式系数的线性化表示与分析，给出了子结式算法的行列式表示，并且给出了算法的时间复杂度。因为广义欧几里得算法中所获得的余多项式是相应子结式算法...
赵锡英张旭胡东华李廉
关键词：矩阵论最大公因子
面向对象软件测试的探讨
软件测试是保证软件质量、提高软件可靠性的关键.目前国内外传统的面向功能或面向过程的测试理论与方法已经较为成熟.以Weyuker的测试充分性公理系统为基础形成了较为一致的测试层次划分法:单元测试、集成测试、系统测试.20世...
胡东华张旭赵锡英李廉
关键词：面向对象软件测试
文献传递
全选 清除 导出
共1页<1>
聚类工具0