A Latent Implementation Error Detection Method for Software Validation | Zendy

Jiantao Zhou | Zendy; Jing Liu | Zendy; Jinzhao Wu | Zendy; Guodong Zhong | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Latent Implementation Error Detection Method for Software Validation

Author(s) -

Jiantao Zhou,

Jing Liu,

Jinzhao Wu,

Guodong Zhong

Publication year - 2013

Publication title -

journal of applied mathematics

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.307

H-Index - 43

eISSN - 1687-0042

pISSN - 1110-757X

DOI - 10.1155/2013/138287

Subject(s) - computer science , leverage (statistics) , trace (psycholinguistics) , software , model checking , verification and validation , software reliability testing , software testing , regression testing , conformance checking , data mining , software engineering , software quality , software construction , reliability engineering , software development , programming language , machine learning , work in process , statistics , philosophy , linguistics , mathematics , business process modeling , engineering , business process , marketing , business

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research