Journal of Applied Mathematics
Volume 2013 (2013), Article ID 138287, 10 pages
Research Article

A Latent Implementation Error Detection Method for Software Validation

1College of Computer Science, Inner Mongolia University, Hohhot 010021, China
2Guangxi Key Lab of Hybrid Computation and IC Design Analysis, Guangxi University for Nationalities, Nanning 530006, China

Received 4 February 2013; Accepted 18 February 2013

Academic Editor: Xiaoyu Song

Copyright © 2013 Jiantao Zhou et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.


Model checking and conformance testing play an important role in software system design and implementation. From the view of integrating model checking and conformance testing into a tightly coupled validation approach, this paper presents a novel approach to detect latent errors in software implementation. The latent errors can be classified into two kinds, one is called as Unnecessary Implementation Trace, and the other is called as Neglected Implementation Trace. The method complements the incompleteness of security properties for software model checking. More accurate models are characterized to leverage the effectiveness of the model-based software verification and testing combined method.