A Latent Implementation Error Detection Method for Software Validation
Joint Authors
Zhong, Guodong
Wu, Jinzhao
Zhou, Jiantao
Liu, Jing
Source
Journal of Applied Mathematics
Issue
Vol. 2013, Issue 2013 (31 Dec. 2013), pp.1-10, 10 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2013-03-28
Country of Publication
Egypt
No. of Pages
10
Main Subjects
Abstract EN
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.
American Psychological Association (APA)
Zhou, Jiantao& Liu, Jing& Wu, Jinzhao& Zhong, Guodong. 2013. A Latent Implementation Error Detection Method for Software Validation. Journal of Applied Mathematics،Vol. 2013, no. 2013, pp.1-10.
https://search.emarefa.net/detail/BIM-448732
Modern Language Association (MLA)
Zhou, Jiantao…[et al.]. A Latent Implementation Error Detection Method for Software Validation. Journal of Applied Mathematics No. 2013 (2013), pp.1-10.
https://search.emarefa.net/detail/BIM-448732
American Medical Association (AMA)
Zhou, Jiantao& Liu, Jing& Wu, Jinzhao& Zhong, Guodong. A Latent Implementation Error Detection Method for Software Validation. Journal of Applied Mathematics. 2013. Vol. 2013, no. 2013, pp.1-10.
https://search.emarefa.net/detail/BIM-448732
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-448732