徐翥
- 作品数：4 被引量：13H指数：2
- 供职机构：同济大学电子与信息工程学院计算机科学与技术系更多>>
- 发文基金：铁道部科技研究开发计划更多>>
- 相关领域：自动化与计算机技术交通运输工程更多>>
- 安全苛求软件的模糊风险评价被引量：8
- 2003年
- 安全苛求软件是一类把安全性视为第一性能的软件。针对安全苛求软件在测试中发现的危险失效 ,有效地综合和处理了领域专家对它们的发生可能性及其危害严重程度的主观判断 ,然后利用模糊规则进行模糊推理 ,进而实现对它的模糊风险评价。最后以铁路车站计算机联锁软件为例说明该方法的可操作性和有效性。
- 王铁江郦萌徐翥
- 关键词：模糊逻辑安全性评估安全苛求软件
- 计算机联锁软件制式的安全性评价被引量：3
- 2004年
- 计算机联锁软件是铁路信号计算机控制系统中复杂性最大、安全性要求最高的软件。根据制式测试结果颁发计算机联锁的生产许可证 ,是铁道部有关部门加强计算机联锁质量管理的重要措施。以制式测试为依据对联锁软件的安全性进行的评价 ,能够比较准确地获得软件开发方对于联锁安全性问题的理解和处理能力的完整信息 ,以补充“合格”或“不合格”两个评价结论过于粗略的不足。本文首先根据严重性和诱发可能性为每个安全性问题 (即软件缺陷 )定义了一个安全性指数 ,然后提出针对制式测试的安全性评价指标———联锁软件安全性问题处理完善性 ,用以反映联锁软件的开发水平。这部分包括评价模型和方法 ,特别是对安全性经验关系系统到数值关系系统的映射 ,进行了一致性的证明。文章最后介绍了对某些已经完成制式测试的软件进行安全性问题处理完善性的评价实例 。
- 郦萌徐翥王铁江
- 关键词：计算机联锁
- 应用软件复杂性通用估计平台实现可行性研究被引量：2
- 2004年
- 介绍了复杂度的概念及一些度量方法,提出嵌入式应用软件复杂性估计通用平台的概念,并主要研究其实现可行性.考虑到Halstead度量法和McCabe度量法是2种较为经典的复杂性估计方法,故将它们作为通用平台的基础.为此,具体介绍了这2种度量法,并证明了它们之间是兼容的.
- 徐翥郦萌
- 软件安全性3M评价模型复杂度因子的研究
- 2005年
- 安全苛求系统需要防范意外事件造成对人的生命、大宗财产或环境的损害。因此,对安全苛求软件的测试、安全性评价非常重要。多元、多模型、多阶段的3M评价法能够利用后续测试得到的信息不断对评价因子进行修正,提高了评价的准确性。该文对软件致险缺陷估计模型作了某些改进,然后着重对复杂度因子作了一些研究。
- 徐翥郦萌
- 关键词：复杂度
