Browse Prior Art Database

# A METHOD FOR COMPUTING A MINIMUM TERNARY VECTOR RERESENTATION FOR BOOLEAN FUNCTIONS DEFINED BY INTERVALS

IP.com Disclosure Number: IPCOM000015968D
Original Publication Date: 2002-Aug-29
Included in the Prior Art Database: 2003-Jun-21
Document File: 1 page(s) / 36K

IBM

## Abstract

Ternary vectors are used to represent constraints in test generation software programs and many of these constraints are an entire set of integers in the range of two numbers [a,b] . Finding a small representation for constraints is a problem of this software. This invention solves the problem of finding a minimal set of ternary vectors that represent the entire set of integers in the range of two numbers [a,b]. For a detailed description see section 1 of attachment There is no known method to obtain a minimum representation. Current software in IBM (Genesys-Pro) uses a method which provides poorer results. Our method is always at least as good as the existing method and in some cases our methods provides results which are almost two times better than the existing method. For details see the attached file. IL8-2001-0033 was merged onto this one 1

This text was extracted from a PDF file.
This is the abbreviated version, containing approximately 100% of the total text.

Page 1 of 1

A METHOD FOR COMPUTING A MINIMUM TERNARY VECTOR RERESENTATION FOR BOOLEAN FUNCTIONS DEFINED BY INTERVALS

Ternary vectors are used to represent constraints in test generation software programs and many of these constraints are an entire set of integers in the range of two numbers [a,b] . Finding a small representation for constraints is a problem of this software. This invention solves the problem of finding a minimal set of ternary vectors that represent the entire set of integers in the range of two numbers [a,b]. For a detailed description see section 1 of attachment

There is no known method to obtain a minimum representation. Current software in IBM (Genesys-Pro) uses a method which provides poorer results. Our method is always at least as good as the existing method and in some cases our methods provides results which are almost two times better than the existing method. For details see the attached file. IL8-2001-0033 was merged onto this one

1