基于有穷自动机的面向对象软件规约的测试

• 作者: 程烨 高建华
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 测试 有穷自动机 形式化方法 软件规约 面向对象
• 年，卷（期）: 2007,（5）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 59-61,64
• 页数: 4页
• 分类号: TP311.52
• 字数: 3786字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2007.05.020

摘要

尽管作为软件工程中面向对象的技术已逐步取代了面向过程的技术,但是测试和维护软件的费用并没有因此而减少.在面向对象软件的测试研究中,对如何减少面向对象软件的错误提出了许多方法,绝大多数人关注的是类测试面不是对面向对象规约的高级测试.该文提供了一个基于有穷自动机的测试框架来测试面向对象规约.该方法在一个可执行的有穷自动机上直接进行了测试,不用手动进行证明,并且可产生大量的状态空间.测试结果证明了该方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	高建华	上海师范大学计算机科学与工程系	97	856	12.0	26.0
2	程烨	上海师范大学计算机科学与工程系	3	29	3.0	3.0