摘要

测试需求模型采用形式化语言构建,对于系统测试实现自动化具有重要促进作用。本文基于面向对象思想,采用状态图作为核心技术,与类图相结合提出适用于嵌入式软件系统实际测试需要的一种实时建模方法。该方法对于需求模型的构建直观简洁易用,与测试用例生成策略相结合,能够实现测试用例的自动生成。

  • 单位
    黑龙江省计算中心