基于软件易测试性的CBTC区域控制器系统设计

区域控制器系统是CBTC铁路运行系统中重要的一部分,对提高列车运行效率和安全起着重要的作用。首先介绍了区域控制器的工作原理和易测试性的特点,然后将易测试性方法应用于区域控制器系统的设计中。这种设计方法提高了测试效率,降低了测试成本。

一种新的提高软件易测试性的合约式设计方法

软件测试是保证软件质量的重要手段。软件测试呈现向软件开发的前期发展、与软件开发的设计阶段和编码阶段相融合的发展趋势。软件的易测试性逐渐受到人们重视。合约式设计是一种有效的软件易测试性设计方法。本文介绍了软件易测试性设计的基本思想和主要方法,提出一种新的合约式设计方法,对现有各种基于Java语言的合约式设计工具进行比较,开发了一种新的合约式设计工具,并通过实验验证了方法的有效性。

基于合约的构件易测试性设计支撑工具的设计与实现

构件技术的新特点为构件测试带来挑战。合约式设计是一种重要的软件易测试性设计方法。基于合约的构件易测试性设计为构件测试提供了一种有效的手段。设计并实现了一种新的合约式设计工具(PKUJDBCT),为构件的易测试性设计提供有力的支撑,并为今后进一步研究基于合约的构件易测试性设计方法打下了良好的基础。

软件测试研究进展

从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软件测试的基本思想 ;讨论软件测试中的若干问题 ,包括面向路径的测试数据自动生成、测试预言、期望结果的自动生成、回归测试等 ;并且探讨软件测试的发展趋势 ,包括构件测试、软件的易测试性与基于合约的构件易测试性设计和WebServices测试等。

软件测试的研究进展

软件是计算机的灵魂，软件测试则是保证软件质量的有效手段，该文主要从软件测试的思想、测试的技术、测试存在的问题和测试的发展趋势等方面对软件测试进展进行研究。总结了软件测试的两条基本准则，软件测试技术的发展以及发展中存在的问题，并指出了软件测试的发展趋势。

浅谈软件测试方法

从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软件测试的基本思想;讨论软件测试中的若干问题,包括面向路径的测试数据自动生成、测试预言、期望结果的自动生成、回归测试等;并且探讨软件测试的发展趋势等。