安全苛求软件

作品数：11被引量：16H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：徐中伟喻钢杨晋辉郦萌喻刚更多>>
相关机构：同济大学上海大学浙江大学青岛科技大学更多>>
相关期刊：《科协论坛（下半月）》《计算机应用》《计算机工程与应用》《计算机应用研究》更多>>
相关基金：国家自然科学基金铁道部科技研究开发计划国家教育部博士点基金河南省科技创新杰出青年基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
安全苛求软件需求规格中的安全特性验证方法被引量：1
《计算机应用》2013年第7期2041-2045,共5页王飞 郭渊博 李波 郝耀辉 
河南省科技创新杰出青年计划项目(104100510025)
针对自然语言描述的安全苛求软件需求规格中安全特性不准确、不一致等问题,提出一种基于UMLsec安全特性验证方法。该方法在UML需求模型类图和顺序图的基础上,为核心类的安全特性自定义构造型、标记和约束,完成UMLsec模型构建;之后,使用...
关键词：UMLsec 安全特性 验证 
SOA架构下补偿模型驱动的安全苛求软件开发
《科协论坛（下半月）》2012年第1期57-58,共2页李盼 徐中伟 喻刚 李智伟 
随着我国高速铁路的快速发展,传统的计算机联锁软件开发方法在灵活性、可维护性、安全性以及开发效率上都显露出不足。针对安全苛求的特点,提出了一个完整的服务组件开发模型,该模型基于SOA(Service Oriented Architecture)思想,并成功...
关键词：面向服务架构 服务组件架构 安全苛求软件 
通用的安全苛求软件安全性测试方法被引量：1
《计算机工程》2010年第17期28-29,共2页喻钢 熊静 徐中伟 
国家自然科学基金资助项目(60674004);铁道部科技研究开发计划基金资助项目(2008X003-A;2009X002-A)
传统的测试脚本语言与测试策略不能满足安全苛求软件系统的测试需求,针对该问题,基于安全苛求软件测试的需求提出一种安全性测试方法,使用场景-事件驱动的安全性测试策略,设计基于该策略的安全性测试脚本语言。高速铁路既有线车站列控...
关键词：安全苛求软件 自动化测试 安全性测试 
场景—事件驱动的安全苛求软件系统仿真测试脚本语言研究被引量：5
《计算机应用》2010年第2期374-379,共6页喻钢 徐中伟 杜军威 
国家自然科学基金资助项目(60674004);铁道部科技研究开发计划项目(2008X003-A2009X002-A)
脚本技术是实现软件测试自动化技术的有效方法。软件测试脚本化可以降低测试成本,提高测试效率。测试脚本语言是脚本技术的核心,但是目前没有专门针对安全苛求软件测试的脚本语言。因此结合安全苛求软件测试的特点,提出了场景—事件驱...
关键词：安全苛求软件 测试脚本语言 安全性测试 
面向安全苛求软件的测试用例自动生成被引量：1
《计算机应用研究》2009年第1期140-142,174,共4页章文婷 徐中伟 喻刚 
国家自然科学基金资助项目(60674004)
测试用例的自动生成是验证安全苛求软件最关键的技术问题,然而目前的研究并没有充分考虑安全苛求软件的安全性需求,为此提出一种应用安全覆盖准则的安全苛求软件的测试用例自动生成策略,将该策略应用于铁路车站计算机连锁软件,并与全节...
关键词：安全苛求软件 测试用例自动生成 安全覆盖准则 
基于UML顺序图的安全苛求软件安全性分析被引量：1
《计算机工程》2008年第22期37-39,共3页黄奕君 徐中伟 
国家自然科学基金资助项目(60674004)
安全性分析对于确保开发出符合安全性需求的软件系统非常重要。该文从安全苛求软件的建模特点出发,分析现有的安全性分析方法和UML建模语言在安全苛求软件方面的应用及优缺点。针对UML面向安全性需求建模的不足,对顺序图增加了安全性描...
关键词：安全苛求软件 安全性分析 形式化描述 
面向安全性需求的安全构件模型框架研究
《计算机应用》2008年第11期2929-2932,2939,共5页喻钢 徐中伟 
国家自然科学基金资助项目(60674004);铁道部科技研究开发计划课题(2007X003)
构件理论在软件工程领域正扮演着越来越重要的角色。基于传统构件模型的软件开发技术尚不能满足安全苛求软件的开发需求。为了规范化地描述和设计符合安全苛求软件开发需要的构件,提出了一种形式化的面向安全需求的安全构件(SC)模型框架...
关键词：安全构件 安全苛求软件 安全性需求 
构件化安全苛求软件的安全接口策略
《计算机应用》2008年第11期2933-2935,2944,共4页刘颖 徐中伟 
国家自然科学基金资助项目(60674004)
在采用构件化技术的安全苛求软件中,软件的安全性仍旧是首要特性,介绍了多故障模式下的安全接口策略,并将此理论应用在铁路车站计算机联锁软件这种安全苛求软件的开发中,对系统中单个构件定义安全接口,从而为整个软件系统提供了有效的...
关键词：安全苛求软件 构件化软件 多故障模式 安全接口 安全性保障 
安全苛求软件的安全性混沌分析被引量：3
《计算机工程与应用》2005年第21期1-3,7,共4页杨晋辉 郦萌 
教育部博士学科点专项科研基金(编号:20030247021)
对软件安全性的研究大多基于概率的或随机过程的软件可靠性理论,但是首先安全性并不等同于可靠性,再则可靠性概念在21世纪随科技的发展也在演化。在研究安全苛求软件及其失效的特征的基础上,使用混沌的方法研究其安全性具有合理性。采...
关键词：安全苛求软件 安全性分析 混沌 计算机联锁 软件可靠性 
使用基于脚本的故障注入测试安全苛求软件
《电脑开发与应用》2005年第8期2-3,7,共3页杨晋辉 毛翼飞 
教育部博士学科点专项科研基金(20030247021);上海市科学技术委员会科技攻关课题(035115023)资助。
由于安全性苛求软件直接关系人身和大宗财产的安全,为此需要对软件进行严格的安全性测试。提出了一个基于脚本语言的故障注入方法以期得到新的测试手段。此方法通过在故障环境下运行安全苛求软件检验其是否容错和故障安全,结果显示软件...
关键词：安全苛求软件 故障注入 脚本语言 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部