Journal of Applied Mathematics
- J. Appl. Math.
- Volume 2013, Special Issue (2013), Article ID 138287, 10 pages.
A Latent Implementation Error Detection Method for Software Validation
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.
J. Appl. Math., Volume 2013, Special Issue (2013), Article ID 138287, 10 pages.
First available in Project Euclid: 9 May 2014
Permanent link to this document
Digital Object Identifier
Zhou, Jiantao; Liu, Jing; Wu, Jinzhao; Zhong, Guodong. A Latent Implementation Error Detection Method for Software Validation. J. Appl. Math. 2013, Special Issue (2013), Article ID 138287, 10 pages. doi:10.1155/2013/138287. https://projecteuclid.org/euclid.jam/1399645351