一种基于属性文法的形式描述方法

本文通过讨论软件测试自动化的基本条件和特殊要求,给出了一种基于属性文法的形式描述方法,它是对一般属性文法作以下两方面扩展得到的:(1)扩展运算函数的值域;(2)补充运算函数在条件不成立时的定义.这样的形式描述方法满足软件测试自动化对形式描述的要求.

程控数字交换机中LTSW的故障检测

本文研究程控数字电话交换机中用户集中器时分接线器(LTSW)的多故障检测.建立了 LTSW 的故障模型.设计了检测 LTSW多重故障的算法.详细介绍了算法原理及其实现.并以本文算法为基础设计了程控数字电话交换机用户级话路子系统故障检测程序.

时间接线器的测试

在时分用户程控交换机中时间接线器(TSW)是实现交换的核心部件.本文讨论了 TSW 的测试诊断问题,详细介绍了测试算法的原理及其实现.采用本文介绍的测试算法设计的测试诊断程序已实际用于 HJD-28用户程控交换机的动态测试系统中.

一种基于程序结构和程序作用的复杂性度量

本文提出了一种将程序结构和它对环境状态的作用综合起来进行评估的程序复杂性度量方法.这一方法直观、易于理解、易于计算,并可以处理用其它度量方法无法解释的一些问题。