Home - Rasfoiesc.com
Educatie Sanatate Inginerie Business Familie Hobby Legal
Doar rabdarea si perseverenta in invatare aduce rezultate bune. stiinta, numere naturale, teoreme, multimi, calcule, ecuatii, sisteme


Biologie Chimie Didactica Fizica Geografie Informatica
Istorie Literatura Matematica Psihologie

Informatica


Index » educatie » Informatica
MODELAREA DINAINTEA EFECTUARII PROIECTULUI - SOFT


MODELAREA DINAINTEA EFECTUARII PROIECTULUI - SOFT




MODELAREA DINAINTEA EFECTUARII PROIECTULUI

Modelarea interfetei

 

Are in vedere descrierea comportarii unui model obiect de sisitem. Aceste schimbari se bazeaza pe evenimentele care se produc la interfata, iar in interior sistemul isi schimba propria stare.

Agent - entitate activa ce interactioneaza cu alti agenti. In esenta sist. de proiectat este un agent ce interactioneaza cu agentii din anviroment (multime de agenti cu care sist. comunica).



Evenimentul - unitate atomica instantanee de comunicare intre agenti (eveniment de intrare sau de iesire).

Emitatorul poate furniza intr-un eveniment valori de atribute sau chiar obiecte. Receptorul isi poate modifica starea si va emite la randul sau evenimente.

Operatii facute de sistem

1.     Eveniment de intrare

2.     Schimbare de stare

3.     Evenimente de iesire

Numim interfata multimea operatiilor in care este implicat un sistem.

Scopul modelarii interfetei este de a descrie aceasta. a modului obiect.

Pt. descriere folosom doua prezentati:

1.     Prezentarea unui model operativ

2.     modelul ciclului de viata

1. Setul de operatii pe care un sistem le poate indeplini:

1.     Deschidere decont

2.     Depunere de bani

3.     Retragere de bani

4.     Test cont

Clientul este un agent care lanseaza operatii si primeste evenimentul. Dialogul intre agenti se face cu anumite restrictii.

Setul de secvente permise formeaza ciclul de viata al sistemului . Pt. a descrie desfasurarea acestor lanturi sunt doua forme:

1.     Modelul operational - specifica schimbarole de stare ale sistemului conform evenimentelor receptionate intr-o forma descriptiva pe operatie.

2.     Modelulu ciclului de viata - se priveste la un nivel ceva mai abstract grupand secventele de evenimente si succesiuni de operatie.

Modelul operational

Specifica in ca fel se comporta sistemul intr-un mod declarativ. Aici se definesc efectele operatiilor sub forma de stare de sistem si sub forma provocarii de evenimente la iesire. Starile sunt si ele inlantuite si formeaza o succesiune permisa ceea ce infatiseaza evolutia sistemului.

O stare corespunde unei operatii in curs de desfasurare.

O operatie poate:

       crea o noua instanta a unei clase

       schimba valori de atribute intr-un obiect existent

       modifica relatiile

       trimite evenimentele spre exterior

Tehnici de prezentare

Operatiile vor fi reprezentate porin scheme. O schema operationala cuprinde preconditiile - necesar inaintea operatiei- si poatconditiile - ce se modifica in urma operatiei.

Toate acestea sunt reprezentate ca un set de asertiuni care se dovedesc adevarate sau false. Prin aceasta forma operatia apare ca o cutie neagra. Aceasta se va umple mai tarziu cu programul.

Modelul ciclului de viata

Este un model comportamental.

Stabileste cicluri de evenimente posibile oferind o viziune de ansamblu a evolutiei structurii modelului obiect.

In acest model se definesc faze; in care o faza este o succesiune cu restrictii de .. posibile. In fiecare faza sistemul se afla intr-un anumit stadiu al sau.

Intr-o faza sunt acceptate numai anumite evenimente caracteristice fazei astfel incat alte evenimente care apar vor fi neglijate.

In acest model fazele sunt precizate prin siruri de evenimente descrise pir expresii. In constructia unei expresii sunt incluse evenimente si reguli de compozitie ale acestora.

A*B - even. B urmeaza even. A

A/B - se produce A sau B

A* - 0 even. de tip A

A+ - cel putin 1 even. de tip A

[A] - even. A optional in acea secventa

AB - orice amestec in orice proportii de even. A si B

Aceste reguli cu o ordine relativa a lor - ordine de precedenta.

Modelul evidentiaza caracteristici generale care dau un sens legat de rezolvarea problemei. Modelul specifica numai acele info care nu sunt incluse in modelul operational.

Alte evenimente necesare pt. a fi specificare:

1.     Dictionar de date de specificare

2.     Modelul obiect

3.     Modelul de faza




Toate reprezinta documentul de specificare. Fara 1 celelalte doua pot duce la ambiguitati.

1 va contine definitii de notiuni si definitii de concepte in domeniul problemei. Acestea vor conferi sens modelelor, semnificatie, semantica. Acest document cu definitii trebuie sa fie unic. Definitiile dintr-un dictionar sunt de baza pt. testarea modelelor. Modele trebuie testate de consistenta si completitudine. Aceste teste incheie faza de sopecificare conferind complexului o structura coerenta logica.

Se acorda flexibilitate produsului soft -> orice nou subiect interesat de produs poate rasfoi documentul de elaborare a produsului. Daca se schimba cerintele de rezolvare a problemei produsul se poate mdifica pe baza dictionarului. Dictionarul elimina notiuni subintelese.

Un articol in aceasta baza de date va avea:

Nume

Numele entitatii

Tip

Clasa

Descriere

Reguli de intocmire a dictionarelor

       Dictionarele vor fi sortate prin nume

       Dictionarul va avea notiuni echivalente cat mai putine. Se aleg cele mai expresive notiuni si acestea se vor folosi

       Daca definitiile din dictionar cuprind anumiteinfo acestea nu vor mai fi repetate in modele.

Testarea modelelor

Analizam domeniul cu prblema. Aceasta analiza se face cu pasi marunti, este iterativa si incrementala.

Pasi in analiza problema:

- pasul 1 este stabilirea unui model al domeniului problemei.

- pasul 2 este stabilirea interfetei care pp. pe de o parte identificarea de agenti, operatii si evenimente si pe de alta parte delimitarea modelului obiect de anvirorment.

- pasul 3 este stabilirea modelului de interfata (aici avem toate datele pt. aavea un model pt. probleme data)

- pasul 4 testarea nmodelelor - se face referitor la consistenta si completitudine.

Testul de completitudine

1.     Se recitesc documentele de cerinte.

2.     Se clarifica problemele neclare cu clientul

3.     Se stabileste scopul primar al clientului

4.     Se trece la o serie de verificari pe modele

5.     Se verifica daca toate scenariile posibile sunt acoperite de ciclul de viata

6.     Se verifica daca fiecare operatie are o schema proprie operationala

7.     Se verifica daca toate info statistice sunt incluse in modelul obiect al sistemului

8.     Se verifica daca celelalte info care nu sunt in model sunt in dictionar

Urmeaza verificari de consistenta - Simpla

- Semantica

Verificarea de consistenta simpla

1.     Toate clasele, relatiile si atributele din modelul operational apar in modelul obiect

2.     Toate predicatele si alte concepte vor fi in dictionar

3.     Marginea modelului obiect al sistemului este consistenta cu interfata data de modelul ciclului de viata

4.     Toate operatiile din modelul ciclului de viata sa contina o schema deci sa fie in modelul operational

5.     Toti identificatorii din toate modele sa fie in dictionar

Verificarea de consistenta semantica

1.     Evenimentele de iesire ale ciclului de viate sau din modelul operational vor fi consistente

2.     Aceste corespondente si evenimente vor fi corespunzatoare cu scenariile din modelul ciclului de viata

3.     Modelul operational va pastra modelul obiect de sistem invariant; nu-i va modifica fundamental structura si va respecta invariatii specificti

SFARSIT






Politica de confidentialitate


Copyright © 2019 - Toate drepturile rezervate

Informatica


Access
Adobe photoshop
Autocad
Baze de date
C
Calculatoare
Corel draw
Excel
Foxpro
Html
Internet
Java
Linux
Mathcad
Matlab
Outlook
Pascal
Php
Powerpoint
Retele calculatoare
Sql
Windows
Word


TEHNICA BACKTRACKING
Selectarea celui mai bun model de regresie
Utilizarea intreruperilor externe
Atestat Profesional La Informatica - Pantofi SPORT Pagini web - HTML
Invarianti in descrierea modelului obiect de sistem
Interfata seriala UART (Universal Asynchronous Receiver and Transmitter)
PROTECTIA JURIDICA A PROGRAMELOR PE CALCULATOR
Inginerie Software - Definirea si specificarea cerintelor soft
Convertorul analog numeric
FrontX