close Warning: Can't synchronize with repository "(default)" (/var/svn/mms does not appear to be a Subversion repository.). Look in the Trac log for more information.

Opened 16 years ago

Last modified 15 years ago

#76 closed task

Testeo de informacion a priori coherente: Dominio de la variable — at Initial Version

Reported by: lmperez Owned by: Pedro Gea
Priority: major Milestone: Release 0.6
Component: Tests Keywords:
Cc:

Description

Desagrego a petición de Jorge los diferentes casos de testeo de
información a priori coherente que subí en el ticket "Testeo de
informacion a priori coherente"

El dominio de la variable es básicamente comprobar que el mínimo es menor
que el máximo, y entre ellos está el valor inicial del muestreo. Teniendo
en cuenta que pueden ser omitidos (+- infinito)

Os escribo debajo el código en bsrlayer:

Logical intervals checking
Real li = Case(

And( BinEQ(sQry->min,?),

Not(BinEQ(sQry->ini,?)),
Not(BinEQ(sQry->max,?))), Real sQry->ini <= sQry->max,

And(Not(BinEQ(sQry->min,?)),

BinEQ(sQry->ini,?),

Not(BinEQ(sQry->max,?))), Real sQry->min < sQry->max,

And(Not(BinEQ(sQry->min,?)),

Not(BinEQ(sQry->ini,?)),

BinEQ(sQry->max,?)), Real sQry->min <= sQry->ini,

And(Not(BinEQ(sQry->min,?)),

Not(BinEQ(sQry->ini,?)),
Not(BinEQ(sQry->max,?))), Real And(sQry->min < sQry->max,

sQry->min <= sQry->ini,
sQry->ini <= sQry->max),

Real True,
Real True

);

Change History (0)

Note: See TracTickets for help on using tickets.