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 impleme...
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2013-01-01
|
| Series: | Journal of Applied Mathematics |
| Online Access: | http://dx.doi.org/10.1155/2013/138287 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832552850402574336 |
|---|---|
| author | Jiantao Zhou Jing Liu Jinzhao Wu Guodong Zhong |
| author_facet | Jiantao Zhou Jing Liu Jinzhao Wu Guodong Zhong |
| author_sort | Jiantao Zhou |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-5bac28450fed46bbbeed707058c717a0 |
| institution | Kabale University |
| issn | 1110-757X 1687-0042 |
| language | English |
| publishDate | 2013-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | Journal of Applied Mathematics |
| spelling | doaj-art-5bac28450fed46bbbeed707058c717a02025-02-03T05:57:39ZengWileyJournal of Applied Mathematics1110-757X1687-00422013-01-01201310.1155/2013/138287138287A Latent Implementation Error Detection Method for Software ValidationJiantao Zhou0Jing Liu1Jinzhao Wu2Guodong Zhong3College of Computer Science, Inner Mongolia University, Hohhot 010021, ChinaCollege of Computer Science, Inner Mongolia University, Hohhot 010021, ChinaGuangxi Key Lab of Hybrid Computation and IC Design Analysis, Guangxi University for Nationalities, Nanning 530006, ChinaCollege of Computer Science, Inner Mongolia University, Hohhot 010021, ChinaModel 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.http://dx.doi.org/10.1155/2013/138287 |
| spellingShingle | Jiantao Zhou Jing Liu Jinzhao Wu Guodong Zhong A Latent Implementation Error Detection Method for Software Validation Journal of Applied Mathematics |
| title | A Latent Implementation Error Detection Method for Software Validation |
| title_full | A Latent Implementation Error Detection Method for Software Validation |
| title_fullStr | A Latent Implementation Error Detection Method for Software Validation |
| title_full_unstemmed | A Latent Implementation Error Detection Method for Software Validation |
| title_short | A Latent Implementation Error Detection Method for Software Validation |
| title_sort | latent implementation error detection method for software validation |
| url | http://dx.doi.org/10.1155/2013/138287 |
| work_keys_str_mv | AT jiantaozhou alatentimplementationerrordetectionmethodforsoftwarevalidation AT jingliu alatentimplementationerrordetectionmethodforsoftwarevalidation AT jinzhaowu alatentimplementationerrordetectionmethodforsoftwarevalidation AT guodongzhong alatentimplementationerrordetectionmethodforsoftwarevalidation AT jiantaozhou latentimplementationerrordetectionmethodforsoftwarevalidation AT jingliu latentimplementationerrordetectionmethodforsoftwarevalidation AT jinzhaowu latentimplementationerrordetectionmethodforsoftwarevalidation AT guodongzhong latentimplementationerrordetectionmethodforsoftwarevalidation |