Diagnostico de inconsistencia en contratos usando el diseño por contrato

  5HVXPHQ(O GLVHxR SRU FRQWUDWR SHUPLWH GHVDUUROODU DSOLFDFLRQHV PiV ILDEOHV \ UREXVWDV 8Q VRIWZDUH HV ILDEOH VL UHDOL]DVXWUDEDMRFRQIRUPHDXQDHVSHFLILFDFLyQ\HVUREXVWRVL HV FDSD] GH FRQWURODU ODV VLWXDFLRQHV DQRUPDOHV TXH SXHGDQ SURGXFLUVH(QHVWHDUWtFXORVHSURSRQHXQDPHWRGRORJtDSDUDOD GLDJQRVLV GH HUURUHV HQ HO VRIWZDUH EDVDGD HQ OD FRPELQDFLyQ GHO GLVHxR SRU FRQWUDWR OD GLDJQRVLV EDVDGD HQ PRGHORV \ OD SURJUDPDFLyQFRQUHVWULFFLRQHV/RVFRQWUDWRVHVWDEOHFLGRVHQHO GLVHxR HQ IRUPD GH DVHUWRV MXQWR FRQ XQD DEVWUDFFLyQ GHO FyGLJR IXHQWH VRQ WUDQVIRUPDGRV HQ UHVWULFFLRQHV IRUPDQGR HO PRGHORGHOVLVWHPD(VWDEOHFLHQGRXQDIXQFLyQREMHWLYR DGHFXDGD D HVWDV UHVWULFFLRQHV VH GHWHFWDQ TXp DVHUWRV R TXp EORTXHV GH FyGLJR VRQ LQFRUUHFWRV $ SDUWLU GHO FRQWUDWR VRIWZDUH \GHOFyGLJRIXHQWH VH SODQWHD XQSUREOHPDWtSLFRGH GLDJQRVLVSHURDSOLFDGRDOVRIWZDUH/DRULJLQDOLGDGGHOWUDEDMR UDGLFDHQHOPDSHRGHOFRQWUDWR\FyGLJRDUHVWULFFLRQHV\HQOD REWHQFLyQGHORVDVHUWRV\EORTXHVGHFyGLJRTXHKDFHQLQYLDEOHV ORV FRQWUDWRV HVWDEOHFLGRV 3DUD HOOR VH XWLOL]DQ WpFQLFDV GH UHVROXFLyQGHUHVWULFFLRQHV  ËQGLFHGH7pUPLQRVGLDJQRVLVEDVDGDHQPRGHORVGLVHxRSRU FRQWUDWRWHVWLQJUHVWULFFLRQHV ,, 1752'8&&,Ï1  (O GLVHxR GH VRIWZDUH SRU FRQWUDWR 'E&>@ SHUPLWH GHVDUUROODU DSOLFDFLRQHV PiV ILDEOHV \ UREXVWDV (O PD\RU FRPSRQHQWHGHFDOLGDGGHQWURGHOVRIWZDUHHVODILDELOLGDGHV GHFLU OD H[DFWLWXG FRQ OD TXH HO VLVWHPD UHDOL]D VX WUDEDMR FRQIRUPH D XQD HVSHFLILFDFLyQ 8Q VLVWHPD UREXVWR RIUHFH JDUDQWtDV GH SRGHU FRQWURODU ODV VLWXDFLRQHV DQRUPDOHV /D FDOLGDG GHO VRIWZDUH WRPD PD\RU UHOHYDQFLD HQ OD 22 2ULHQWDFLyQD2EMHWRVGHELGRDODUHXWLOL]DFLyQGHOVRIWZDUH 2WUD YHQWDMD GHO'E& FRQVLVWH HQ SHUPLWLU DOFDQ]DUFDVL GH IRUPDDXWRPiWLFDXQIUDPHZRUNSDUDWHVWDU\GHSXUDU (OXVRGH DVHUWRVHQ HO'E& SHUPLWH DSUR[LPDUQRVDXQ VRIWZDUH SRWHQFLDOPHQWH OLEUH GH HUURUHV (Q >@ VHUHDOL]D XQHVWXGLRGHOLPSDFWRTXHFRQOOHYDHOXVRGHORVDVHUWRVHQOD SURJUDPDFLyQ 3DUD HOOR VH GHILQHQ SULQFLSDOPHQWH GRV PpWULFDV/DUREXVWH]\ODGLDJQRVWLFDELOLGDG/DUREXVWH]VH    (VWHWUDEDMRKDVLGRSDUFLDOPHQWHILQDQFLDGRSRUHO0LQLVWHULRGH&LHQFLD\ 7HFQRORJtD GH (VSDxD '3,& \ HO (XURSHDQ 5HJLRQDO 'HYHORSPHQW)XQG(5'))('(5  5 &HEDOORV ) GH OD 5RVD 7 \ 6 3R]R SHUWHQHFHQ DO'HSDUWDPHQWR GH /HQJXDMHV \ 6LVWHPDV ,QIRUPiWLFRV 8QLYHUVLGDG GH 6HYLOOD (VFXHOD 7pFQLFD 6XSHULRUGH,QJHQLHUtD,QIRUPiWLFD$YHQLGD5HLQD0HUFHGHVVQ6HYLOOD 6SDLQHPDLOFHEDOORVIIURVDWVHUJLR#OVLXVHV GHILQHFRPRODFDSDFLGDGGHOVLVWHPDSDUDUHFXSHUDUVHGHXQ IDOOR/DGLDJQRVWLFDELOLGDGH[SUHVDHOHVIXHU]RQHFHVDULRSDUD ORFDOL]DUXQIDOORDVtFRPRODSUHFLVLyQREWHQLGDDOUHDOL]DUHO WHVWLQJ GHO VLVWHPD (VWH HVWXGLR SRQH GH UHOLHYH TXH OD UREXVWH] FUHFH UiSLGDPHQWH FRQ SRFRV FRQWUDWRV SHUR D VX YH] UHVXOWD PX\ FRVWRVR DOFDQ]DU OD UREXVWH] WRWDO 'HO HVWXGLRWDPELpQVHGHVSUHQGHTXHODFDOLGDGGHORVFRQWUDWRV PiV TXH OD FDQWLGDG LQIOX\H SRVLWLYDPHQWH HQ OD GLDJQRVWLFDELOLGDG (Q>@VHGHPXHVWUDTXHHOXVRGHFRQWUDWRVSHUPLWHXQ PD\RUDLVODPLHQWRGHORVIDOORVGHXQVLVWHPD(QOD22ODV GLIHUHQWHV IXQFLRQDOLGDGHV VH FRQVLJXHQ FRPELQDQGR ORV UHVXOWDGRV GH GLIHUHQWHV FRPSRQHQWHV OR TXH LPSOLFD XQD GLVWULEXFLyQ PD\RU GH ODV IXQFLRQDOLGDGHV \ XQD PD\RU FRPSOHMLGDG HQ ODV LQWHUDFFLRQHV /D HVSHFLILFDFLyQ GH ORV FRQWUDWRVGHEHHPSH]DUHQODHWDSDGHDQiOLVLVSRUHMHPSOR FUHDQGR FRQWUDWRV HQ 2&/ 2EMHFW &RQVWUDLQW /DQJXDJH (VWH PD\RU HVIXHU]R HQ OD FUHDFLyQ GH FRQWUDWRV PHMRUD ORV UHVXOWDGRVDODKRUDGHGHWHFWDU\ORFDOL]DUORVHUURUHV (Q HVWH DUWtFXOR VH SURSRQH XQD PHWRGRORJtD SDUD OD GLDJQRVLVGHHUURUHVHQHOVRIWZDUHSHUPLWLHQGRODGHWHFFLyQ GH HUURUHV HQ ORV FRQWUDWRV \ HQ HO FyGLJR IXHQWH /D LGHD SULQFLSDOFRQVLVWHHQFRQYHUWLUORVFRQWUDWRV\FyGLJRIXHQWHD UHVWULFFLRQHV \ SRVWHULRUPHQWH XWLOL]DU WpFQLFDV 0D[&63 0D[LPDO &RQVWUDLQW 6DWLVIDFWLRQ 3UREOHP SDUD REWHQHU OD GLDJQRVLVPtQLPD /DSURJUDPDFLyQFRQUHVWULFFLRQHVQRVSHUPLWHPRGHODU\ UHVROYHU SUREOHPDVUHDOHVFRPRXQFRQMXQWRGHUHVWULFFLRQHV HQWUHYDULDEOHV8QSUREOHPDGHVDWLVIDFFLyQGHUHVWULFFLRQHV VHGHILQHEDViQGRVHHQXQFRQMXQWRGHYDULDEOHV; ^;; ;Q` DVRFLDGDV D XQRV GRPLQLRV ' ^'''Q`\XQ FRQMXQWR GH UHVWULFFLRQHV & ^&&&P`&DGD UHVWULFFLyQ &LHVXQDWXSOD: L 5L GRQGH 5LHVXQDUHODFLyQ5 L⊆ 'Lxx'LNGHILQLGDSDUDHOVXEFRQMXQWRGHYDULDEOHV:L⊆; 6LWHQHPRVXQ&63HOREMHWLYRGHO0D[&63FRQVLVWHHQ HQFRQWUDU XQD DVLJQDFLyQ TXH VDWLVIDJD HO PD\RU Q~PHURGH UHVWULFFLRQHV \ TXH PLQLPLFH HO Q~PHUR GH UHVWULFFLRQHV YLRODGDV(OREMHWLYRGHODGLDJQRVLVFRQVLVWHHQHQFRQWUDUTXp VHQWHQFLDV DO VHU HMHFXWDGDV SURYRFDQ HO FRPSRUWDPLHQWR LQFRUUHFWRGHOSURJUDPD 3DUD OOHYDU D FDERHO SURFHVRGHGLDJQRVLVGH XQDIRUPD HILFLHQWH VH XWLOL]DQ WpFQLFDV GHWHVWLQJSDUDVHOHFFLRQDUTXp REVHUYDFLRQHV VRQ ODV PiV VLJQLILFDWLYDV \ DSRUWDQ PiV LQIRUPDFLyQ SDUD GHWHFWDU HUURUHV HQ ORV SURJUDPDV (Q >@ 'LDJQRVLVGHLQFRQVLVWHQFLDHQFRQWUDWRVXVDQGR HOGLVHxRSRUFRQWUDWR 5&HEDOORV)GHOD5RVD763R]R IEEE LATIN AMERICA TRANSACTIONS, VOL. 3, NO. 1, MARCH 2005 137 Authorized licensed use limited to: Universidad de Sevilla. Downloaded on February 17,2022 at 07:03:11 UTC from IEEE Xplore. Restrictions apply.  DSDUHFHQ ORV REMHWLYRV \ ODV FRPSOLFDFLRQHVTXHLPSOLFD XQ EXHQWHVWLQJ /DPD\RUtDGHODVDSUR[LPDFLRQHVGHVDUUROODGDVHQ GLDJQRVLV VRIWZDUH KDQ EDVDGR VX PHWRGRORJtD HQ HOXVRGH PRGHORV (O SUR\HFWR -$'( >@ LQYHVWLJD OD GLDJQRVLV VRIWZDUH GHVGH OD SHUVSHFWLYD GH OD 'HSXUDFLyQ %DVDGD HQ 0RGHORV 0RGHO %DVHG 'HEXJJLQJ 0%' (Q ORV WUDEDMRV UHODWLYRV D HVWH SUR\HFWRVHXVD XQPRGHORGHGHSHQGHQFLDV EDVDGR HQ HO FyGLJR IXHQWH (O PRGHOR UHSUHVHQWD ODV VHQWHQFLDV \ODVH[SUHVLRQHV FRPR VL IXHVHQ FRPSRQHQWHV \ ODV YDULDEOHV FRPR VL IXHVHQ ODV FRQH[LRQHV HQWUH FRPSRQHQWHV 6H WUDWD GH WUDQVIRUPDU FRQVWUXFWRV -DYD70D FRPSRQHQWHV /DV DVLJQDFLRQHV VHQWHQFLDV FRQGLFLRQDOHV EXFOHV HWF WLHQHQ VX FRUUHVSRQGLHQWH PpWRGR GH WUDQVIRUPDFLyQ 7DPELpQSDUDGLDJQRVLVGHVRIWZDUH\SUHYLDPHQWHDHVWRV WUDEDMRV IXH SURSXHVWD OD WpFQLFD 6OLFLQJ (VWD WpFQLFD LGHQWLILFD ORV FRQVWUXFWRV GHO FyGLJR IXHQWH TXH SXHGHQ LQIOXHQFLDUHOYDORUGHODVYDULDEOHVHQXQSXQWRGHWHUPLQDGR GHO SURJUDPD >@ 'LFLQJ >@ HV XQD H[WHQVLyQ GH HVWD WpFQLFD(QORV~OWLPRVDxRVQXHYRVPpWRGRV>@KDQVLGR GHVDUUROODGRV SDUD DXWRPDWL]DU HO SURFHVR GH GLDJQRVLV GH VRIWZDUH (O WUDEDMR TXH SUHVHQWDPRV PHMRUD \ H[WLHQGH DUWtFXORV DQWHULRUHVFRPR>@\>@HQYDULRVDVSHFWRV&RPR SULQFLSDOHVDSRUWDFLRQHVDSDUHFHQODFDSDFLGDGGHHYDOXDUVL XQ FRQWUDWR HV YLDEOH R QR \ OD FDSDFLGDG GH GHWHFWDU ODV LQFRPSDWLELOLGDGHVHQWUHHOFyGLJRIXHQWH\ORVFRQWUDWRV (ODUWtFXORHVWiGLYLGLGRHQODVVLJXLHQWHVSDUWHV3ULPHUR VHH[SRQHQDOJXQDVGHILQLFLRQHVQHFHVDULDV\SUHYLDVDOD H[SOLFDFLyQ GH OD PHWRGRORJtD \ D FRQWLQXDFLyQ VH SUHVHQWD XQ HMHPSOR VHQFLOOR GRQGH DSOLFDUHPRV OD PHWRGRORJtD (O SURFHVRGHGLDJQRVLVVHUHDOL]DHQGRVIDVHV8QDSULPHUDHQ ODTXHVyORVHWLHQHQHQFXHQWDORVFRQWUDWRVDVHUWRV\XQD VHJXQGD HQ OD TXH VH XWLOL]DQ DGHPiV ODV VHQWHQFLDV GHORV SURJUDPDV 3RU ~OWLPR VH SUHVHQWDQ ODV FRQFOXVLRQHV \ WUDEDMRVIXWXURV ,,1 27$&,Ï1<'(),1,&,21(6  'HILQLFLyQ  $VHUWR LQYLDEOH $, 8Q FRQWUDWR VRIWZDUH HVWiIRUPDGRSRUXQFRQMXQWRGHDVHUWRVTXHGHEHQFXPSOLUVH GHQWUR GH OD WUD]D GH XQ SURJUDPD 8Q DVHUWR LQYLDEOH VHUi DTXHOTXHQRSXHGHFXPSOLUVHSRUTXHHQWUDHQFRQWUDGLFFLyQ FRQDVHUWRVRLQVWUXFFLRQHVTXHIRUPDQSDUWHGHODWUD]DDQWHV RGHVSXpVGHGLFKRDVHUWR 'HILQLFLyQ(UURUHQHOFyGLJRIXHQWHEXJ8QEXJVHUi XQD R YDULDV VHQWHQFLDV GHO FyGLJR IXHQWH TXH LPSLGHQ DOFDQ]DU ORV UHVXOWDGRV HVSHFLILFDGRV FRPR FRUUHFWRV /RV HUURUHVTXHFRQWHPSODUHPRVVHUiQDTXHOORVTXHVXUJHQFRPR XQD SHTXHxD YDULDFLyQ GHO SURJUDPD FRUUHFWR FRPR SRU HMHPSOR HUURUHV HQ ODV JXDUGDV GH EXFOHV R VHQWHQFLDV VHOHFWLYDVRHUURUHVHQODDVLJQDFLyQDYDULDEOHV(VWHDUWtFXOR QR WLHQH HQ FXHQWD OR TXH VHUtDQ HUURUHV HQ WLHPSR GH FRPSLODFLyQ FRPR HUURUHV HQ OD VLQWD[LV R VHPiQWLFD GHO OHQJXDMHQLORV HUURUHVGLQiPLFRVWDOHVFRPRH[FHSFLRQHV YLRODFLRQHVGHDFFHVRDPHPRULDEXFOHVLQILQLWRVHWF 'HILQLFLyQ  &DVR GH 7HVW &7`6HUiXQFRQMXQWRGH YDORUHVSDUDODVYDULDEOHVRSDUiPHWURVGHHQWUDGDGHOFyGLJR REWHQLGRVDWUDYpVGHWpFQLFDVGHWHVWLQJ/DVVDOLGDVFRUUHFWDV GHO FyGLJR YHQGUiQ GDGDV SRU ORV DVHUWRV VL HO GLVHxR SRU FRQWUDWR HV OR VXILFLHQWHPHQWH IXHUWH VL HVWR QR VXFHGH XQ H[SHUWRHVTXLHQGHEHGHFLGLUTXpVDOLGDVVRQODVFRUUHFWDV 'HILQLFLyQ7UD]D/DHMHFXFLyQGHXQSURJUDPDGHSHQGH GHO&7HVFRJLGR/DVVHQWHQFLDVVHOHFWLYDVEXFOHV\OODPDGDV D PpWRGRVSHUPLWHQ LQFRUSRUDUGLIHUHQWHVLQVWUXFFLRQHVD OD WUD]D GHO SURJUDPD HQ IXQFLyQ GHODV FRQGLFLRQHV LQLFLDOHV 3RUWDQWRSDUDGLIHUHQWHVHQWUDGDVHVSRVLEOHTXHODVHFXHQFLD GH VHQWHQFLDV HMHFXWDGDV VHD GLIHUHQWH /D VHFXHQFLD GH LQVWUXFFLRQHVTXHVHHMHFXWHQIRUPDUiQORTXHGHQRPLQDUHPRV WUD]D 'HILQLFLyQ  0RGHOR GH UHVWULFFLRQHV GHO SURJUDPD 053(O053HVWiIRUPDGRSRUXQDUHGGHUHVWULFFLRQHV&\ XQ FRQMXQWR GH YDULDEOHV 9 FRQ VXV GRPLQLRV /D UHG GH UHVWULFFLRQHVVHREWLHQHDSDUWLUGHORVDVHUWRVGHOFRQWUDWR VRIWZDUH\GHOFyGLJRIXHQWH(O053SHUPLWHWHQHUXQ PRGHOR GHO FRPSRUWDPLHQWR TXH WHQGUi HO SURJUDPD (O Q~PHUR GH UHVWULFFLRQHV TXH VH LQFRUSRUDQ DO 053GHSHQGH GHODWUD]D 'HILQLFLyQ  5HVWULFFLRQHV GH VDWLVIDFFLyQ FRQFUHWDGD UHLILHG FRQVWUDLQWV /DV UHVWULFFLRQHV GH VDWLVIDFFLyQ FRQFUHWDGD SRVHHQ XQ YDORU GH YHUGDG DVRFLDGR D OD VDWLVIDFFLyQRQRGHFDGDUHVWULFFLyQ 'HILQLFLyQ  3UREOHPD GH UHVWULFFLRQHV GH VDWLVIDFFLyQ FRQFUHWDGD5&635HLILHG&RQVWUDLQW6DWLVIDFWLRQ3UREOHP 6HGHILQHFRPRXQSUREOHPDGHVDWLVIDFFLyQGHUHVWULFFLRQHV &63 HQ HO FXDO H[LVWHQ UHVWULFFLRQHV GH VDWLVIDFFLyQ FRQFUHWDGD 'HILQLFLyQ3UREOHPDGHPD[LPL]DFLyQGHUHVWULFFLRQHV 0D[&63 0D[LPDO &RQVWUDLQW 6DWLVIDFWLRQ 3UREOHP (O REMHWLYRGHXQ0D[&63FRQVLVWHHQHQFRQWUDUXQDDVLJQDFLyQ TXH VDWLVIDJD HO PD\RU Q~PHUR GH UHVWULFFLRQHV \ TXH PLQLPLFHHOQ~PHURGHUHVWULFFLRQHVYLRODGDV 'HILQLFLyQ  'LDJQRVLV 6HUi HO FRQMXQWR GH DVHUWRV R VHQWHQFLDV TXH SURYRFDQ HO FRPSRUWDPLHQWR DQyPDOR GHO SURJUDPD\TXHSRUWDQWRGHEHQVHUPRGLILFDGRV 'HILQLFLyQ  'LDJQRVLV PtQLPD 6HUi OD GLDJQRVLV TXH LPSOLFDPRGLILFDUHOPHQRUQ~PHURGHDVHUWRVRVHQWHQFLDVGH XQ SURJUDPD SDUD ORJUDU HO FRPSRUWDPLHQWR GHILQLGR FRPR FRUUHFWR ,,,( -(03/2  3DUD FODULILFDU ODV H[SOLFDFLRQHV VH XVDUi OD FODVH &XHQWD%DQFR,PSTXHLPSOHPHQWDODLQWHUID]&XHQWD%DQFR (VWDLQWHUID]PRGHODXQDFXHQWDEDQFDULDHQODFXDOSRGHPRV UHDOL]DU LQJUHVRV \ UHWLUDU FDSLWDO (O FyGLJR IXHQWH LQFOX\HQGRODHVSHFLILFDFLyQGHORVFRQWUDWRVVHPXHVWUDHQOD ILJXUD  (O PpWRGR LQJUHVDU VH KD DOWHUDGR GH IRUPD LQWHQFLRQDGD SDUD TXH GHFUHPHQWH HO VDOGR HQ OXJDU GH 138 IEEE LATIN AMERICA TRANSACTIONS, VOL. 3, NO. 1, MARCH 2005 Authorized licensed use limited to: Universidad de Sevilla. Downloaded on February 17,2022 at 07:03:11 UTC from IEEE Xplore. Restrictions apply.    /** * @inv getSaldo()>= 0 */ interface CuentaBanco { /** * @pre ingreso > 0 * @post getSaldo() >= 0 */ public void ingresar (double ingreso); /** * @pre cantidad > 0 * @post getSaldo() == * getSaldo()@pre - cantidad */ public void retirar (double cantidad); public double getSaldo (); } class CuentaBancoImp implements CuentaBanco { private double interes; private double saldo; public CuentaBancoImp() { this.saldo = 0; } public void ingresar (double ingreso) { this.saldo = this.saldo - ingreso; } public void retirar (double cantidad) { this.saldo = this.saldo - cantidad; } public double getSaldo() { return this.saldo; } }   )LJ&yGLJRIXHQWHGHODFODVH&XHQWD%DQFR,PS\GHODLQWHUID]&XHQWD%DQFR  GHLQFUHPHQWDUOR(VWHHUURUVHUiGLDJQRVWLFDGRPiVDGHODQWH ,9' (7(50,1$&,Ï1'(/26%/248(6%È6,&26  /D GLDJQRVLV EDVDGD HQ PRGHORV >@ QHFHVLWD JHQHUDU XQ PRGHOR GH OD UHDOLGDG SDUD GHWHFWDU LQFRQVLVWHQFLDV (O PRGHOR GHO VLVWHPD UHSUHVHQWD ORV FRPSRQHQWHV LQWHUFRQHFWDGRVHQWUHVt(OVLVWHPDRIUHFHXQDIXQFLRQDOLGDG HQFRQMXQWRGHELGRDODIRUPDHQTXHHVWiQFRQHFWDGRVORV FRPSRQHQWHV \ GHELGR DO FRPSRUWDPLHQWR HVSHFLILFDGR GH FDGDXQRGHORVFRPSRQHQWHV (Q QXHVWURFDVR SUHWHQGHPRV UHDOL]DUODGLDJQRVLVGHXQ SURJUDPD3DUDDOFDQ]DUXQDGHWHUPLQDIXQFLRQDOLGDGFRQXQ SURJUDPD 22 GHEHPRV LQWHUFRQHFWDU ODV OODPDGDV HQWUH ORV GLIHUHQWHV PpWRGRV TXH IRUPDQ ODV FODVHV R FRPSRQHQWHV VRIWZDUH &DGD PpWRGR VH SXHGH FRQVLGHUDU FRPR XQ VXEVLVWHPDTXHJHQHUDXQDIXQFLRQDOLGDGGHWHUPLQDGDGHELGR D ODV HQWUDGDV TXH UHFLEH \ D ORV DWULEXWRV GHO REMHWR TXH GHILQHQ HO HVWDGR GHO REMHWR $O HMHFXWDU XQ SURJUDPD HVWDPRV LQWHUFRQHFWDQGR GLIHUHQWHV VHQWHQFLDV ORJUDQGR REWHQHUXQDGHWHUPLQDGDIXQFLRQDOLGDG\IRUPDQGRORTXHVH OODPDODWUD]DGHOSURJUDPD 3DUD UHDOL]DU OD GLDJQRVLV HV QHFHVDULR UHFRQRFHU GHO SURJUDPD FXiOHV VRQ ORV EORTXHV GH VHQWHQFLDV TXH GHSHQGLHQGR GH OD WUD]D VH LQWHUFRQHFWDUiQ GH XQD X RWUD IRUPD&XDOTXLHUDSOLFDFLyQ22VHFRPSRQHGHXQFRQMXQWR GHFODVHVSRUWDQWRHOSULPHUSDVRFRQVLVWHHQORFDOL]DUFXiOHV VRQODVFODVHVLPSOLFDGDVHQODHMHFXFLyQGHXQSURJUDPD$ SDUWLU GH FDGD XQD GH ODV FODVHV VH REWHQGUi XQD VHULH GH EORTXHVGHORVWLSRV • %ORTXHGHLQYDULDQWHVGHODFODVH&RPSXHVWRSRUORV DVHUWRV TXH GHEHQ FXPSOLUVH HQ FXDOTXLHU PRPHQWR GHQWURGHXQREMHWR • %ORTXH GH DWULEXWRV GH OD FODVH ,QFOX\HQGR ODV GHFODUDFLRQHVGHORVDWULEXWRVHVWiWLFRVGHODFODVH • %ORTXH GH DWULEXWRV GH ORV REMHWRV ,QFOXLUi ODV GHFODUDFLRQHVGHORVDWULEXWRVQRHVWiWLFRV • %ORTXH PpWRGR R FRQVWUXFWRU )RUPDGR SRU ODV GHFODUDFLRQHV \ VHQWHQFLDV LQFOXLGDV HQ HO PpWRGR R FRQVWUXFWRU DVt FRPR ORVDVHUWRV DVRFLDGRVDO EORTXH SUHFRQGLFLyQ\SRVWFRQGLFLyQSRUHMHPSOR $ VX YH] FDGD XQR GH ORV EORTXHV PpWRGR R FRQVWUXFWRU FRQWHQGUiEORTXHVGHORVWLSRV • %ORTXHV FRQGLFLRQDOHV &RPSXHVWRV SRU XQ EORTXH SDUDFDGDXQDGHODVDOWHUQDWLYDVSRVLEOHVVHJXLGRGH ODVVHQWHQFLDVDHMHFXWDUHQFDGDFRQGLFLyQ • %ORTXHV WLSR EXFOH &RPSXHVWRV SRU XQ EORTXH SDUD FDGD XQD GH ODV LWHUDFLRQHV TXH VH SURGX]FDQ (O Q~PHUR GHLWHUDFLRQHV VyOR HV FRQRFLGR HQWLHPSRGH HMHFXFLyQ &DGDXQRGHORVEORTXHVSXHGHFRQWHQHUDVLJQDFLRQHVTXH VHUiQFRQVLGHUDGDVFRPREORTXHVLQGLYLVLEOHV/DVOODPDGDVD PpWRGRV \ FUHDFLyQ GH REMHWRV SHUPLWH GHGXFLU FXiO HV HO RUGHQHQTXHORVGLIHUHQWHVEORTXHVVHHQOD]DQ 9' ,$*126,6%$6$'$(1$6(5726  (O SURFHVR GH GLDJQRVLV VH UHDOL]D HQ GRV IDVHV XQD SULPHUDHQODTXHVyORVHWLHQHQHQFXHQWDORVFRQWUDWRV\XQD VHJXQGD HQ OD TXH HQWUDQ HQ MXHJR ODV VHQWHQFLDV GH ORV SURJUDPDV PiV ORV DVHUWRV GH ORV FRQWUDWRV (Q OD SULPHUD IDVHSRGHPRVGLVWLQJXLUSUXHEDVHQODVTXHVHXWLOL]DQFDVRV GHWHVW\SUXHEDVHQODVTXHQR 3DUDFRPSUREDUTXHORVDVHUWRVGHOFRQWUDWRVRQYLDEOHVVH LUiQ IRUPDQGR JUXSRV GH UHVWULFFLRQHV GH VDWLVIDFFLyQ FRQFUHWDGDTXHIRUPDUiQXQ5&63GRQGHFDGDDVHUWRHVWDUi DVRFLDGR D XQD YDULDEOH ERROHDQD GHQRPLQDGD YDULDEOH GH VDWLVIDFFLyQ (O REMHWLYR VHUi TXH HO Pi[LPR Q~PHUR GH DVHUWRV DOFDQFHQ XQ YDORU YHUGDGHUR HQ OD YDULDEOH GH VDWLVIDFFLyQ HV GHFLU LQWHQWDU TXH WRGRV ORV DVHUWRV VHDQ YLDEOHV VHFXHQFLDOPHQWH 3DUD PD[LPL]DU HO Q~PHUR GH DVHUWRV VDWLVIDFWLEOHV OD E~VTXHGD VH FRQFUHWD HQ OD GHQRPLQDGDIXQFLyQREMHWLYRTXHMXQWRDO5&63IRUPDUiXQ SUREOHPD0D[&638WLOL]DQGRXQUHVROXWRUGHUHVWULFFLRQHV GUERRERO et al.: DIAGNOSIS OF INCONSISTENCY 139 Authorized licensed use limited to: Universidad de Sevilla. Downloaded on February 17,2022 at 07:03:11 UTC from IEEE Xplore. Restrictions apply.  VHREWHQGUiQODVGLIHUHQWHVVROXFLRQHV6LWRGDVODVYDULDEOHV GHVDWLVIDFFLyQDOFDQ]DQHOYDORUYHUGDGHURLPSOLFDTXHWRGDV ODV UHVWULFFLRQHV VRQ YLDEOHV HQ FRQMXQWR 6L QR HO SURSLR 0D[&63 RIUHFHUi FRPR UHVXOWDGR HO Q~PHUR PtQLPR GH UHVWULFFLRQHV TXH GHEHQ PRGLILFDUVH HO SDVR D ORV DVHUWRV DVRFLDGRVDHVDVUHVWULFFLRQHVHVGLUHFWR /DV UHVWULFFLRQHV JHQHUDGDV SXHGHQ VHU HYDOXDGDV SRU HO UHVROXWRUGHO&63HQFXDOTXLHURUGHQSRUWDQWRVHUiQHFHVDULR WUDQVIRUPDU ODV UHVWULFFLRQHV GHULYDGDV GH ORV DVHUWRV UHDOL]DQGRXQUHQRPEUDQGRGHODVYDULDEOHV&RQHVWHSDVRVH FRQVLJXHVLPXODUODHYDOXDFLyQVHFXHQFLDOGHORVDVHUWRV\D TXHFDGDUHVWULFFLyQVyORFRQWLHQHYDULDEOHVHQFRP~QFRQODV TXHDSDUHFHQHQODVUHVWULFFLRQHVDQWHULRUHV $ WUDYpV GH OD SURJUDPDFLyQ FRQ UHVWULFFLRQHV SRGHPRV GHWHFWDUVLXQFRQMXQWRGHDVHUWRVHVYLDEOHRQRHQIXQFLyQ GHVLH[LVWHRQRXQDSRVLEOHVROXFLyQSDUDHOVLVWHPD $'LDJQRVLVEDVDGDHQDVHUWRV\VLQFDVRVGHWHVW /DVFRPSUREDFLRQHVDUHDOL]DUVHUiQ • &RPSUREDFLyQGHWRGRVORVLQYDULDQWHVHQFRQMXQWRGH XQD FODVH /RV LQYDULDQWHV GH XQD FODVH GHEHQ FXPSOLUVHVLHPSUHSRUWDQWRVHJHQHUDUiXQ0D[&63 FRQORVLQYDULDQWHVGHFDGDFODVH • &RPSUREDFLyQ GH ORV DVHUWRV GH ORV PpWRGRV &DGD XQR GH ORV DVHUWRV GH XQ PpWRGR SUHFRQGLFLyQ R SRVWFRQGLFLyQSRUHMHPSORGHEHVHUFRPSDWLEOHFRQHO FRQMXQWRGHLQYDULDQWHVGHODFODVHTXHFRQWLHQHHO PpWRGR 3RU FDGD DVHUWR PiV HO FRQMXQWR GH LQYDULDQWHVSRGUHPRVJHQHUDUXQ0D[&63 &DGD XQR GH ODV FRPSUREDFLRQHV UHDOL]DGDV QRV DSRUWD XQRV GRPLQLRV SRVLEOHV SDUD ORV DWULEXWRV \ YDULDEOHV GHO VLVWHPD (VRV GRPLQLRV VRQ YDOLRVRV SDUD JHQHUDU FDVRV GH WHVW HQ ORV VLJXLHQWHV DSDUWDGRV (OREMHWLYRHQ HVWD SULPHUD IDVHHVGREOH3RUXQDSDUWHGLDJQRVWLFDUODYLDELOLGDGGHORV DVHUWRV TXH IRUPDQ HO FRQWUDWR VRIWZDUH < SRU RWUD SDUWH SDUDODGLDJQRVLVEDVDGDHQFDVRVGHWHVWHQFRQWUDUFXiOHVVRQ ORVGRPLQLRVSRVLEOHVSDUDGLFKRVFDVRVGHWHVW  7$%/$, ' ,$*126,6'(/0e72'25(7,5$5&21 & $62'( 7 (67  (QWUDGDVGHO&7 VDOGR#SUH FDQWLGDG! ,QYDULDQWH 3UHFRQGLFLyQ 3RVWFRQGLFLyQ ,QYDULDQWH VDOGR#SUH!  6$ FDQWLGDG! 6$ VDOGR VDOGR#SUHFDQWLGDG 6$ VDOGR!  6$ 6DOLGDVGHO&7 VDOGR    %'LDJQRVLVEDVDGDHQDVHUWRV\FRQFDVRVGHWHVW $SOLFDQGRGLIHUHQWHVFDVRVGHWHVWDODVHFXHQFLDIRUPDGD SRU ^LQYDULDQWHV  SUHFRQGLFLyQ  SRVWFRQGLFLyQ  LQYDULDQWHV` HQ FDGD XQR GH ORV PpWRGRVSRGUHPRVREWHQHU PiVLQIRUPDFLyQVREUHODYLDELOLGDGGHORVPpWRGRV3RUFDGD SUHFRQGLFLyQ\SRVWFRQGLFLyQPiVHOFRQMXQWRGHLQYDULDQWHV VHSRGUiJHQHUDUXQ0D[&63/DVYDULDEOHVGHVDWLVIDFFLyQ DVRFLDGDVDORVDVHUWRVODVQRPEUDUHPRVHPSH]DQGRSRU6$  (OREMHWLYRHVLQWHQWDUTXHWRGRVORVDVHUWRVVHFXPSODQ\ VLQRHVSRVLEOHLQWHQWDUGHWHUPLQDUTXpDVHUWRHVLQYLDEOH(Q OD  WDEOD  DSDUHFH OD WUDQVIRUPDFLyQ D UHVWULFFLRQHV GH OD HVSHFLILFDFLyQ GHO FRQWUDWR GHO PpWRGR UHWLUDU $SDUHFHQ FXDWUR UHVWULFFLRQHV DVRFLDGDV D FXDWUR YDULDEOHV GH VDWLVIDFFLyQ /DV FXDWUR UHVWULFFLRQHV FRUUHVSRQGHQ DO LQYDULDQWH DQWHV GH OD SUHFRQGLFLyQ OD SUHFRQGLFLyQ OD SRVWFRQGLFLyQ\HOLQYDULDQWHWUDVODSRVWFRQGLFLyQ(OFDVRGH WHVWXWLOL]DGRFRUUHVSRQGHFRQXQVDOGRLQLFLDOGHXQLGDGHV\ XQ LQWHQWR GH UHWLUDU XQD FDQWLGDG SRVLWLYD GDQGR FRPR UHVXOWDGRTXHHOVDOGRGHEHVHJXLUVLHQGR (QHVWHHMHPSORUHVXOWDLPSRVLEOHTXHWRGRVORVDVHUWRVVH FXPSODQ D OD YH] GHELGR D OD HVSHFLILFDFLyQ GH OD SRVWFRQGLFLyQ6LREVHUYDPRVHOVDOGRWLHQHTXHVHUPD\RUR LJXDOTXHFHURDOILQDOGHOPpWRGRSHURFXPSOLUHOLQYDULDQWH LPSOLFD TXH OD SUHFRQGLFLyQ \ OD SRVWFRQGLFLyQ QR SXHGHQ FXPSOLUVH D OD YH] /D SRVWFRQGLFLyQ REOLJD D FXPSOLU VDOGR VDOGR#SUHFDQWLGDGRORTXHHVORPLVPRVLVH FXPSOHQHOUHVWRGHUHVWULFFLRQHVHVHTXLYDOHQWHDVXSRQHUTXH FDQWLGDG!DOJRQRVDWLVIDFWLEOHVLFDQWLGDGHVSRVLWLYR (O SUREOHPD UDGLFD HQ TXH OD SUHFRQGLFLyQ QR HV OR VXILFLHQWHPHQWH IXHUWH FRPR SDUD LPSHGLU OOHJDU D OD SRVWFRQGLFLyQHVGHFLUQREDVWDFRQTXHODFDQWLGDGDUHWLUDU VHDSRVLWLYDHVQHFHVDULRDGHPiVTXHVHDPHQRUDOVDOGRTXH HQHVHPRPHQWRWLHQHODFXHQWD /D VROXFLyQ JHQHUDO SDUD HVWRV FDVRV VHUi UHIRU]DU OD SUHFRQGLFLyQ R ELHQ GHELOLWDU OD SRVWFRQGLFLyQ2WUD RSFLyQ VHUtDPRGLILFDUHOLQYDULDQWHSHUPLWLHQGRTXHHOVDOGRGHOD FXHQWDDGPLWLHUDYDORUHVQHJDWLYRV'HSHQGLHQGRGHOFDVRXQD XRWUDVROXFLyQVHUiODFRUUHFWD 9,' ,$*126,686$1'2$6(5726<&Ï',*2)8(17(  $*HQHUDFLyQGHOFDVRGHWHVW\DXGLWRULDGHODWUD]D /RVFDVRVGHWHVWTXHVHXVDUiQVHEDVDUiQHQORVGRPLQLRV REWHQLGRV HQ HO DSDUWDGR DQWHULRU /DV WpFQLFDV GH WHVWLQJ SHUPLWHQ VHOHFFLRQDU TXp REVHUYDFLRQHV VRQ ODV PiV VLJQLILFDWLYDV \ DSRUWDQ PiV LQIRUPDFLyQ SDUD GHWHFWDU ORV HUURUHVHQORVSURJUDPDVSRUWDQWRVXXVRSHUPLWLUiOOHYDUD FDER HO SURFHVR GH GLDJQRVLV GH XQD IRUPD PiV FHUWHUD \ HILFLHQWH 8QDYH]JHQHUDGRHOFDVRGHWHVWVHHMHFXWDHOSURJUDPDGH IRUPD FRQWURODGD DOPDFHQDQGR TXp EORTXHV EiVLFRV VH KDQ HMHFXWDGR\HQTXpRUGHQ6HWUDWDGHDXGLWDUODWUD]DTXHKD VHJXLGRHOSURJUDPDLQFOX\HQGRORVDVHUWRVSRUORVTXHVHKD SDVDGR \ VH KDQ YHULILFDGR /DV OODPDGDV HQWUH PpWRGRV SHUPLWHQ HQOD]DU EORTXHV EiVLFRV GH FyGLJR TXH HQ VX FRQMXQWR IRUPDQ OD WUD]D GHO SURJUDPD /D WUD]D VHJXLGD GHSHQGHUi GHO &7 OODPDGDV HQWUH PpWRGRV \ GH ODV FRQGLFLRQHVGHEXFOHV\VHQWHQFLDVVHOHFWLYDV&DGDYH]TXHVH KDJDUHIHUHQFLDDXQDFODVHSRUSULPHUDYH]VHGHEHHMHFXWDU HOEORTXHGHDWULEXWRVGHODFODVH,JXDOPHQWHFDGDYH]TXHVH KDJDUHIHUHQFLDDOFRQVWUXFWRUGHXQDFODVHVHGHEHHMHFXWDUHO EORTXHGHDWULEXWRVGHOREMHWRDVRFLDGRDGLFKDFODVH 140 IEEE LATIN AMERICA TRANSACTIONS, VOL. 3, NO. 1, MARCH 2005 Authorized licensed use limited to: Universidad de Sevilla. Downloaded on February 17,2022 at 07:03:11 UTC from IEEE Xplore. Restrictions apply.  (OVLJXLHQWHSDVRFRQVLVWHHQWUDQVIRUPDUODVHFXHQFLDGH VHQWHQFLDV GH WDO IRUPD TXH QR VH SHUPLWDQ GRV VHQWHQFLDV TXHDVLJQHQXQYDORUDODPLVPDYDULDEOH(VWHSDVRHVSUHYLR \ QHFHVDULR SDUD JHQHUDU ODV UHVWULFFLRQHV \D TXH SHUPLWH DOPDFHQDU WRGRV ORV YDORUHV SRU ORV TXH KD SDVDGR XQD YDULDEOHHQ ODHMHFXFLyQ GHOFyGLJRDGLDJQRVWLFDU\VXYH] SHUPLWH VLPXODU OD HYDOXDFLyQ VHFXHQFLDO GHO FyGLJR IXHQWH 6HUiQHFHVDULRGLVWLQJXLUHQWUHORVTXHVRQDWULEXWRVGHFODVH GHREMHWR\YDULDEOHVORFDOHV\DTXHHOWUDWDPLHQWRGHEHWHQHU HQFXHQWDKDVWDGyQGHOOHJDODYLVLELOLGDGGHHVWDVYDULDEOHV %2EWHQFLyQGHODVUHVWULFFLRQHV /DV UHVWULFFLRQHV TXH VH REWHQJDQ GH ORV DVHUWRV GHO FRQWUDWR \ GHO FyGLJR IXHQWH IRUPDUiQ ODV UHVWULFFLRQHV GHO SURJUDPD/DVUHVWULFFLRQHVGHO'E&VHREWHQGUiQ GLUHFWDPHQWHGHORVDVHUWRV3DUDREWHQHUODVUHVWULFFLRQHVGHO FyGLJRIXHQWHWUDQVIRUPDUHPRVODVVHQWHQFLDVTXHIRUPDQORV EORTXHVEiVLFRVDUHVWULFFLRQHV (OSDVRGHVHQWHQFLDVGHOFyGLJRIXHQWHDUHVWULFFLRQHVHV DOJRTXH\DVHKDSUHVHQWDGRHQDQWHULRUHVWUDEDMRVFRPR>@ \>@TXHSXHGHQVHUUHYLVDGRVSDUDXQDPD\RUFRQFUHFLyQ $FRQWLQXDFLyQPRVWUDPRVXQUHVXPHQGHORVSDVRVDVHJXLU • %ORTXHVEiVLFRVLQGLYLVLEOHV $VLJQDFLRQHV^,GHQW ([S` $SDUWLUGHODVHQWHQFLDGHDVLJQDFLyQREWHQGUHPRVOD UHVWULFFLyQ ^666$VLJ ,GHQW ([S` GRQGH 666$VLJ UHSUHVHQWDODVDWLVIDFFLyQGHODUHVWULFFLyQ,GHQW ([S &RQHVWDUHVWULFFLyQLQGLFDPRVTXHVLODVHQWHQFLD6$VLJ QRIRUPDSDUWHGHODGLDJQRVLVPtQLPDWUDVOD HMHFXFLyQGH6$VLJGHEHFXPSOLUVHODLJXDOGDGHQWUHOD YDULDEOHDVLJQDGD\ODH[SUHVLyQTXHVHDVLJQD /ODPDGDVDPpWRGRV3DUDFDGDOODPDGDDXQPpWRGR DxDGLUHPRV ODV UHVWULFFLRQHV GHILQLGDV HQ OD SUHFRQGLFLyQ\ODSRVWFRQGLFLyQGHOPpWRGR&XDQGR QRV HQFRQWUHPRV DQWH XQD PpWRGR UHFXUVLYR ODV OODPDGDV LQWHUQDV DO PpWRGR UHFXUVLYR GHEHQ VXSRQHUVH YiOLGDV SDUD SRGHU OOHYDU D FDER OD YHULILFDFLyQIRUPDOGHODVOODPDGDVUHFXUVLYDV • %ORTXHV FRQGLFLRQDOHV ^LI FRQG ^%ORTXH,I` HOVH ^%ORTXH(OVH`` /DV WUD]DV SRVLEOHV VRQ SDUD XQD VHQWHQFLD FRQGLFLRQDOGRVVHJ~QVHFXPSODRQRODFRQGLFLyQGH ODJXDUGD'HSHQGLHQGRGHO&7LUHPRVSRUXQDWUD]D X RWUD /DV UHVWULFFLRQHV TXH VH REWHQGUiQ GH XQD VHQWHQFLD FRQGLFLRQDO LQFOXLUiQ OD FRQGLFLyQ GH OD JXDUGD TXH VH FXPSOD PiV ODV UHVWULFFLRQHV TXH VH REWHQJDQ GH ODV VHQWHQFLDV GHOEORTXH TXH VHHMHFXWH VHJ~QODWUD]DVHJXLGD • %ORTXHVWLSREXFOH^ZKLOHFRQG^6HQWHQFLDV%XFOH`` (OSULQFLSDOSUREOHPDYLHQHGDGRHQODLPSRVLELOLGDG GH HVWDEOHFHU XQD FRWD SDUD HOQ~PHUR GH YHFHV TXH GHEH LWHUDU XQ EXFOH \D TXH GHSHQGHUi GHO &7 /D HVWUXFWXUDGHXQEXFOHSXHGHVHUVLPXODGDDWUDYpVGH YDULDVVHQWHQFLDVVHOHFWLYDVDQLGDGDV&DGDXQDGHODV LWHUDFLRQHV VHUtD WUDQVIRUPDGD D XQD VHQWHQFLD VHOHFWLYD HQ OD TXH DGHPiV GH OD FRQGLFLyQ GH ILQDOL]DFLyQGHOEXFOHWHQGUtDPRVTXHWHQHUHQFXHQWD TXH SUHYLDPHQWH VH KDQ HMHFXWDGR ODV LWHUDFLRQHV DQWHULRUHVGHIRUPDVHFXHQFLDO\HQHORUGHQSUHYLVWR (Q>@VHSURSRQHXQDWpFQLFDSDUDUHGXFLUHOPRGHOR D PHQRV GH Q LWHUDFLRQHV \ REWHQHU XQD PD\RU HILFLHQFLDHQHOSURFHVRGHGLDJQRVLV &2EWHQFLyQGHO053 8QD YH] WUDQVIRUPDGRV ORV DVHUWRV \ VHQWHQFLDV D UHVWULFFLRQHVHOVLJXLHQWH SDVRFRQVLVWHHQREWHQHUTXpSDUWH GHO FyGLJR R TXp DVHUWRV LPSLGHQ REWHQHU HO UHVXOWDGR HVSHUDGR$SDUWLUGHOFDVRGHWHVWVHKDDXGLWDGRODWUD]DGHO SURJUDPDHStJUDIH9,SXQWR$REWHQLHQGRODVHFXHQFLDGH VHQWHQFLDV HMHFXWDGDV \ DVHUWRV YHULILFDGRV &RQ OD WUD]D HV SRVLEOHFUHDUXQ5&63FRQYDULDEOHVGHVDWLVIDFFLyQDVRFLDGDV DODVVHQWHQFLDVGHOFyGLJRIXHQWH(VWHWLSRGHYDULDEOHVODV QRPEUDUHPRVHPSH]DQGRSRU66  7$%/$,, & $62'( 7 (673$5$/$&/$6( & 8(17$ % $1&2 , 03   (QWUDGDV VDOGR#SUH FDQWLGDG LQJUHVR  6DOLGDV VDOGR  &yGLJRSUXHED FXHQWDUHWLUDUFDQWLGDG FXHQWDLQJUHVDULQJUHVR  '2EWHQFLyQGHODGLDJQRVLVPtQLPD (O VLJXLHQWH SDVR HV HQFRQWUDU HO FRQMXQWR GH VHQWHQFLDV TXH IRUPDQ OD GLDJQRVLV 3DUD TXH GLFKR FRQMXQWR WHQJD OD FDUGLQDOLGDGPtQLPDVHGHEHLQWHQWDUPD[LPL]DUHOQ~PHUR GHSUHGLFDGRV66TXHWRPHQHOYDORUYHUGDGHUR3DUDORJUDUOR VH HVWDEOHFH XQ 0D[&63 TXH LQWHQWH ORJUDU GLFKR REMHWLYR REWHQLHQGR FRPR UHVXOWDGR ORV YDORUHV GH ORV SUHGLFDGRV 66 SDUD FDGD XQD GH ODV VHQWHQFLDV GH OD WUD]D VHJXLGD (VWRV YDORUHVGHILQLUiQHOJUXSRVHQWHQFLDVTXHIRUPDQODGLDJQRVLV /DV UHVWULFFLRQHV REWHQLGDV GH ORV DVHUWRV DSRUWDQ LQIRUPDFLyQTXHGHEHFRQVLGHUDUVHYDOLGD\DTXHODSUHFLVLyQ GH OD GLDJQRVLV VH EDVD HQ HVWDLQIRUPDFLyQ (O SURFHVR GH E~VTXHGDGHSHQGHUiGHORVUHVXOWDGRVREWHQLGRVFRQHOFDVRGH WHVW\GHODVLWXDFLyQHQODTXHWHUPLQHHOSURJUDPD • 6LVHSURGXFHODSDUDGDGHOSURJUDPDSRUXQDVHUWRQR YiOLGR\QRVHDOFDQ]DHOILQDOHVWDEOHFLGRHQHO&7GHO SURJUDPDSXHGHGHEHUVHDTXHHODVHUWRHVGHPDVLDGR HVWULFWRRELHQTXHHOSURJUDPDQRHVWiELHQGLVHxDGR 3DUDVDEHUFXiOHVHORULJHQGHOSUREOHPDVHGHEH HMHFXWDU GH QXHYR HO SURJUDPDVLQ HODVHUWR'HHVWD IRUPD VH SRGUi GHGXFLU VL HO SURJUDPD HV FDSD] GH OOHJDUDOUHVXOWDGRHVSHUDGRDXQTXHHODVHUWR QRVHD VDWLVIHFKR 6L HVWR VXFHGH QRV HQFRQWUDPRV DQWH XQ DVHUWRPX\UHVWULFWLYRTXHGHEHVHUPRGLILFDGR6LQR VH DOFDQ]D HO ILQDO \ HO SURJUDPD YXHOYH D LQWHUUXPSLUVHHOSUREOHPDVHGHEHDOFyGLJRTXHHVWi KDVWDHODVHUWR • 6L HO SURJUDPD DFDED VLQ LQFXPSOLU QLQJ~Q DVHUWR SHURHOUHVXOWDGRQRHVHOHVSHFLILFDGRSRUHOFDVRGH GUERRERO et al.: DIAGNOSIS OF INCONSISTENCY 141 Authorized licensed use limited to: Universidad de Sevilla. Downloaded on February 17,2022 at 07:03:11 UTC from IEEE Xplore. Restrictions apply.  WHVW SXHGH GHEHUVH D TXH DOJXQD VHQWHQFLD LPSLGH OOHJDU DO UHVXOWDGR HVSHUDGR R ELHQ DOJ~Q DVHUWR HV SRFR UHVWULFWLYR \ GHMD UHDOL]DU RSHUDFLRQHV TXH QR SHUPLWHQOOHJDUDOUHVXOWDGRFRUUHFWR&RQODV UHVWULFFLRQHVGHO053VHSODQWHDUiXQSUREOHPD0D[ &63 (O SURFHVR GHWHUPLQDUi TXp VHQWHQFLDV VRQ HUUyQHDV ((MHPSOR 3DUD FODULILFDU OD SUHVHQWDFLyQ GH OD PHWRGRORJtD QRV YDPRVDFHQWUDUHQHOFDVRGHWHVWSURSXHVWRHQODWDEOD6H WUDWD GH XQD FXHQWD FRQ XQ VDOGR LQLFLDO GH  XQLGDGHV VREUH HOOD UHDOL]DPRV GRV RSHUDFLRQHV VHFXHQFLDOHV 3ULPHUR XQDUHWLUDGDGHFDSLWDOGHXQLGDGHV\VHJXQGRXQLQJUHVR SRUODPLVPDFDQWLGDG&RPRUHVXOWDGRHOVDOGRGHODFXHQWD GHEHTXHGDUFRQXQLGDGHV  7$%/$,,, 053'(/$&/$6(& 8(17$ % $1&2 , 03 &21(/&7'(/$7$%/$,,  FXHQWDUHWLUDUFDQWLGDG ,QYDULDQWHVDOGR!  3UHFRQGLFLyQFDQWLGDG! &yGLJRVDOGR VDOGRFDQWLGDG 66 3RVWFRQGLFLyQVDOGR VDOGRFDQWLGDG ,QYDULDQWHVDOGR!  FXHQWDLQJUHVDULQJUHVR ,QYDULDQWHVDOGR!  3UHFRQGLFLyQLQJUHVR! &yGLJRVDOGR VDOGRLQJUHVR 66 3RVWFRQGLFLyQVDOGR!  ,QYDULDQWHVDOGR!    8QD YH] JHQHUDGDV ODV UHVWULFFLRQHV GHO SUREOHPD GH GLDJQRVLVWDEODHOPRWRUGHLQIHUHQFLDVSDUDVROXFLRQDUHO &63REWHQGUiTXHODVHQWHQFLDLQFOXLGDHQHOPpWRGRLQJUHVDU HVODTXHSURYRFDHOHUURU6LREVHUYDPRVODVHQWHQFLDVHKD UHDOL]DGRXQDUHVWDHQOXJDUGHXQDVXPD/DSRVWFRQGLFLyQ GHGLFKRPpWRGRHVGHPDVLDGRGpELO\QRGHWHFWDGLFKR SUREOHPD &DPELDQGR OD VHQWHQFLD LQGLFDGD HO SUREOHPDVH UHVXHOYH(VQHFHVDULRUHVDOWDUTXHODVHQWHQFLDLQFOXLGDHQHO PpWRGR UHWLUDU QR HV RIUHFLGD FRPR SRVLEOH HUURU DXQTXH LQIOX\HHQHOUHVXOWDGRILQDOGHOYDORUGHOVDOGRGHODFXHQWD /DUD]yQHVWiHQVXSRVWFRQGLFLyQTXHHVORVXILFLHQWHPHQWH IXHUWHFRPRSDUDJDUDQWL]DUHOYDORUTXHGHEHWRPDUHOVDOGR DO ILQDOL]DU GLFKR PpWRGR 3RU WDQWR FRQWUDWRV PiV IXHUWHV SHUPLWHQORFDOL]DUPHMRUHORULJHQGHHUURUHV 9,,& 21&/86,21(6<75$%$-26)878526  (Q HVWH WUDEDMR KHPRV SURSXHVWR XQD LQWHJUDFLyQ GH WpFQLFDV GH SURJUDPDFLyQ FRQ UHVWULFFLRQHV GH GLDJQRVLV EDVDGDHQPRGHORV\GLVHxRSRUFRQWUDWRSDUDDXWRPDWL]DUOD GLDJQRVLV GHO VRIWZDUH \ GH ORV FRQWUDWRV &RQ UHVSHFWR D DQWHULRUHVWUDEDMRVVHKDQDPSOLDGRDVSHFWRVGHOGLVHxRSRU FRQWUDWR \ VHKD LQFRUSRUDGR OD FDSDFLGDG GHHYDOXDUVLXQ FRQWUDWRHVYLDEOH'HORVHMHPSORVHVWXGLDGRVVHGHGXFHTXH FXDQWRPiVIXHUWHHVHO'E&\PiVFDVRVGHWHVWVHXWLOLFHQ PiVFHUWHUDHVODGLDJQRVLV\DTXHODPHWRGRORJtDGLVSRQHGH PiVLQIRUPDFLyQGHOFRPSRUWDPLHQWRUHDO\GHOTXHVHHVSHUD 1XHVWUD LQYHVWLJDFLyQ VH FHQWUD DKRUD HQ KDFHU D~Q PiV SUHFLVDODGLDJQRVLV\H[WHQGHUODPHWRGRORJtDDRWUDV FDUDFWHUtVWLFDV GH XQ OHQJXDMH RULHQWDGR D REMHWRV FRPR SXHGHQVHUODKHUHQFLDJHVWLyQGHH[FHSFLRQHVFRQFXUUHQFLD HWF2WURLPSRUWDQWHREMHWLYRIXWXURHVDSOLFDUODPHWRGRORJtD D HMHPSORV PiV FRPSOHMRV \ UHDOHV GRQGH HO PDSHR D UHVWULFFLRQHVQRVHDWDQGLUHFWR 9,,,5 ()(5(1&,$6  >@ 5REHUW 9%LQGHU7HVWLQJ2EMHFW2ULHQWHG6\VWHPV0RGHOV 3DWWHUPV DQG7RROV$GGLVRQ:HVOH\ >@ 0H\HU%$SSO\LQJµ'HVLJQE\&RQWUDFW¶,(((&RPSXWHUYROQR 2FWREHUSS >@ 5&HEDOORV50*DVFD&DUPHOR'HO9DOOHDQG0LJXHO7RUR0D[&63 DSSURDFK IRU VRIWZDUH GLDJQRVLV /1$,  SS  9,,, &RQIHUHQFLD,EHURDPHULFDQD GH,QWHOLJHQFLD$UWLILFLDO6HYLOOD1RYHPEHU  >@ 5 &HEDOORV 5 0 *DVFD &DUPHOR 'HO 9DOOH DQG ) 'H /D 5RVD $ FRQVWUDLQW SURJUDPPLQJ DSSURDFK IRU VRIWZDUH GLDJQRVLV $$'(%8* 6HSWHPEHU*KHQW%HOJLXP >@ .KDOLO0$Q([SHULPHQWDO&RPSDUDVRQRI6RIWZDUH'LDJQRVLV0HWKRGV  WK (XURPLFUR&RQIHUHQFH >@ ,/2*,/2*6ROYHU8VHUV0DQXDO,/2* >@ /\OH - 5 DQG :HLVHU 0$XWRPDWLFEXJORFDWLRQE\SURJUDPVOLFLQJ 6HFRQG,QWHUQDWLRQDO&RQIHUHQFHRQ&RPSXWHUVDQG$SSOLFDWLRQV%HLMLQJ &KLQDSS-XQH >@ &ULVWLQHO 0DWHLV 0DUNXV 6WXPSWQHU 'RPLQLN :LHODQG DQG )UDQ] :RWDZD([WHQGHG$EVWUDFW0RGHO%DVHG'HEXJJLQJRI-DYD3URJUDPV $$'(%8*$XJXVW0XQLFK >@ 5HLWHU5$WKHRU\RIGLDJQRVLVIURPILUVWSULQFLSOHV$UWLILFLDO,QWHOOLJHQFH SS >@ :HLVHU03URJUDP6OLFLQJ,(((7UDQVDFWLRQVRQ6RIWZDUH(QJLQHHULQJ 6(SS >@ </H7UDRQ)2XDEGHVVHODP&5REDFKDQG%%DXGU\)URP'LDJQRVLV WR 'LDJQRVDELOLW\ $[LRPDWL]DWLRQ 0HDVXUHPHQW DQG $SSOLFDWLRQ 7KH -RXUQDORI6\VWHPVDQG6RIWZDUHSS-DQXDU\ >@ %ULDQG / & /DELFKH < 6XQ + ,QYHVWLJDWLQJ WKH XVH RI DQDO\VLV FRQWUDFWV WRVXSSRUWIDXOWLVRODWLRQ LQ REMHFW RULHQWHGFRGH,QWHUQDWLRQDO 6\PSRVLXPRQ6RIWZDUH7HVWLQJDQG$QDO\VLV5RPD,WDO\ ,;% ,2*5$)Ë$6   5DIDHO &HEDOORV 1DFLGR HQ 6DQO~FDU GH %DUUDPHGD &iGL] ,QJHQLHUR ,QIRUPiWLFR SRU OD 8QLYHUVLGDG GH 6HYLOOD 3URIHVRU HQ HO GHSDUWDPHQWR GH /HQJXDMHV \ 6LVWHPDV ,QIRUPiWLFRV GH OD 8QLYHUVLGDG GH6HYLOOD6XV OLQHDVGHLQYHVWLJDFLyQVHFHQWUDQHQODGLDJQRVLVEDVDGD HQ PRGHORV'; GLVHxR VRIWZDUHSRU FRQWUDWRWHVWLQJ SURJUDPDFLyQ FRQUHVWULFFLRQHV\ VHJXULGDGGHVLVWHPDV LQIRUPiWLFRV$FWXDOPHQWHGHVDUUROODVXWHVLVGRFWRUDOHQ HOFDPSRGHODGLDJQRVLVVRIWZDUH  )HUQDQGR GH OD 5RVD ,QJHQLHUR HQ,QIRUPiWLFD SRUOD 8QLYHUVLGDG GH 6HYLOOD $FWXDOPHQWH SURIHVRU HQ HO GHSDUWDPHQWRGH/HQJXDMHV\6LVWHPDV,QIRUPiWLFRVGHOD 8QLYHUVLGDG GH 6HYLOOD 6XV LQYHVWLJDFLRQHV HVWiQ IXQGDPHQWDOPHQWHRULHQWDGDVDOUHVXPHQHODQiOLVLV\OD YLVXDOL]DFLyQ GH LQIRUPDFLyQ H[WUDtGD GH ,QWHUQHW L. 6$9 YLJLODQFLD WHFQROyJLFD H LQWHOLJHQFLD FRPSHWLWLYD 97,& LQIRUPHWUtD PDSDV FRQFHSWXDOHV \ DQiOLVLV GH UHGHVVRFLDOHV$56  6HUJLR 3R]R ,QJHQLHUR HQ ,QIRUPiWLFD H ,QJHQLHUR 7pFQLFRHQ,QIRUPiWLFDGH6LVWHPDVSRUOD8QLYHUVLGDGGH 6HYLOOD $FWXDOPHQWH HV SURIHVRU GHO 'HSDUWDPHQWR GH /HQJXDMHV\6LVWHPDV,QIRUPiWLFRVGHOD8QLYHUVLGDGGH 6HYLOOD6XOtQHDGHLQYHVWLJDFLyQVHFHQWUDHQ6HJXULGDG ,QIRUPiWLFD HQFRQWUDU IRUPDV GH GHWHFWDU \ UHFXSHUDU VLVWHPDV DQWH IDOORV GH VHJXULGDGSHUILODGR GH LQWUXVRV XWLOL]DQGR WpFQLFDV GH HQJDxR \ FRQWURO DVt FRPR HO PRGHODGRGHVXHQWRUQRVRFLDO 142 IEEE LATIN AMERICA TRANSACTIONS, VOL. 3, NO. 1, MARCH 2005 Authorized licensed use limited to: Universidad de Sevilla. Downloaded on February 17,2022 at 07:03:11 UTC from IEEE Xplore. Restrictions apply.