搜索到39篇“ 安全苛求软件“的相关文章
- 铁路信号系统安全苛求软件的自动化测试平台
- 本发明公开了一种铁路信号系统安全苛求软件的自动化测试平台，其采用规则和数据模型驱动，能实现对C和C++语言编写的软件代码进行自动静态分析和动态测试，从而完成软件的编码规则检查、软件质量度量和动态测试，及覆盖率统计和执行信...
- 徐登科李书赵颖王克强卢佩玲韩安平臧永立张雪松段武潘明付伟陈希钱金龙于潇刘鹏梁志国张丽武鹏宋志丹李刚李士祥高术强郑长宗高扬李晓娜雷群邹杪
- 文献传递
- 安全苛求软件的自动化测试技术研究
- 安全苛求软件通常指应用在医疗、轨道交通、航空航天等场合的软件，往往复杂度很高而且有着严格的质量要求，它们一旦发生故障则可能会导致灾难性后果，因此必须经过大量充分地测试才能避免事故的发生。但手工测试是一项耗费大量人力财力的...
- 高璐瑶
- 关键词：安全苛求软件测试用例自动生成自动化测试虚拟现实数据驱动
- 文献传递
- 安全苛求软件的设计与开发方法研究
- 随着城市信息化建设的不断推进，安全苛求系统的应用领域也越来越广泛，如航空航天、医疗、轨道交通等领域。在这些领域，安全苛求系统通常是功能密集型且逻辑复杂的，设计和开发难度大，生命周期长，成本高。本文针对轨道交通领域的基于通...
- 管爱爱
- 关键词：安全苛求软件代码自动生成接口模型
- 安全苛求软件需求规格中的安全特性验证方法被引量：1
- 2013年
- 针对自然语言描述的安全苛求软件需求规格中安全特性不准确、不一致等问题,提出一种基于UMLsec安全特性验证方法。该方法在UML需求模型类图和顺序图的基础上,为核心类的安全特性自定义构造型、标记和约束,完成UMLsec模型构建;之后,使用设计实现的UMLsec支持工具对安全特性进行自动验证。实验结果表明,该方法能准确描述安全苛求软件需求规格的安全特性,同时可以自动验证安全特性是否满足安全需求。
- 王飞郭渊博李波郝耀辉
- 关键词：安全特性
- 安全苛求软件测试方法在CTCS-3级列控系统车载设备测试中的应用研究
- 随着计算机科学技术和中国铁路的飞速发展，计算机及软件在轨道交通系统中起着越来越重要的作用。软件的质量直接决定了整个轨道交通系统的质量，软件的故障可能会引发灾难性的后果以及造成无法估计的损失。软件测试能够最大限度地发现软件...
- 周荣
- 关键词：安全苛求软件车载设备
- 通用的安全苛求软件安全性测试方法被引量：1
- 2010年
- 传统的测试脚本语言与测试策略不能满足安全苛求软件系统的测试需求,针对该问题,基于安全苛求软件测试的需求提出一种安全性测试方法,使用场景-事件驱动的安全性测试策略,设计基于该策略的安全性测试脚本语言。高速铁路既有线车站列控中心软件的安全性仿真测试结果证明了该方法的有效性。
- 喻钢熊静徐中伟
- 关键词：安全苛求软件自动化测试安全性测试
- 场景—事件驱动的安全苛求软件系统仿真测试脚本语言研究被引量：6
- 2010年
- 脚本技术是实现软件测试自动化技术的有效方法。软件测试脚本化可以降低测试成本,提高测试效率。测试脚本语言是脚本技术的核心,但是目前没有专门针对安全苛求软件测试的脚本语言。因此结合安全苛求软件测试的特点,提出了场景—事件驱动的针对安全苛求软件仿真测试的通用测试脚本语言SED_SCS_STL,对该语言的设计以及在测试环境中的实现机制进行了阐述,并将其应用于高速铁路CTCS-2级车站列控中心的软件仿真测试中。
- 喻钢徐中伟杜军威
- 关键词：安全苛求软件安全性测试
- 面向安全苛求软件的测试用例自动生成被引量：1
- 2009年
- 测试用例的自动生成是验证安全苛求软件最关键的技术问题,然而目前的研究并没有充分考虑安全苛求软件的安全性需求,为此提出一种应用安全覆盖准则的安全苛求软件的测试用例自动生成策略,将该策略应用于铁路车站计算机连锁软件,并与全节点覆盖准则进行了比较。结果表明该策略对关键变迁有更高的安全性保证。
- 章文婷徐中伟喻刚
- 关键词：安全苛求软件测试用例自动生成
- 构件化安全苛求软件的安全接口策略
- 2008年
- 在采用构件化技术的安全苛求软件中,软件的安全性仍旧是首要特性,介绍了多故障模式下的安全接口策略,并将此理论应用在铁路车站计算机联锁软件这种安全苛求软件的开发中,对系统中单个构件定义安全接口,从而为整个软件系统提供了有效的安全性保障。
- 刘颖徐中伟
- 关键词：安全苛求软件构件化软件安全性保障
- 基于UML顺序图的安全苛求软件安全性分析被引量：1
- 2008年
- 安全性分析对于确保开发出符合安全性需求的软件系统非常重要。该文从安全苛求软件的建模特点出发,分析现有的安全性分析方法和UML建模语言在安全苛求软件方面的应用及优缺点。针对UML面向安全性需求建模的不足,对顺序图增加了安全性描述方法。通过车载ATP系统的建模应用验证其可行性与有效性。
- 黄奕君徐中伟
- 关键词：安全苛求软件形式化描述
相关作者
- 徐中伟
- 作品数：124被引量：384H指数：10
- 供职机构：同济大学
- 研究主题：软件测试 安全苛求系统 CBTC 安全性 列控中心
- 杨晋辉
- 作品数：5被引量：13H指数：3
- 供职机构：同济大学
- 研究主题：安全苛求软件 PETRI网 安全性 UML 基于UML
- 喻钢
- 作品数：75被引量：357H指数：10
- 供职机构：上海大学
- 研究主题：BIM 管片 隧道管片 隧道 巡检
- 喻刚
- 作品数：2被引量：1H指数：1
- 供职机构：同济大学电子与信息工程学院
- 研究主题：安全苛求软件 测试用例自动生成 SOA架构 服务组件架构 面向服务架构
- 郦萌
- 作品数：28被引量：102H指数：7
- 供职机构：同济大学电子与信息工程学院
- 研究主题：软件测试 安全性评价 计算机 安全性苛求系统 安全性
