您的位置: 专家智库 > >

康亮

作品数:2 被引量:0H指数:0
供职机构:江西师范大学计算机信息工程学院更多>>
发文基金:国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

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

主题

  • 1篇数据类
  • 1篇数据类型
  • 1篇可测试性
  • 1篇可靠性
  • 1篇PAR方法
  • 1篇APLA
  • 1篇DELPHI
  • 1篇测试技术
  • 1篇抽象数据

机构

  • 2篇江西师范大学

作者

  • 2篇康亮
  • 1篇刘宇翔
  • 1篇周世科

传媒

  • 1篇科技创新导报

年份

  • 2篇2008
2 条 记 录,以下是 1-2
排序方式:
Apla组合数据类型的Delphi实现
薛锦云教授在国家863和多项国家自然科学基金的资助下,创造性地提出了一种形式化开发方法——PAR方法。就是用数学与逻辑的方法来描述和验证软件,而PAR方法描述的程序又是经过严格的推导、证明,所以保证了程序的正确性和可靠性...
康亮
关键词:APLAPAR方法DELPHI抽象数据
文献传递
浅析构件测试技术
2008年
基于构件软件开发的主要思想是使用现存的构件来建构软件系统。而这样的系统由于构件本身的特点导致了许多测试困难。本文结合传统的软件测试技术,针对构件技术新特性在测试中引发的问题,对构件软件的集成测试和性能测试等问题进行了讨论和分析,并给出了构件软件测试的存在问题和研究方向。
康亮周世科刘宇翔
关键词:可测试性可靠性
共1页<1>
聚类工具0