A Formal Approach to Testing Programs in Practice

Computer Science and Information Systems

Shaoying Liu¹  Wuwei Shen²  Shin Nakajima³ 

[1] Department of Computer Science, Hosei University;Department of Computer Science, Western Michigan University;NII

关键词: Specification-based testing;    Formal specification;    Black-box testing;   

DOI  :  10.2298/CSIS120301050L

学科分类：社会科学、人文和艺术（综合）

来源: Computer Science and Information Systems

【 摘 要 】

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.

【 授权许可】

CC BY-NC-ND