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.c,  Booldif.zip
Soubor exe: Booldif.exe
Potřebné: 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
Pří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 FUNKCIE.H                               *
*                                                                            *
*****************************************************************************/
 
int  popis1( void );			        // popis k programu
int  popis2( void );			        // popis k programu system
int  popis3( void );			        // popis k programu vstupy
int  popis4( void );			        // popis k programu cisnnost
int  popis5( void );			        // popis k programu vysledky
int  pomoc( void );				// kompletny help k programu
int  dos( void );				// spusti MS-DOS
int  norton( void );				// spust Norton Commander
int  koniec( void );				// ukoncenie programu
int  reset( void );				// uvolni pamat
int  reset_s(void);                             // reset statistickych udajov
int  nie( void );				// odpoved nie
int  nastav_rezim( void );			// rezim demo, automaticky, vyukovy, preverovaci
void init_jadro( void );			// zinicializuj jadro
int  citaj_disk( void );
int  zapis_disk( void );			// uloz na disk
int  nastav_vystup( void );			// kam vysledky (obrazovka,tlaciaren,disk)
int  cit_sub( void );				// cita subor
void vrat_jadro( void );			// uvolni pamat a znovu nadefinuje prezdne premenne
int  citaj_subor_z_disku( char *meno,int prip );// subor do NDF
int  from_keyb( void );				// precita NDF do retazce ret_f a spracuje vramci NDF struktur
int  zobraz_tmp0( void );			// vstupna funkcia
int  zobraz_tmp1( void );			// derivacia
int  zobraz_tmp2( void );			// pred slovnikom poruch
int  zobraz_tmp3( void );			// slovnik poruch
int  ukaz_NDF( void );				// zobrazi akukolvek NDF strukturu
int  bool_dif( void );				// urobi derivacie podla premennych
int  dif_bez_mv( void );                        // diferencie bez medzivodicov
int  dif_s_mv( void );                          // diferencie s medzivodicami
void del_tmp( char subor[] );			// mazem TMP subory
int  slovnik_por( void );			// robi slovnik poruch, ktory mu predspracoval bool_dif
void help(char *help);				// zobraz help
int  statistika( void );                        // statisticke udaje o vypocte
int  vsetky_vektory( void );                    // vytvori vsetky vektory poruch
int  anonie( int x, int y );                    // pytame sa uzivatela ano/nie TRUE-ano FALSE-nie
int  zatvorky_a( void );                        // algebraicky odstrani zatvorky zo vstupu
int  zatvorky_m( void );                        // matemeticky odstrani zatvorky zo vstupu
 
/*--------------------------------END---------------------------------------*/