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

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

通用的安全苛求软件安全性测试方法

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

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

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

软件测试学研究

本文首先介绍了软件测试学的产生,什么是软件测试以及为什么需要进行软件测试。之后详细介绍了软件测试中软件测试文档的重要性;软件测试技术的分类,包括黑盒测试技术和白盒测试技术;软件缺陷的管理,包括缺陷的优先级和严重性;软件性能测试技术;以及测试新技术的发展。     

软件安全性测试方法与工具

软件的应用越来越广泛,规模和复杂度不断提高,软件中的安全缺陷与漏洞也在不断增多,软件安全性问题日益突出.软件安全性测试是保证软件安全性、降低软件安全风险的重要手段.论述了软件安全性测试的特点、内容,重点研究了国内外软件安全性测试的主要方法与工具,分析了各种方法的优缺点与适用范围,提出了一种安全性测试工具的分类方法,总结了当前研究工作并指出了未来软件安全性测试技术的研究重点与发展方向.     

基于软件自动化测试效率的研究

软件测试是软件生命周期的一个重要阶段,测试工作量会占整个开发周期的40%,甚至到60%,由此可见,一种高效率、高质量的测试方法对软件来说十分重要。本文通过项目资金投入、软件测试质量以及时间效率三个方面阐述软件自动化测试和手工测试的优缺点,结合项目实践,对提高软件测试效率的方法进行了分析和研究。     

面向安全性分析的嵌入式软件测试方法研究

随着计算机技术的不断发展,各项软件不断地出现,而这些软件的出现也大大提升了人们的生活质量及工作效率。在这些软件的研发时期,软件安全运行成为软件测试中必不可少的环节,而随着嵌入式软件系统不断地应用在社会的各行各业中,其运行的安全性将直接影响财产、环境及人员安全。因此,做好软件嵌入式安全性分析就成为重中之重。一般来说,软件的嵌入式测试分为功能性和漏洞性两种。基于此,笔者主要对嵌入式软件测试的安全性进行分析,以供参考。     

自动化测试的研究和探讨

软件测试是软件质量保证的一个重要组成部分。介绍了软件测试的分类和自动化测试体系框架、流程设计,客观地探讨和分析了自动化测试充分性准则,在与软件手工测试做对比的情况下,得出了自动化测试的优点和其适应范围,并对今后自动化测试和手工测试的发展方向和使用范围进行了展望。     

基于子域的构件软件充分性测试样本生成策略

基于构件的软件开发给软件测试带来了新的挑战。现有基于构件的软件测试充分性的研究表明,集成测试时的软件测试充分性不能保证构件的测试充分性,同时,构件的测试充分性也不能保证软件的测试充分性。提出了将构件测试充分性对集成测试的限制转化为子域的思想,将测试标准产生的软件子域和构件子域映射的软件子域进行统一的处理,从而对基于构件的软件测试样本集生成与优化提出了一个新的思路。     

核电厂控制系统软件回归测试的分析与研究

回归测试是软件测试中的一个非常重要的过程,在软件生命周期的任何阶段都可能存在回归测试,合理地选择回归测试方案,证明已正确修改软件,保证软件测试的效率和有效性,提高软件质量是非常必要的。