事件驱动面向对象的软件白盒测试法初探

分析了面向过程的白盒测试方法在应用于事件驱动面向对象的软件测试时存在的不足,提出了事件覆盖,事件－语句覆盖,事件－判定覆盖等６个覆盖准则,对面向过程的白盒测试方法进行了扩充,使白盒测试能够有效地事件驱动面向对象软件进行测试,给出了指合ＰＲＡＤ图设计测试用例的方法。     

Z/(m)上N级全矩阵环零因子个数的估计

在研究了Z/(p~m)上n级全矩阵环零因子个数的最佳估计基础上,本文进一步得到更一般的有限剩余类环Z/(m)上n级全矩阵环零因子数目的最佳估计,其中m是自然数,m>2.     

有限环上的全矩阵环零因子个数的估计

设R是含有q(q>2)个元素的有限环,且R可交换,含有单位元e.本文得到了有限环R上n级全矩阵环零因子个数的估计.