基于规约说明语言的面向对象软件测试

提出了一种测试面向对象程序的框架模型 .用Object Z语言描述面向对象程序的形式化规约 .从形式化规约说明中可以推导出的面向对象程序的状态转换图 ,状态图可以表示面向对象程序的动态行为 ,并且可以用来描述一个由面向对象程序的方法调用序列组成的测试数据集 .最后给出了验证一个方法调用序列正确性的方法 .

面向对象的嵌入式电力通信规约适配器的设计与实现

论述了嵌入式电力通信规约适配器设计的必要性与可行性。运用面向对象的开发方法提出了设计与实现该规约适配器的核心思想———由统一格式的规约说明书生成通信规约控制块来控制不同规约的运行。

基于确定有限状态机的测试输入序列选取

有限状态机可以精确地刻画软件系统或其子系统的行为 ,其在软件建模中被广泛应用 .基于有限状态机的测试问题得到了广泛的研究 ,其中 Wp方法由于限制条件较少 ,并且其可以达到较高的错误覆盖度 ,因此被广泛使用 .但当有限状态机的实现中的状态数目的估计值 m较大时 ,产生的测试输入序列数目过多 ,影响了其使用效率 .提出一种 Wp方法的改进方法 R- Wp方法 ,使用该方法在 m值较大时可以产生相对较少的测试输入序列数目 ,可以提高测试效率 ;同时本文对 Wp方法和 R- Wp方法产生的测试输入序列数目进行了讨论 ,并证明了该方法与Wp方法相同的错误覆盖能力 .