Ada应用软件基于对象的状态测试

传统的单元测试方法主要包括程序模块的结构和功能测试。本文根据Ada应用软件对象设施程序包package的对象特点,提出一种基于对象的状态测试方法。对象的状态在这里被划分为三个层次,文中详细讨论了针对每一种状态的测试策略。