一种基于状态的面向对象类测试策略

基于状态的类测试是面向对象测试技术的一个重要方面。一种新的基于状态的多角度的面向对象类测试策略,即融合UML Statecharts和EFSM这两个基于状态的模型,并引入Verification & Validation思想。