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

• 作者: 史桂红
• 来源期刊: 电脑与信息技术
• 学科: 工学
• 关键词: 符号执行 状态属性 状态图 基于状态测试
• 年，卷（期）: 2005,（2）
• 所属期刊栏目: 研究与分析
• 页码范围: 1-4
• 页数: 4页
• 分类号: TP311.5
• 字数: 3636字
• 语种: 中文
• DOI: 10.3969/j.issn.1005-1228.2005.02.001

摘要

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