一种基于对象状态的软件测试方法

作者：史桂红

来源：电脑与信息技术, 2005, (02): 1-4.

DOI：10.19414/j.cnki.1005-1228.2005.02.001

• 符号执行
• 状态属性
• 状态图
• 基于状态测试 symbolic execution
• state attribute
• state chart
• state based testing

面向对象的软件测试是面向对象软件开发的重要阶段,基于对象状态的软件测试方法是面向对象软件测试中类测试的常用方法。文章通过符号执行技术运行类中的每个操作,区分出对象的所有状态属性及状态区间。根据状态集和状态转换集构造出状态图,从而生成相应的测试用例集

• 单位
  东南大学