国家教育部博士点基金(20030247021)
- 作品数：6 被引量：24H指数：3
- 相关作者：郦萌杨晋辉吴芳美毛翼飞更多>>
- 相关机构：同济大学东软信息技术学院更多>>
- 发文基金：国家教育部博士点基金上海市科委科技攻关项目更多>>
- 相关领域：交通运输工程自动化与计算机技术更多>>
- 使用基于脚本的故障注入测试安全苛求软件被引量：1
- 2005年
- 由于安全性苛求软件直接关系人身和大宗财产的安全,为此需要对软件进行严格的安全性测试。提出了一个基于脚本语言的故障注入方法以期得到新的测试手段。此方法通过在故障环境下运行安全苛求软件检验其是否容错和故障安全,结果显示软件测试覆盖率和揭错能力均有增强。该系统可进一步提高安全苛求软件测试自动化水平和测试效率。
- 杨晋辉毛翼飞
- 关键词：安全苛求软件脚本语言
- 计算机联锁软件基于测试的安全性评价基准研究被引量：8
- 2005年
- 计算机联锁是一个典型的安全性苛求系统,它必须考虑许多防范致险因素造成影响的技术需求。同时,对可能引起不安全的各种软件缺陷应有效发现,并对软件的安全性给出公正准确和不引起争议的评价。系统的安全性测试是考察联锁软件安全性功能最周密的技术手段。在前期测试研究工作的基础上,本文系统地论述了基于测试的安全性评价基准问题。文章定义了某些新的概念,如不安全事项、防范致险元集合、扩充防范能力等。对安全性问题的不同分类基准作了形式化的描述。这些论述为进一步发展计算机联锁软件安全性测试及评价,改善计算机联锁质量管理提供了有用的理论依据。文章还对一些联锁软件测试实例进行了分析。
- 吴芳美
- 关键词：计算机联锁
- 联锁软件的统一建模语言和Petri网建模被引量：3
- 2005年
- 使用统一建模语言(unifiedmodelinglanguage,UML)为联锁软件建立平台无关的模型(platformindependentmodel,PIM),可以实现在异种平台间的移植和复用,并有助于自动生成测试案例和测试脚本。UML建模包括静态结构分析和动态行为分析。Petri网可对联锁软件与安全性相关的动态行为精确和严格地进行形式化描述。
- 杨晋辉郦萌
- 关键词：联锁软件统一建模语言PETRI网
- 基于UML和Petri网的铁路联锁软件建模被引量：6
- 2006年
- 在异种嵌入式平台上,采用统一建模语言UML,可为铁路联锁软件建立平台无关模型,从而改进软件的开发和复用。UML适用于软件的静态结构和简单场景下的动态行为的建模。为保证其安全性,采用了Petri网作为补充,对复杂的动态行为和约束规则,在模型中加入了精确和严格的形式化描述。
- 杨晋辉郦萌
- 关键词：UMLPETRI网
- 软件安全性自动测试中源于猜错案例的自描述被引量：3
- 2004年
- 提出一种源于猜错测试案例的自描述方法 .经过自描述处理后的案例具有普遍的适用性 ,只要在新的软件测试任务中找到匹配背景 ,自描述的案例就可以重新变成在新的具体背景下的测试案例 .以一个铁路计算机联锁软件测试中的成功猜错案例为典型 ,阐述了如何为案例所涉及的实体定义一系列关系 ,借助这些关系实现案例自描述 ,并最终和新的软件测试背景匹配 ,且实现案例再生 .
- 郦萌
- 关键词：自描述复用
- 安全苛求软件的安全性混沌分析被引量：3
- 2005年
- 对软件安全性的研究大多基于概率的或随机过程的软件可靠性理论,但是首先安全性并不等同于可靠性,再则可靠性概念在21世纪随科技的发展也在演化。在研究安全苛求软件及其失效的特征的基础上,使用混沌的方法研究其安全性具有合理性。采用嵌入空间的技术可从时间序列中重构出具有系统特征的相平面和吸引子,由此可以预测危险。铁路联锁软件是典型的安全苛求软件,安全性的混沌分析将有助于实施高效的铁路联锁软件的现场测试。
- 杨晋辉郦萌
- 关键词：安全苛求软件混沌计算机联锁
