Omega test

Omega test

The Omega test is a system written by William Pugh <pugh@cs.umd.edu> and others for performing symbolic manipulations of conjunctions of linear constraints over integer variables. The Omega test dependence analyser is a system built on top of the Omega test to analyse array data dependences.

Version 3.2.2 includes a fortran to tiny translator, a Tiny interpreter(?) and analysis tools.

ftp://ftp.cs.umd.edu/pub/omega. E-mail: <omega@cs.umd.edu>.
Mentioned in ?
References in periodicals archive ?
Omega Tests are those scripted and unscripted, supervised and un-supervised, demonstrations of systems operation in the field.
An Omega strategy broadens the responsibility as Omega Tests are funded through a myriad of single and combined sources, including component commanders; training and doctrine commands; research, logistics, and engineering activities; intelligence agencies; programs; and other Service acquisition agents.
OTAs plan, manage, and oversee Omega Tests as well as assess capability in the field, working with the users to vet future capabilities, upgrades, or changes to doctrine and CONOPS.