王铁江
- 作品数:12 被引量:68H指数:7
- 供职机构:同济大学电子与信息工程学院计算机科学与技术系更多>>
- 发文基金:铁道部科技研究开发计划铁道部科技基金更多>>
- 相关领域:自动化与计算机技术交通运输工程水利工程更多>>
- 基于黑箱的自动软件测试工具的质量保障方法
- 软件测试需要合适的自动测试工具的有效支持,此时保障测试工具质量的问题显得尤其重要.本文介绍了两种针对基于黑箱的自动软件测试工具的质量保障方法,并详细讨论了软件故障注入方法.长期测试实践证明了这些方法在保障铁路计算机联锁软...
- 王铁江郦萌
- 关键词:测试工具软件测试变异算子
- 文献传递
- 一种安全软件安全性评估的模糊模型被引量:8
- 2003年
- 提出了一种安全软件安全性评估的模糊模型,利用软件测试过程中的客观危险失效的主观评价进行模糊推理,实现了安全软件安全性的一种定性评估,并通过仿真实例给予说明。
- 王铁江郦萌
- 关键词:安全性评估软件测试计算机
- 安全苛求软件的模糊风险评价被引量:8
- 2003年
- 安全苛求软件是一类把安全性视为第一性能的软件。针对安全苛求软件在测试中发现的危险失效 ,有效地综合和处理了领域专家对它们的发生可能性及其危害严重程度的主观判断 ,然后利用模糊规则进行模糊推理 ,进而实现对它的模糊风险评价。最后以铁路车站计算机联锁软件为例说明该方法的可操作性和有效性。
- 王铁江郦萌徐翥
- 关键词:模糊逻辑安全性评估安全苛求软件
- 计算机联锁软件的Z规格说明被引量:11
- 2003年
- 计算机联锁软件是一种典型的安全关键软件,具有非常复杂的联锁控制逻辑和以失效安全为核心的安全需求。形式化其安全需求是一件十分必要,也是一件十分艰巨的任务。本文使用形式化规格说明语言———Z语言来描述其安全需求,生成形式化规格说明。形式化规格说明不仅有助于提高计算机联锁软件的质量,而且也有利于将来对它进行更严格的测试。
- 王铁江郦萌
- 关键词:形式化规格说明Z语言安全需求计算机联锁
- 面向软件测试的虚拟计算机联锁软件的设计和实现
- 虚拟计算机联锁软件是为了支持铁路车站计算机联锁系统安全软件测试评估平台而开发的,它实现了对测试平台的各子系统的检验,为测试平台的开发和调试以及保证它的高可用性和高可靠性起到了不可或缺的作用.本文着重阐述了虚拟联锁软件的设...
- 王铁江吴芳美
- 关键词:软件测试软件设计
- 文献传递
- 计算机联锁软件制式的安全性评价被引量:3
- 2004年
- 计算机联锁软件是铁路信号计算机控制系统中复杂性最大、安全性要求最高的软件。根据制式测试结果颁发计算机联锁的生产许可证 ,是铁道部有关部门加强计算机联锁质量管理的重要措施。以制式测试为依据对联锁软件的安全性进行的评价 ,能够比较准确地获得软件开发方对于联锁安全性问题的理解和处理能力的完整信息 ,以补充“合格”或“不合格”两个评价结论过于粗略的不足。本文首先根据严重性和诱发可能性为每个安全性问题 (即软件缺陷 )定义了一个安全性指数 ,然后提出针对制式测试的安全性评价指标———联锁软件安全性问题处理完善性 ,用以反映联锁软件的开发水平。这部分包括评价模型和方法 ,特别是对安全性经验关系系统到数值关系系统的映射 ,进行了一致性的证明。文章最后介绍了对某些已经完成制式测试的软件进行安全性问题处理完善性的评价实例 。
- 郦萌徐翥王铁江
- 关键词:计算机联锁
- 基于关键字驱动脚本的安全软件自动测试系统被引量:14
- 2002年
- 提出并阐述了一种基于关键字驱动脚本的安全软件自动测试系统设计方法 .使用关键字驱动脚本欲将大量有效测试案例形式化 ,建立测试案例专家知识库 ,并开发能够实现复杂测试案例自动生成、自动测试和自动结果比较的新一代安全软件自动测试系统 .此系统可进一步提高铁路车站计算机联锁软件测试自动化水平和测试效率 .
- 王铁江郦萌
- 关键词:脚本知识库软件测试计算机联锁
- 软件可靠性评估的模糊神经网络模型被引量:8
- 2003年
- 基于对软件可靠性影响最突出的6个因素,结合模糊逻辑和神经网络技术来开发模糊神经网络模型,抽取蕴含在专家判断中的模糊规则。然后利用这些规则和专家对当前软件开发完成情况的评判,该模型能够完成对目标软件的定性可靠性评估。
- 王铁江郦萌
- 关键词:神经网络模糊逻辑可靠性评估
- 基于黑箱的自动软件测试工具的质量保障方法被引量:8
- 2002年
- 软件测试需要合适的自动测试工具的有效支持 ,此时保障测试工具质量的问题显得尤其重要 .介绍了两种针对基于黑箱的自动软件测试工具的质量保障方法 ,并详细讨论了软件故障注入方法 .长期测试实践证明了这些方法对保障铁路计算机联锁软件测试评估平台的检测能力和可靠性是非常有效的 .
- 王铁江郦萌
- 关键词:自动测试工具软件测试软件工程
- 软件可靠性的模糊综合评估模型被引量:14
- 2002年
- 文章通过对软件可靠性因素的定义和分析,提出了软件可靠性的综合评估指标体系。在计算软件可靠性因素对软件可靠性影响程度的基础上,实现了软件可靠性的定性评估。该模型改变了通常把软件视为“黑箱”来进行可靠性评估的方法,并起到了对传统模型估计结果的检验和修正的作用。
- 王铁江郦萌
- 关键词:软件开发