张涛
- 作品数：4 被引量：8H指数：2
- 供职机构：华中师范大学计算机学院计算机科学系更多>>
- 发文基金：湖北省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于程序静态分析和故障树的软件故障检测被引量：3
- 2008年
- 为提高软件安全性和可靠性,探讨一种在软件故障检测过程中将故障定位和原因分析相结合的方法,该方法基于对程序的静态分析,找出故障的位置,利用故障树定位故障原因。非法计算是一种常见的软件故障,该类故障极易导致系统崩溃,该文以一个非法计算故障为例,说明该方法的分析过程,实验表明其可以有效地定位故障并分析其原因。
- 叶俊民张涛董威齐治昌
- 关键词：程序静态分析故障树故障检测
- 谈泛型程序设计影响编程者思维被引量：5
- 2003年
- 泛型程序设计是继面向对象程序设计之后对程序设计领域的又一次大的冲击。本文从泛型程序设计的历史、基础、理论、关键技术等方面对泛型程序设计做了一个总体概括 ,向读者介绍一种新的程序设计技术。
- 杨鹏瞿国忠张涛
- 关键词：泛型程序设计思维TRAITS
- 基于随机回报网的管道-过滤器体系结构风格建模及其实例研究
- 在软件体系结构研究领域中,风格的研究与应用是一个重要的领域.本文提出了一种基于随机回报网的'管道-过滤器'体系结构风格建模方法.此方法考虑了管道和过滤器的故障问题,并可对任意拓扑结构的'管道-过滤器'体系结构进行建模.本...
- 熊华根叶俊民张涛朱凯
- 关键词：软件体系结构随机回报网建模技术
- 文献传递
- 基于随机回报网的管道-过滤器体系结构风格建模及其实例研究
- 2006年
- 在软件体系结构研究领域中,风格的研究与应用是一个重要的领域.本文提出了一种基于随机回报网的"管道-过滤器"体系结构风格建模方法.此方法考虑了管道和过滤器的故障问题,并可对任意拓扑结构的"管道-过滤器"体系结构进行建模.本文的工作将使得对"管道-过滤器"体系结构的建模具有更大的应用范围.
- 熊华根叶俊民张涛朱凯
- 关键词：软件体系结构随机回报网建模技术
