Improving software quality through a novel testing strategy

Author

Zeng, Xiaomu ; Tsai, Jeffrey J P ; Weigert, Thomas J.

Author_Institution

Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA

fYear

1995

fDate

9-11 Aug 1995

Firstpage

224

Lastpage

229

Abstract

A general approach to test case generation relying on a novel testing method is presented. We also evaluate theoretically how generated test cases will contribute to, for example, the verification criterion, when attempting to establish the correctness of a program. Our testing methods have much smaller complexity when applied to well structured programs of at least moderate size, and have better conformance, as compared to existing data flow coverage and control flow coverage oriented testing methods

Keywords

program testing; program verification; software quality; complexity; control flow coverage oriented testing methods; data flow coverage; generated test cases; novel testing strategy; program correctness; software quality; test case generation; verification criterion; well structured programs; Automatic testing; Computer science; Fault detection; Formal specifications; Logic testing; Mobile computing; Polynomials; Size control; Software quality; Software testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference, 1995. COMPSAC 95. Proceedings., Nineteenth Annual International

Conference_Location

Dallas, TX

ISSN

0730-3157

Print_ISBN

0-8186-7119-X

Type

conf

DOI

10.1109/CMPSAC.1995.524784

Filename

524784