Testing the Completeness and Consistency of Object-Oriented Software Specification

摘要：

Formal proof system and static analysis technique are main methods for verifying the consistency and completeness of procodure-oriented programs. But when extend them to apply to object-oriented software specification testing, many problems exist. So the paper provides a testing framework based on finite automata to test the inconsistency and incompleteness of OO specification. The approach differs from formal proofs and model checking.

关键词： Software testing Finite automata Software specification

作者: ZHU Lianzhang ZHANG Mingqi

作者单位: College of Computer and Communication Engineering China University of Petroleum Dongying, Shandong province, China

会议类型: 国际会议

会议名称: 第一届国际计算机新科技与教育学术会议(Proceedings of the First International Conference on Computer Science & Education ICCSE2006)

会议地点: 厦门

会议语种:英文

页码: 883-886

在线出版日期: 2006-07-27（万方平台首次上网日期，不代表论文的发表时间）