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

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

Program: Prac_ndf.c,  Booldif.zip
Súbor exe: Booldif.exe
Potrebné: Adresar.c,  Color.c,  Derivac.c,  Error.c,  Funkcie.c,  Help.c,  Key.c,  Line_edi.c,  Main.c,  Menu.c,  Obsluha.c,  Okno.c,  Prac_ndf.c,  Slovnik.c,  Slov_fon.c,  Statist.c,  Util.c,  Video.c,  Vystupy.c,  Adresar.h,  Color.h,  Define.h,  Error.h,  Funkcie.h,  Glob.h,  Key.h,  Line_edi.h,  Mbooldif.h,  Menu.h,  Okno.h,  Slov_fon.h,  Util.h,  Video.h
Príklady: Example.zip,  Bin_10_o.ndf,  Bin_10_o.ndf,  Bin_1and.ndf,  Bin_2rad.ndf,  Bin_3rad.ndf,  Bin_4rad.ndf,  Hard.ndf,  I_reg_lo.ndf,  Reg_jk.ndf,  Scitac_s.ndf,  Scp_1rad.ndf,  Scp_2rad.ndf,  Scp_2r_1.ndf,  Scp_3rad.ndf,  Scp_4r_2.ndf,  Scp_6r_3.ndf,  Scp_8r_4.ndf,  Sc_1r_pj.ndf,  Sc_1r_sj.ndf,  Sc_1_aoi.ndf,  Sc_2r_4.ndf,  Sc_3r_6.ndf,  Sc_7400n.ndf,  Sc_aon.ndf,  Simp3_a.ndf,  Simp3_b.ndf,  Simp4_a.ndf,  Simp4_b.ndf,  Simp4_c.ndf,  Simp6_a.ndf,  Test_vod.ndf,  Zle.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 COLOR.C                                  *
*									     *
*****************************************************************************/
 
unsigned char atributy[]={
			  0x71,    //podklad                             0
 
			  0x70,    //horny riadok                        1
			  0x74,    //prve pismena v hornom riadku        2
			  0x30,    //bar v hornom riadku                 3
 
			  0x70,    //dolny riadok                        4
			  0x74,    //prve pismena v dolnom riadku        5
 
			  0x70,    //zvisle menu                         6
			  0x70,    //okraj zvisleho menu                 7
			  0x74,    //prve pismeno zvisleho menu          8
			  0x2f,    //bar zvisleho menu                   9
 
			  0x7f,    //okno pre citanie suboru             10
			  0x7f,    //okraj                               11
			  0x1f,    //riadok pre zadavanie mena           12
			  0x2f,    //pri zaciatku zadavania mena         13
			  0x19,    //spodny riadok s menom adresara      14
			  0x30,    //pre adresar                         15
			  0x2f,    //bar v adresary                      16
 
			  0x4f,    //chybove okno                        17
			  0x4f,    //okraj                               18
 
			  0x70,    //cas                                 19
 
			  0x30,    //help okno                           20
			  0x3f,    //okraj                               21
 
			  0x70,    //okno pre zadavanie poctu riadkov    22
			  0x70,    //okraj                               23
			  0x1f,    //text                                24
			  0x2f,    //na zaciatku zadavania textu         25
 
			  0x70,    //citanie mena suboru                 26
			  0x7f,    //okraj                               27
			  0x1f,    //text                                28
			  0x2f,    //na zaciatku zadavania textu         29
 
			  0x70,    //okno info                           30
			  0x7f,    //okraj                               31
 
			  0x1e,    //tabulka                             32
			  0x4f,    //kurzor v tabulke                    33
			  0x5f,    //zvyrazneny stlpec                   34
 
			  0x70,    //okno pre definiciu pripon           35
			  0x7f,    //okraj                               36
			  0x1f,    //text                                37
			  0x2f,    //na zaciatku textu                   38
 
			  0x70,    //okno pre petrick v automatickom     39
			  0x7f,    //okraj                               40
			  0x1f,    //ESC=stop                            41
 
			  0x1e,    //vysledkove okno                     42
			  0x1f,    //okraj                               43
 
			  0x1d,    //                                    44
			  };
 
 
/*--------------------------------END---------------------------------------*/