Program rieši problém generovania testov prostredníctvom Boolovskej diferencie

Delphi & Pascal (česká wiki)
Přejít na: navigace, hledání
Kategórie: Programy v C, C++

Program: Prac_ndf.cBooldif.zip
Soubor exe: Booldif.exe
Potřebné: Adresar.cColor.cDerivac.cError.cFunkcie.cHelp.cKey.cLine_edi.cMain.cMenu.cObsluha.cOkno.cPrac_ndf.cSlovnik.cSlov_fon.cStatist.cUtil.cVideo.cVystupy.cAdresar.hColor.hDefine.hError.hFunkcie.hGlob.hKey.hLine_edi.hMbooldif.hMenu.hOkno.hSlov_fon.hUtil.hVideo.h
Příklady: Example.zipBin_10_o.ndfBin_10_o.ndfBin_1and.ndfBin_2rad.ndfBin_3rad.ndfBin_4rad.ndfHard.ndfI_reg_lo.ndfReg_jk.ndfScitac_s.ndfScp_1rad.ndfScp_2rad.ndfScp_2r_1.ndfScp_3rad.ndfScp_4r_2.ndfScp_6r_3.ndfScp_8r_4.ndfSc_1r_pj.ndfSc_1r_sj.ndfSc_1_aoi.ndfSc_2r_4.ndfSc_3r_6.ndfSc_7400n.ndfSc_aon.ndfSimp3_a.ndfSimp3_b.ndfSimp4_a.ndfSimp4_b.ndfSimp4_c.ndfSimp6_a.ndfTest_vod.ndfZle.ndf
Manual: Prirucky.zip

Program rieši problém generovania testov prostredníctvom Boolovskej diferencie. Riešenie vyplýva z metódy matematicej derivácie logických zápisov funkcie v tvare Boolovského zápisu. Vytvára vektory porúch pre daný obvod, pričom zohľadňuje všetky vetviace sa vodiče. Výsledkom je úplný test.
Je implementovaný v programovacom jazyku C pre operačný systém MS-DOS, alebo iný s ním kompatibilným. Program je vhodný pre interaktívny spôsob komunikácie s užívateľom, čo umožňuje pohodlné pracovné prostredie podobné systémom Turbo Vision.

Ako príklad skúste nasledovné.
  • Menu->Voľby->Vstup->Zo Súboru. Vyberte si niektorý z ukážkových súborov.
  • Menu->Činnosť->Boolovské diferencie->Primárne vodiče
  • Menu->Činnosť->Boolovské diferencie->Vnútorné vodiče
  • Menu->Výsledky - môžete si pozrieť výsledky práce programu


POZNÁMKA: Zdrojové kódy ktoré simulujú prostredie Turbo Vision niesu dielom autora.
/*****************************************************************************
*								             *
*                                Subor MAIN.C                                *
*								             *
*****************************************************************************/
 
#include <dos.h>
#include <stdlib.h>
 
#include "glob.h"
#include "glob.def"
#include "video.h"
#include "menu.h"
#include "slov_fon.h"
#include "mbooldif.h"
#include "funkcie.h"
#include "util.h"
 
struct HL_Menu hlavne_menu;
struct Menu podmenu[];
 
// tento riadok napis do :\BORLANDC\CRTL\CLIB\STKLEN.C
// unsigned _stklen=0xEEFF;
//                          pozdravujem fy Borland TRSEK
extern unsigned _stklen=0xEEFF;
// compiler nech je nastaveny na Unsigned chrakter
 
//************************************************************************//
// MAIN tu to vsetko zacina                                               //
//                                                            30.10.1997  //
//************************************************************************//
 
void main(void)
{
 clrscr();					// lahodky
 strcpy( temp,get_tmp_adr() );			// kde mame TMP adresar ???
 znuluj(&h_fnc,0); znuluj(&deriv_f,0);		// tu bude hlavna funkcia, a derivovana
 znuluj(&slovnik,0);				// tu bude slovnik poruch
 znuluj(&subst_NDF,0);				// tu budu substitucie
 zac_subst=0;
 del_tmp("*.tmp");     				// aby neboli ziadne tmp subory k citaniu
 strcpy( index, "  ");                          // aky index ma premenna, ak je substituovana
 volne_mem = coreleft();                        // tolko je pamete ked sa spustim
 
 inic_obrazovku();
 inic_menu(&hlavne_menu,podmenu);
 pamet();                                       // ukaz ako si na tom z pametou
 pull_down_menu(&hlavne_menu,podmenu,0);
 vrat_jadro();
}
 
/*----------------------------------END-------------------------------------*/