By Topic

An application of multiple-valued logic to test case generation for software system functional testing

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)

A multiple-valued input two-valued output logic system (MITOL) is proposed as a description language of software functionality for test case generation purpose. Based on the MITOL description of software functionality, test generation algorithms for multiple-valued logic circuits, such as path sensitization, can be used for test case generation for software system functional testing. The resulting minimum complete test set contains the minimum number of test cases to cover all logical stuck-at-faults. Finally, a comparison of this new method with traditional methods is presented

Published in:

Multiple-Valued Logic, 2001. Proceedings. 31st IEEE International Symposium on

Date of Conference: