| 基于有限自动机的面向对象软件规约测试 |
| |
| 引用本文： | 朱连章,张茗淇. 基于有限自动机的面向对象软件规约测试[J]. 计算机工程与设计, 2007, 28(5): 1005-1006,1019 |
| |
| 作者姓名： | 朱连章 张茗淇 |
| |
| 作者单位： | 中国石油大学,计算机与通信工程学院,山东,东营,257061;中国石油大学,计算机与通信工程学院,山东,东营,257061 |
| |
| 摘 要： | 面向对象方法已经逐步代替基于过程的方法成为软件开发的主流,然而面向对象软件的测试和维护代价却并没有因此而减少.虽然在面向对象软件测试方面做了很多的研究工作,但是大多数针对面向对象软件测试的研究都是针对单一类的测试,而不是更高层次上的对面向对象软件规约的测试.提出了一种基于有限自动机的测试框架以测试面向对象软件规约中存在的不完整性和不一致性.该方法有别于公式证明和模型检查,它直接依据可执行的有限自动机来执行测试而不是人工的推导公式证明也不产生大量的状态空间.
|
| 关 键 词： | 软件测试 有限自动机 软件规约 完整性 一致性 |
| 文章编号： | 1000-7024（2007）05-1005-02 |
| 修稿时间： | 2006-02-03 |
Testing object-oriented software specification based on finite automata |
| |
| ZHU Lian-zhang,ZHANG Ming-qi. Testing object-oriented software specification based on finite automata[J]. Computer Engineering and Design, 2007, 28(5): 1005-1006,1019 |
| |
| Authors: | ZHU Lian-zhang ZHANG Ming-qi |
| |
| Affiliation: | College of Computer and Communication Engineering, China University of Petroleum, Dongying 257061, China |
| |
| Abstract: | Object-oriented(OO) software techniques have gradually replaced procedure-oriented programming as the mainstream of software industry.However the cost of testing and maintenance of OO software did not reduce as it is.Although there are a lot of researches on OO software testing,most of them are focused on the single class testing instead of high level testing for OO specification.A testing framework based on finite automata is presented for testing the inconsistency and incompleteness of OO specification.The ap-proach differs from formal proofs and model checking.It performs testing directly on executable finite automata without manually deriving formal proofs or generating a great deal of state spaces. |
| |
| Keywords: | software testing finite automata software specification completeness consistency |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
