多版本软件的独立性问题研究

在定义、描述和分析软件故障、软件出错、软件失效诸概念的基础上，深入研究了多版本软件的独立性问题。并基于对１９５个本科生程序设计实践实例所做的研究分析得出结论：（１）从软件设计角度出发，软件故障主要来自于逻辑设计错误（约３５．６０％）；（２）每１００条语句中平均含有１０个逻辑错误。     

计算机联锁软件的Z规格说明

计算机联锁软件是一种典型的安全关键软件,具有非常复杂的联锁控制逻辑和以失效安全为核心的安全需求。形式化其安全需求是一件十分必要,也是一件十分艰巨的任务。本文使用形式化规格说明语言———Z语言来描述其安全需求,生成形式化规格说明。形式化规格说明不仅有助于提高计算机联锁软件的质量,而且也有利于将来对它进行更严格的测试。     

睿智、豁达、执着、敦厚——赞铁路教育家童大埙先生九十人生

童大埙先生，上海市崇明县人，生于1911年(宣统三年)辛亥革命前夕。先生自幼聪颖，4岁入桥镇小学；16岁自南洋公学附中毕业直升国立交通大学，初攻电机，复攻土木．成绩优异，多获褒奖。因家境清寒，弟妹众多，难以支撑长期求学花费，先生除平时节衣缩食外，利用课余时间为附近高中讲授数学以补欠缺。     

关于磁悬浮交通的若干安全性问题

近年来磁悬浮技术的研究在一些国家取得了不少成就,有些成果已经进入工程试验和运行展示阶段.将其变为大众交通工具的议题也已经提到中国交通发展规划的议事日程上.如果说它的快捷性和对环境的适用性比较容易被大家所接受的话,它的安全性问题还不能说已经被充分地证明和被大众所认同.本文论述了交通工具安全性问题的5个层面;讨论了磁悬浮交通事故避难安全性问题的特征避难环境和安全避难原则.认为磁悬浮交通在安全性方面尚有一系列问题的研究有待深入.文章最后强调这些安全性问题的研究和解决,需要及早建立关于磁悬浮交通安全性问题的论证体制,及时制订为各方认同的安全性规范.并期望磁悬浮技术能及早在我国实用化,成为代表21世纪特色的新交通系统.     

计算机联锁软件制式的安全性评价

计算机联锁软件是铁路信号计算机控制系统中复杂性最大、安全性要求最高的软件。根据制式测试结果颁发计算机联锁的生产许可证 ,是铁道部有关部门加强计算机联锁质量管理的重要措施。以制式测试为依据对联锁软件的安全性进行的评价 ,能够比较准确地获得软件开发方对于联锁安全性问题的理解和处理能力的完整信息 ,以补充“合格”或“不合格”两个评价结论过于粗略的不足。本文首先根据严重性和诱发可能性为每个安全性问题 (即软件缺陷 )定义了一个安全性指数 ,然后提出针对制式测试的安全性评价指标———联锁软件安全性问题处理完善性 ,用以反映联锁软件的开发水平。这部分包括评价模型和方法 ,特别是对安全性经验关系系统到数值关系系统的映射 ,进行了一致性的证明。文章最后介绍了对某些已经完成制式测试的软件进行安全性问题处理完善性的评价实例 ,并列表给出了结果