A formal approach to testing programs in practice | Zendy

Shaoying Liu | Zendy; Wuwei Shen | Zendy; Shin Nakajima | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A formal approach to testing programs in practice

Author(s) -

Shaoying Liu,

Wuwei Shen,

Shin Nakajima

Publication year - 2012

Publication title -

computer science and information systems

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.244

H-Index - 24

eISSN - 2406-1018

pISSN - 1820-0214

DOI - 10.2298/csis120301050l

Subject(s) - computer science , principal (computer security) , formal methods , programming language , software engineering , formal specification , test (biology) , code (set theory) , refinement , operating system , paleontology , set (abstract data type) , biology

A program required to be tested in practice often has no available source code for some reason and how to adequately test such a program is still an open problem. In this paper, we describe a formal specification-based testing approach to tackle this challenge. The principal idea is first to formalize the informal requirements into formal operation specifications that take the interface scenarios of the program into account, and then utilize the specifications for test case generation and test result analysis. An example and case study of applying the approach to an IC card system is presented to illustrate its usage and analyze its performance.

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