安全苛求软件相关论文
摘 要：随着我国高速铁路的快速发展，传统的计算机联锁软件开发方法在灵活性、可维护性、安全性以及开发效率上都显露出不足。针对安......
摘要：随着计算机科学技术和中国铁路的飞速发展,计算机及软件在轨道交通系统中起着越来越重要的作用。软件的质量直接决定了整个轨......
随着城市信息化建设的不断推进,安全苛求系统的应用领域也越来越广泛,如航空航天、医疗、轨道交通等领域。在这些领域,安全苛求系......
安全苛求软件通常指应用在医疗、轨道交通、航空航天等场合的软件,往往复杂度很高而且有着严格的质量要求,它们一旦发生故障则可能......
测试用例的自动生成是验证安全苛求软件最关键的技术问题,然而目前的研究并没有充分考虑安全苛求软件的安全性需求,为此提出一种应......
对软件安全性的研究大多基于概率的或随机过程的软件可靠性理论，但是首先安全性并不等同于可靠性，再则可靠性概念在21世纪随科技的发......
由于安全性苛求软件直接关系人身和大宗财产的安全,为此需要对软件进行严格的安全性测试.提出了一个基于脚本语言的故障注入方法以......
安全性分析对于确保开发出符合安全性需求的软件系统非常重要。该文从安全苛求软件的建模特点出发，分析现有的安全性分析方法和UML......
脚本技术是实现软件测试自动化技术的有效方法。软件测试脚本化可以降低测试成本,提高测试效率。测试脚本语言是脚本技术的核心,但......
安全苛求软件是一类把安全性视为第一性能的软件。针对安全苛求软件在测试中发现的危险失效 ,有效地综合和处理了领域专家对它们的......
在采用构件化技术的安全苛求软件中,软件的安全性仍旧是首要特性,介绍了多故障模式下的安全接口策略,并将此理论应用在铁路车站计......
构件理论在软件工程领域正扮演着越来越重要的角色。基于传统构件模型的软件开发技术尚不能满足安全苛求软件的开发需求。为了规范......
传统的测试脚本语言与测试策略不能满足安全苛求软件系统的测试需求，针对该问题，基于安全苛求软件测试的需求提出一种安全性测试方法......
