Browse Prior Art Database

Method and System for Managing Properties of Test Cases Disclosure Number: IPCOM000202183D
Publication Date: 2010-Dec-07
Document File: 2 page(s) / 46K

Publishing Venue

The Prior Art Database


A method and system for managing properties of test cases is disclosed. The method and system enables high throughput and coverage of test cases in processor verification and validation by dynamically changing attributes of the test cases.

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

Page 01 of 2

Method and System for Managing Properties of Test Cases

Disclosed is a method and system for controlling property type and property change

sequences in test cases. The method and system involves defining a property

sequence as P0, P1, P2, P3, P4 … Pn, where Px is a property type. P0 is an outer

most property type and Pn is innermost property type. Examples of these property

types may be Machine State Register (MSR) bits, Test Case (TC) regeneration,

Encoding Scheme identifiers (ESID) bits, Shuffle Instructions, and so forth.

For a given property sequence for a test case, the method involves controlling following


Property Change Sequence, which denotes a change sequence of the property type

which needs to be executed.

Horizontal Count, which denotes number of times a property type Px can be changed

before moving to a previous property Px-1.

Vertical Count, which denotes whether there is a need to remember current state of an

applied property type so that when the property type is revisited, previous state of the

property type can be retrieved.

For example, consider that there may be three bits of MSR which are set or unset

without affecting a test case result. When a horizontal count is two and vertical count is

zero, then only two bits are used. Next re-entry into this property type begins at the

start. So the third bit is never used. However, if the vertical count is set as one, then

next re-entry into the property type results in first setting the third bit then looping back

to the first bit.

In an instance, consider that each property type may be denoted as A(x,y), where x is

the horizontal count and y is the vertical count. Therefore, in an...