安全苛求软件的模糊风险评价 被引量：5

1

作者 王铁江 郦萌 徐翥 《计算机应用》 CSCD 北大核心 2003年第z2期182-184,共3页

安全苛求软件是一类把安全性视为第一性能的软件。针对安全苛求软件在测试中发现的危险失效 ,有效地综合和处理了领域专家对它们的发生可能性及其危害严重程度的主观判断 ,然后利用模糊规则进行模糊推理 ,进而实现对它的模糊风险评价。... 安全苛求软件是一类把安全性视为第一性能的软件。针对安全苛求软件在测试中发现的危险失效 ,有效地综合和处理了领域专家对它们的发生可能性及其危害严重程度的主观判断 ,然后利用模糊规则进行模糊推理 ,进而实现对它的模糊风险评价。最后以铁路车站计算机联锁软件为例说明该方法的可操作性和有效性。 展开更多

关键词 风险评价 模糊逻辑 安全性评估 安全苛求软件

下载PDF 职称材料

场景—事件驱动的安全苛求软件系统仿真测试脚本语言研究 被引量：5

2

作者 喻钢 徐中伟 杜军威 《计算机应用》 CSCD 北大核心 2010年第2期374-379,共6页

脚本技术是实现软件测试自动化技术的有效方法。软件测试脚本化可以降低测试成本,提高测试效率。测试脚本语言是脚本技术的核心,但是目前没有专门针对安全苛求软件测试的脚本语言。因此结合安全苛求软件测试的特点,提出了场景—事件驱... 脚本技术是实现软件测试自动化技术的有效方法。软件测试脚本化可以降低测试成本,提高测试效率。测试脚本语言是脚本技术的核心,但是目前没有专门针对安全苛求软件测试的脚本语言。因此结合安全苛求软件测试的特点,提出了场景—事件驱动的针对安全苛求软件仿真测试的通用测试脚本语言SED_SCS_STL,对该语言的设计以及在测试环境中的实现机制进行了阐述,并将其应用于高速铁路CTCS-2级车站列控中心的软件仿真测试中。 展开更多

关键词 安全苛求软件 测试脚本语言 安全性测试

下载PDF 职称材料

安全苛求软件的安全性混沌分析 被引量：3

3

作者 杨晋辉 郦萌 《计算机工程与应用》 CSCD 北大核心 2005年第21期1-3,7,共4页

对软件安全性的研究大多基于概率的或随机过程的软件可靠性理论,但是首先安全性并不等同于可靠性,再则可靠性概念在21世纪随科技的发展也在演化。在研究安全苛求软件及其失效的特征的基础上,使用混沌的方法研究其安全性具有合理性。采... 对软件安全性的研究大多基于概率的或随机过程的软件可靠性理论,但是首先安全性并不等同于可靠性,再则可靠性概念在21世纪随科技的发展也在演化。在研究安全苛求软件及其失效的特征的基础上,使用混沌的方法研究其安全性具有合理性。采用嵌入空间的技术可从时间序列中重构出具有系统特征的相平面和吸引子,由此可以预测危险。铁路联锁软件是典型的安全苛求软件,安全性的混沌分析将有助于实施高效的铁路联锁软件的现场测试。 展开更多

关键词 安全苛求软件 安全性分析 混沌 计算机联锁 软件可靠性

下载PDF 职称材料

通用的安全苛求软件安全性测试方法 被引量：1

4

作者 喻钢 熊静 徐中伟 《计算机工程》 CAS CSCD 北大核心 2010年第17期28-29,共2页

传统的测试脚本语言与测试策略不能满足安全苛求软件系统的测试需求,针对该问题,基于安全苛求软件测试的需求提出一种安全性测试方法,使用场景-事件驱动的安全性测试策略,设计基于该策略的安全性测试脚本语言。高速铁路既有线车站列控... 传统的测试脚本语言与测试策略不能满足安全苛求软件系统的测试需求,针对该问题,基于安全苛求软件测试的需求提出一种安全性测试方法,使用场景-事件驱动的安全性测试策略,设计基于该策略的安全性测试脚本语言。高速铁路既有线车站列控中心软件的安全性仿真测试结果证明了该方法的有效性。 展开更多

关键词 安全苛求软件 自动化测试 安全性测试

下载PDF 职称材料

面向安全苛求软件的测试用例自动生成 被引量：1

5

作者 章文婷 徐中伟 喻刚 《计算机应用研究》 CSCD 北大核心 2009年第1期140-142,174,共4页

测试用例的自动生成是验证安全苛求软件最关键的技术问题,然而目前的研究并没有充分考虑安全苛求软件的安全性需求,为此提出一种应用安全覆盖准则的安全苛求软件的测试用例自动生成策略,将该策略应用于铁路车站计算机连锁软件,并与全节... 测试用例的自动生成是验证安全苛求软件最关键的技术问题,然而目前的研究并没有充分考虑安全苛求软件的安全性需求,为此提出一种应用安全覆盖准则的安全苛求软件的测试用例自动生成策略,将该策略应用于铁路车站计算机连锁软件,并与全节点覆盖准则进行了比较。结果表明该策略对关键变迁有更高的安全性保证。 展开更多

关键词 安全苛求软件 测试用例自动生成 安全覆盖准则

下载PDF 职称材料

基于UML顺序图的安全苛求软件安全性分析 被引量：1

6

作者 黄奕君 徐中伟 《计算机工程》 CAS CSCD 北大核心 2008年第22期37-39,共3页

安全性分析对于确保开发出符合安全性需求的软件系统非常重要。该文从安全苛求软件的建模特点出发,分析现有的安全性分析方法和UML建模语言在安全苛求软件方面的应用及优缺点。针对UML面向安全性需求建模的不足,对顺序图增加了安全性描... 安全性分析对于确保开发出符合安全性需求的软件系统非常重要。该文从安全苛求软件的建模特点出发,分析现有的安全性分析方法和UML建模语言在安全苛求软件方面的应用及优缺点。针对UML面向安全性需求建模的不足,对顺序图增加了安全性描述方法。通过车载ATP系统的建模应用验证其可行性与有效性。 展开更多

关键词 安全苛求软件 安全性分析 形式化描述

下载PDF 职称材料

使用基于脚本的故障注入测试安全苛求软件

7

作者 杨晋辉 毛翼飞 《电脑开发与应用》 2005年第8期2-3,7,共3页

由于安全性苛求软件直接关系人身和大宗财产的安全,为此需要对软件进行严格的安全性测试。提出了一个基于脚本语言的故障注入方法以期得到新的测试手段。此方法通过在故障环境下运行安全苛求软件检验其是否容错和故障安全,结果显示软件... 由于安全性苛求软件直接关系人身和大宗财产的安全,为此需要对软件进行严格的安全性测试。提出了一个基于脚本语言的故障注入方法以期得到新的测试手段。此方法通过在故障环境下运行安全苛求软件检验其是否容错和故障安全,结果显示软件测试覆盖率和揭错能力均有增强。该系统可进一步提高安全苛求软件测试自动化水平和测试效率。 展开更多

关键词 安全苛求软件 故障注入 脚本语言

下载PDF 职称材料

构件化安全苛求软件的安全接口策略

8

作者 刘颖 徐中伟 《计算机应用》 CSCD 北大核心 2008年第11期2933-2935,2944,共4页

在采用构件化技术的安全苛求软件中,软件的安全性仍旧是首要特性,介绍了多故障模式下的安全接口策略,并将此理论应用在铁路车站计算机联锁软件这种安全苛求软件的开发中,对系统中单个构件定义安全接口,从而为整个软件系统提供了有效的... 在采用构件化技术的安全苛求软件中,软件的安全性仍旧是首要特性,介绍了多故障模式下的安全接口策略,并将此理论应用在铁路车站计算机联锁软件这种安全苛求软件的开发中,对系统中单个构件定义安全接口,从而为整个软件系统提供了有效的安全性保障。 展开更多

关键词 安全苛求软件 构件化软件 多故障模式 安全接口 安全性保障

下载PDF 职称材料

面向安全性需求的安全构件模型框架研究

9

作者 喻钢 徐中伟 《计算机应用》 CSCD 北大核心 2008年第11期2929-2932,2939,共5页

构件理论在软件工程领域正扮演着越来越重要的角色。基于传统构件模型的软件开发技术尚不能满足安全苛求软件的开发需求。为了规范化地描述和设计符合安全苛求软件开发需要的构件,提出了一种形式化的面向安全需求的安全构件(SC)模型框架... 构件理论在软件工程领域正扮演着越来越重要的角色。基于传统构件模型的软件开发技术尚不能满足安全苛求软件的开发需求。为了规范化地描述和设计符合安全苛求软件开发需要的构件,提出了一种形式化的面向安全需求的安全构件(SC)模型框架,利用故障模式与冗余比较来确保构件模型的安全性,并将该模型应用于CTCS-2级列车控制中心仿真系统中。 展开更多

关键词 安全构件 安全苛求软件 安全性需求

下载PDF 职称材料

计算机联锁软件基于测试的安全性评价基准研究 被引量：8

10

作者 吴芳美 《铁道学报》 EI CAS CSCD 北大核心 2005年第3期97-101,共5页

计算机联锁是一个典型的安全性苛求系统,它必须考虑许多防范致险因素造成影响的技术需求。同时,对可能引起不安全的各种软件缺陷应有效发现,并对软件的安全性给出公正准确和不引起争议的评价。系统的安全性测试是考察联锁软件安全性功... 计算机联锁是一个典型的安全性苛求系统,它必须考虑许多防范致险因素造成影响的技术需求。同时,对可能引起不安全的各种软件缺陷应有效发现,并对软件的安全性给出公正准确和不引起争议的评价。系统的安全性测试是考察联锁软件安全性功能最周密的技术手段。在前期测试研究工作的基础上,本文系统地论述了基于测试的安全性评价基准问题。文章定义了某些新的概念,如不安全事项、防范致险元集合、扩充防范能力等。对安全性问题的不同分类基准作了形式化的描述。这些论述为进一步发展计算机联锁软件安全性测试及评价,改善计算机联锁质量管理提供了有用的理论依据。文章还对一些联锁软件测试实例进行了分析。 展开更多

关键词 计算机联锁 安全性苛求软件 测试 评价 基准

下载PDF 职称材料

软件安全性自动测试中源于猜错案例的自描述 被引量：2

11

作者 郦萌 《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2004年第8期1046-1049,1091,共5页

提出一种源于猜错测试案例的自描述方法 .经过自描述处理后的案例具有普遍的适用性 ,只要在新的软件测试任务中找到匹配背景 ,自描述的案例就可以重新变成在新的具体背景下的测试案例 .以一个铁路计算机联锁软件测试中的成功猜错案例为... 提出一种源于猜错测试案例的自描述方法 .经过自描述处理后的案例具有普遍的适用性 ,只要在新的软件测试任务中找到匹配背景 ,自描述的案例就可以重新变成在新的具体背景下的测试案例 .以一个铁路计算机联锁软件测试中的成功猜错案例为典型 ,阐述了如何为案例所涉及的实体定义一系列关系 ,借助这些关系实现案例自描述 ,并最终和新的软件测试背景匹配 ,且实现案例再生 . 展开更多

关键词 安全性苛求软件 铁路联锁 测试 猜错 自描述 复用

下载PDF 职称材料