Програми за дизајнирање микропроцесорски уреди. Микропроцесори. Оператори и операции

Системот за собирање податоци на микропроцесор мора да ги исполнува следниве барања: да обезбеди високи перформанси и да биде едноставен за имплементација, мора да обезбеди стабилна и без проблеми работа, да биде релативно евтин и да троши малку ресурси. За извршување на зададените задачи и во согласност со основните барања, погоден е микроконтролерот од серијата K1816BE51.

Слика 3 - Блок дијаграм на микропроцесорски систем за аквизиција на податоци.

микропроцесорски програмски алгоритамски чип

Микропроцесорскиот систем (MPS) се состои од следните блокови: микроконтролер (MC), меморија за случаен пристап (RAM), меморија само за читање (ROM), програмабилен тајмер (PT), паралелен програмабилен интерфејс (PPI), аналогно-дигитален конвертор (ADC), дигитално-аналоген конвертор (DAC), мултиплексер (MUX), програмабилен контролер за прекини (PIC).

МК формира адресна магистрала (ABA), магистрала за податоци (SD) и контролна магистрала (CC). На автобусите се поврзани блоковите RAM, ROM, PT, PPI, PKP.

RAM меморијата е дизајнирана да ги складира податоците од анкетата на сензорот, како и средните податоци. ROM-от е дизајниран да складира програмски код и разни константи.

PT е дизајниран да го брои временскиот интервал што ќе биде потребен за извршување на командите MK. Пред да се изврши операцијата, PT се стартува. Ако операцијата е успешна, MK го ресетира PT. Ако не е примена команда за ресетирање на броење од MC (се случи замрзнување), PT, на крајот од броењето на временскиот интервал, генерира сигнал за ресетирање на MC.

PPI е наменет за поврзување надворешни уреди. На SPI се поврзани ADC, дискретен мултиплексер и DAC.

ADC е дизајниран да конвертира аналоген сигнал од сензори и дигитален код, кој се внесува во MK преку PPI. Аналогните сензори се поврзани со ADC преку аналоген мултиплексер.

Податоците од дискретни сензори се примаат преку дискретен мултиплексер.

DAC е дизајниран да генерира контролна акција.

Контролната табла е дизајнирана да сервисира надворешни прекини.

Фази на дизајнирање на микропроцесорски системи

Микропроцесорски системи во нивната сложеност, барања и функции може значително да се разликуваат во параметрите на доверливост, волумен софтвер, да бидат еднопроцесорски и мултипроцесорски, изградени на еден тип на микропроцесорски сет или неколку, итн. Во овој поглед, процесот на дизајнирање може да се модифицира во зависност од барањата за системите. На пример, процесот на дизајнирање MPS кои се разликуваат едни од други во содржината на ROM ќе се состои од развивање програми и производство на ROM-ови.

При дизајнирање на мултипроцесорски микропроцесорски системи кои содржат неколку видови микропроцесорски множества, неопходно е да се решат прашањата за организација на меморијата, интеракцијата со процесорите, организацијата на размена помеѓу системските уреди и надворешното опкружување, координација на функционирањето на уредите со различни работни брзини итн. Подолу е приближна низа од фази, типични за создавање на микропроцесорски систем:
1. Формализација на системските барања.
2. Развој на структурата и архитектурата на системот.
3. Развој и производство на системски хардвер и софтвер.
4. Сеопфатно дебагирање и тестирање за прифаќање.

Фаза 1. Во оваа фаза, се изготвуваат надворешни спецификации, се наведуваат функциите на системот, се формализираат техничките спецификации (TOR) за системот, а плановите на инвеститорот се формално наведени во официјалната документација.

Фаза 2. Во оваа фаза се одредуваат функциите на поединечни уреди и софтвер, се избираат микропроцесорски множества врз основа на кои ќе се имплементира системот, се утврдува интеракцијата помеѓу хардверот и софтверот и се одредуваат временските карактеристики на поединечните уреди и програми. .

Фаза 3. По утврдувањето на функциите имплементирани од хардверот и функциите имплементирани од програмите, дизајнерите на кола и програмерите истовремено започнуваат да развиваат и произведуваат прототип и софтвер, соодветно. Развојот и производството на опрема се состои од развој на структурни и дијаграми на кола, производство на прототипови и офлајн дебагирање.
Развојот на софтвер се состои од развој на алгоритми; пишување текст на изворните програми; преводи на изворни програми во објектни програми; офлајн дебагирање.

Фаза 4. Видете Сеопфатно дебагирање.

Во секоја фаза од дизајнот на MPS, луѓето можат да воведат грешки и да донесат неточни одлуки за дизајн. Покрај тоа, може да се појават дефекти во опремата.

Извори на грешки

Да ги разгледаме изворите на грешки во првите три фази на дизајнирање.

Фаза 1. Во оваа фаза, извори на грешки може да бидат: логичка неусогласеност на барањата, пропусти, неточности на алгоритмот.

Фаза 2. Во оваа фаза, извори на грешки може да бидат: пропусти на функции, неусогласеност на протоколот за интеракција помеѓу опремата и програмите, неправилен избор на микропроцесорски множества, неточности на алгоритмите, неправилно толкување на техничките барања, пропуштање на некои текови на информации.

Фаза 3. Во оваа фаза, извори на грешки може да бидат: за време на развојот на опремата - пропусти на некои функции, неправилно толкување на техничките барања, дефекти во кола за синхронизација, прекршување на правилата за дизајн; за време на производството на прототип - дефекти на компонентите, дефекти во инсталацијата и склопувањето; при развој на софтвер - пропусти на некои функции Услови за работење, неточности во алгоритмите, неточности во кодирањето.

Секој од наведените извори на грешка може да генерира голем број на субјективни или физички грешки кои мора да се локализираат и елиминираат. Откривањето на грешки и локализацијата на дефектите е тешка задача поради неколку причини: прво, поради големиот број на дефекти; второ, поради фактот што различните грешки можат да се манифестираат на ист начин. Бидејќи не постојат модели на субјективни грешки, оваа задача не е формализирана. Постигнат е одреден напредок на полето на создавање методи и алатки за откривање грешки и локализација на физичките дефекти. Овие методи и алатки се широко користени за проверка на работната состојба и за дијагностицирање на дефекти на дискретни системи за време на дизајнирањето, производството и работењето на вторите.

Субјективните дефекти се разликуваат од физичките по тоа што по откривање, локализација и корекција тие повеќе не се појавуваат. Сепак, како што сугерира списокот на извори на грешки, субјективните грешки може да се воведат за време на развојот на спецификацијата на системот, што значи дека дури и по најтемелното тестирање на системот во однос на неговите надворешни спецификации, субјективните дефекти сè уште може да бидат присутни во системот.

Процесот на дизајнирање е итеративен процес. Неисправностите откриени во фазата на тестирање за прифаќање може да доведат до корекција на спецификациите, а со тоа и до почеток на дизајнирање на целиот систем. Неопходно е да се откријат дефекти што е можно порано; за да го направите ова, неопходно е да се контролира исправноста на проектот во секоја фаза на развој.

Валидација на дизајнот

Главните методи за следење на исправноста на дизајнот се следните: верификација - формални методи за докажување на исправноста на дизајнот; моделирање; тестирање.

Има многу работа на верификација на софтвер, фирмвер и хардвер. Сепак, овие дела се од теоретска природа. Во пракса, моделирањето на однесувањето на објектот и тестирањето сè уште се користат.

За да се контролира исправноста на проектот во секоја фаза на дизајнирање, неопходно е да се изврши моделирање на различни нивоа на апстрактното претставување на системот и да се потврди правилната имплементација на даден модел преку тестирање. Во фазата на формализирање на барањата, контролата на исправноста е особено неопходна, бидејќи многу цели на дизајнот не се формализирани или не можат да се формализираат во принцип. Функционалната спецификација може да се прегледа од тим експерти или да се симулира и тестира за да се утврди дали се постигнуваат саканите цели. Откако ќе се одобри функционалната спецификација, започнува развојот на програмите за функционално тестирање за да се утврди правилното функционирање на системот во согласност со неговата функционална спецификација. Идеално, се развиваат тестови кои целосно се засноваат на оваа спецификација и обезбедуваат можност да се тестира секоја имплементација на систем за кој се тврди дека е способен да ги извршува функциите наведени во спецификацијата. Овој метод е сосема спротивен од другите, каде што се градат тестови во однос на специфични имплементации. Функционална верификација независна од имплементацијата е обично привлечна само во теоретска смисла, но нема практично значење поради високиот степен на општост.

Автоматизирањето на мачната работа на пишувањето програми за тестирање не само што го намалува периодот на дизајнирање/дебагирање со генерирање на тест програми за време на фазата на дизајнирање (бидејќи тие можат да се генерираат веднаш по генерирањето на системските барања), туку исто така му овозможува на дизајнерот да ги менува спецификациите без да мора да грижете се за повторно пишување на сите тест програми.програми повторно. Меѓутоа, во пракса, на развојот на тестот често му се дава помал приоритет од дизајнот, па затоа програми за тестирањесе појавуваат многу подоцна од неговото завршување. Но, дури и ако детални тестовииспаднат да се подготвени, често е непрактично да се извршуваат на симулатор, бидејќи деталното моделирање бара големи трошоци во развојот на програмата и времето за пресметување, како резултат на тоа, поголемиот дел од работата за дебагирање мора да се одложи до создавањето на прототип на системот.

Откако ќе се открие грешка, нејзиниот извор мора да биде локализиран за да се изврши корекција на соодветно ниво на апстракција на системот и на соодветно место. Лажното идентификување на изворот на грешката или правењето корекции на друго ниво на апстрактното претставување на системот доведува до фактот дека информациите за системот се горните нивоастанува погрешен и не може да се користи за понатамошно отстранување грешки при производство и работа на системот. На пример, ако се воведе дефект во изворниот текст на програма напишана на асемблерски јазик, а корекцијата се врши во објектниот код, тогаш дополнителното дебагирање на програмата се врши во објектниот код; во овој случај, сите предности за пишување програма на асемблерски јазик се сведени на ништо.

Блок-дијаграмот на уредот е претставен во Додаток А.

Овој микропроцесорски систем се состои од следните блокови: микропроцесор, RAM, ROM, програмабилен паралелен интерфејс, аналогно-дигитален конвертор, тајмер, дисплеј.

Аналогните сигнали од сензорите пристигнуваат на влезовите на аналогниот мултиплексер вграден во ADC, кој во секој временски интервал префрла еден од сигналите на влезот на аналогно-дигиталниот конвертор.

Аналогно-дигитален конвертор се користи за претворање на аналоген сигнал во дигитален код со кој работи микропроцесорот.

Микропроцесорот пристапува до ADC преку програмабилен паралелен интерфејс. Ги чита информациите од излезите на ADC и ги складира во мемориска ќелија RAM. Покрај тоа, пратеникот, врз основа на информациите добиени од сензорот за притисок на маслото на излезот од станицата, го пресметува регулаторното влијание. Оваа количина во форма дигитален кодактиваторот се пренесува.

RAM меморијата се користи за привремено складирање на информации добиени од сензори и средни резултати од пресметките на микропроцесорот.

Системскиот софтвер е зачуван во ROM (меморија само за читање). Операцијата за читање е контролирана од микропроцесорот.

Програмата, која е зачувана во ROM, ги обезбедува следните системски операции:

Секвенцијално испитување на сензори;

Контрола на аналогна во дигитална конверзија на аналоген сигнал;

Регулација на притисокот на маслото;

Индикација и аларм;

Одговор на губење на енергија.

Развој на системскиот алгоритам

Блок-дијаграмот на алгоритмот е претставен во Додаток Б.

Иницијализација

Во оваа фаза, контролните зборови се запишуваат на RUS на програмибилниот паралелен интерфејс. PPI DD10 работи во нулта режим. Пристаништата работат на следниов начин: порта A - влез, порта B - излез, порта C - излез. PPI DD1 работи во нулта режим. Пристаништата работат на следниов начин: порта A - излез, порта B - излез, порта C - излез.

Анкетирање со сензори

Аналогните сензори се анкетирани од ADC. Дискретните сензори преку портата А на PPI 1 се испитуваат од микропроцесорот.

Зачувување во RAM меморија

Резултатите добиени по испрашувањето на сензорите се внесуваат во мемориски уред со случаен пристап за привремено складирање.

Контролно дејство

Микропроцесорскиот систем ги анализира добиените податоци и генерира дигитално контролно дејство.

Изработка на шематски дијаграм

Шематскиот дијаграм на уредот е претставен во Додаток Д.

Адресната магистрала се формира со користење на тампон-регистер и возач на автобус. Изборот на регистарот се врши со помош на сигналот ALE на микропроцесорот. Возачот на автобусот е потребен за да се зголеми капацитетот на оптоварување на високиот бајт на адресата.

Магистралата за податоци се формира со помош на возач на автобус, кој се избира со примена на сигналите DT/R и OE.

Системската магистрала се формира преку декодерот DD10 со примена на комбинација од M/IO, WR, RD сигнали.

Табела 1 - Контролни сигнали

Изборот на ROM, RAM и други уреди се случува со користење на линиите A13-A15 од адресната шина преку декодер. ROM-клетките се наоѓаат на адреса 0000h.

Табела 2 - Избор на уред

			Уред

Изборот на порта или регистар на контролниот збор PPI се врши преку линиите A0, A1 од адресната магистрала. Дискретни сензори се испорачуваат на влезовите на портата A PA0-PA7 на PPI DD12; до влезовите на портата B - од ADC; LED диоди се поврзани со влезовите на портата C.

Аналогниот мултиплексер се користи за избор на уред од кој се читаат информациите. Во ADC е вграден аналоген мултиплексер. Ширината на ADC се совпаѓа со ширината на податочната магистрала и е 8 бита.

Отпорниците R2-R4 се користат за претворање на унифициран тековен сигнал од 4...20 mA во напон од 1...5V.

Со кликнување на копчето „Преземи архива“, целосно бесплатно ќе ја преземете датотеката што ви треба.
Пред преземање оваа датотекаРазмислете за добрите апстракти, тестови, термински трудови, дисертации, статии и други документи кои лежат неподигнати на вашиот компјутер. Ова е ваша работа, таа треба да учествува во развојот на општеството и да им користи на луѓето. Најдете ги овие дела и поднесете ги до базата на знаење.
Ние и сите студенти, дипломирани студенти, млади научници кои ја користат базата на знаење во нивните студии и работа ќе ви бидеме многу благодарни.

За да преземете архива со документ, внесете петцифрен број во полето подолу и кликнете на копчето „Преземи архива“

Слични документи

Анализа на опции за дизајнерски решенија и избор на оптимално решение врз основа на тоа. Синтеза на функционален дијаграм на микропроцесорски систем врз основа на анализа на изворните податоци. Процесот на развој на хардвер и софтвер за микропроцесорски систем.

работа на курсот, додадена на 20.05.2014 година


Теоретска основаразвој на микропроцесорски систем базиран на микроконтролер и уред за читање е-книги, анализа на нивните технички и економски показатели и споредба со аналози. Основни стандарди за заштита на трудот при работа со компјутер.

теза, додадена 13.07.2010


Изводливоста за користење на MP уред. Архитектура на микропроцесорски систем. Структурна организација на LSI VT со изолирани автобуси. Содржина и можен фокус на микроконтролерот. Генерализирана структура на едноставен вграден микроконтролер.

апстракт, додаден на 28.04.2011 година


Структурата на микропроцесорскиот систем, алгоритам за негова контрола и пренос на сигнал. Карта на дистрибуција на адреси. Електричен развој Шематски дијаграми избор на елементарна основа. Пресметка на тековната потрошувачка, напојување, софтвер.

работа на курсот, додадена 22.01.2014 година


Дистрибуција на функции помеѓу хардверските и софтверските делови на микропроцесорскиот систем. Избор на микроконтролер, развој и опис на структурен, функционален и дијаграм на колото. Избор на програмска средина, алгоритамски дијаграм и листа на програми.

работа на курсот, додаде 17.08.2013


Цел и дизајн на микропроцесорски контролен систем. Опис на функционалниот дијаграм на микропроцесорскиот контролен систем. Пресметка на статичките карактеристики на мерниот канал. Изработка на алгоритам за функционирање на микропроцесорски контролен систем.

се разбира работа, додаде 08/30/2010


Општ концепт на микроконтролери, нивна употреба и намена. Развој на проект за систем за собирање податоци на микропроцесор со користење на штандови SDK 1.1 и SDX 0.9. Создавање софтвер и негово вчитување во лабораториски штанд SDK-1.1.

работа на курсот, додадена 31.01.2014 година

Квалитативните и квантитативните промени во елементарната основа на VT опремата доведоа до

менување на воспоставените принципи на нивниот дизајн (како крути

структура, доследен централен менаџмент, линиска организација

меморијата и неможноста да се прилагоди компјутерската структура на особеностите

проблемот се решава).

Класичните Фон Нојманови принципи за организирање на компјутерски системи беа заменети со идеите за ориентација на проблемот на MPS, паралелна и цевководна обработка на информации, употреба на табеларни методи за обработка на податоци, принципи на регуларност и хомогеност на структурите на MPS; станува реално

можност за создавање адаптивно реконфигурабилни системи, како и

хардверска имплементација на софтверските функции. Затоа, во моментов

време при дизајнирање на компјутерски системи базирани на MPS примени

примена на таканаречениот принцип „3M“: модуларност, трупање,

микропрограмабилност.

Принципот на модуларна организацијавклучува изградба на пресметковни и

контролирање на MPS врз основа на збир на модули: структурни, функционални и

електрично комплетни компјутерски уреди кои ви овозможуваат самостојно

или во комбинација со други модули за решавање на проблеми од оваа класа. Модуларен

пристапот кон дизајнот на микрокомпјутери и системи дозволува (кога се имплементира како

универзални и специјализирани модули) за да се обезбеди создавање на семејства

(редови) на MPS, различни функционалности карактеристики,

покривајќи значителен опсег на апликации, помага да се намали

трошоците за дизајн, а исто така го поедноставува проширувањето на капацитетот и

реконфигурација на системите, го одложува застареноста на пресметките

'Рбетниот метод на размена на информацииза разлика од начинот на организација

произволните врски (според принципот „сите со секого“) ви овозможува да организирате и

минимизирајте го бројот на врски во MPS. Ја олеснува размената на информации помеѓу

функционални и структурни модули од различни нивоа користејќи

автопати кои ги поврзуваат влезните и излезните автобуси. Постојат еден-, два-,

поврзување со три и повеќе линии. Неопходно е да се забележи врската

дизајн на кола и структурни решенија кои се појавуваат при имплементацијата

овој методразмена во форма на создавање специјален двонасочен тампон

каскади со три стабилни состојби и употреба на привремени

мултиплексирање на канали за размена.

Контрола на фирмверотобезбедува најголема флексибилност во организацијата

мултифункционални модули и овозможува ориентација на проблемот

MPS, а исто така користат макро операции во нив, што е поефикасно од користењето

стандардни рутини. Покрај тоа, пренос на контролирани зборови во форма

шифрирана код секвенци одговара на условите за минимизирање

број на VLSI пинови и намалување на бројот на интерконекции во модулите.

Покрај главните карактеристики на дизајнот на MPS наведени погоре, треба да биде

забележете го принципот на регуларност, кој претпоставува природна

повторливост на елементите на структурата на MPS и врските меѓу нив. Примена на ова

принципот ви овозможува да ја зголемите интегралната густина, да ја намалите должината на врските

на чип, намалување на тополошкото и времето за дизајнирање на кола

дизајн на LSI и VLSI, намалување на бројот на раскрсници и видови на функционални

и структурни елементи.

При развивање на архитектурата MPS (стадиум на системот), потребно е да се реши следново

Опишете ја концептуалната структура на функционалното однесување на системот со

позиции на земање предвид на интересите на корисникот при неговата изградба и организација

процес на пресметувањево тоа;

Определете ја структурата, номенклатурата и карактеристиките на конструирањето на софтвер и

микропрограмски алатки;

Опишете ги карактеристиките на внатрешната организација на тековите на податоци и контролата

информации;

Спроведете анализа на функционалната структура и карактеристиките на физичките

имплементација на системски уреди од перспектива на софтверска рамнотежа,

микропрограма и хардвер.

Главните фази на дизајнирање на MPS се прикажани на сл. 3.1.

Во почетната фаза на дизајнирање, MPS може да се опише во една од

следните концептуални нивоа: „црна кутија“, структурно, програмско,

логично, коло.

На ниво на „црна кутија“, MPS е опишан со надворешни спецификации, каде

се наведени надворешните карактеристики.

Ориз. 3.1. Фази на дизајн на MPS

Структурното ниво го создаваат хардверските компоненти на MPS, кои

опишани со функциите на поединечните уреди, нивните меѓусебни врски и информации

потоци.

Нивото на софтверот е поделено на две поднивоа (инструкции за процесорот и

јазик) и MPS се толкува како низа од оператори или

наредби кои предизвикуваат едно или друго дејство на одредена структура на податоци.

Логичкото ниво е вродено исклучиво во дискретни системи и е поделено на

две поднивоа: прекинувачки кола и преноси на регистри.

Првото подниво е формирано од порти (комбинирани кола и мемориски елементи) и оператори за обработка на податоци изградени врз нивна основа. Второто подниво се карактеризира со повисок степен на апстракција и претставува опис на регистри и пренос на податоци меѓу нив. Вклучува два

делови: информации и контрола: првиот е формиран од регистри,

оператори и патеки за пренос на податоци, вториот обезбедува во зависност од

временски сигнали кои иницираат пренос на податоци помеѓу регистрите.

Нивото на колото се заснова на опис на работата на дискретните елементи на уредот.

Во животниот циклус на MPS, како и секој дискретен систем, постојат три фази:

дизајн, производство и работа.

Секоја фаза е поделена на неколку фази за кои постојат веројатности за структурни или физички дефекти. Дефектите се класифицираат според нивните причини: физички, ако причината се дефекти на елементите и субјективни, ако причината се грешки во дизајнот.

Субјективните грешки се поделени на дизајн и интерактивни. Дизајн

дефектите се предизвикани од недостатоци внесени во системот во различни фази

спроведување на првобитната задача. Се појавуваат интерактивни дефекти во

за време на работа по вина на сервисниот персонал (оператор). Резултатот

манифестациите на дефект е грешка, а еден дефект може

предизвика голем број на грешки, а истата грешка може да биде предизвикана

многу дефекти.

Постои и концепт на дефект - физичка промена на параметрите

компоненти на системот што ги надминуваат дозволените граници. Дефектите се нарекуваат

неуспеси ако се привремени и неуспеси ако се трајни.

Дефектот не може да се открие додека не се создадат услови за

појавата на дефект поради тоа, чиј резултат треба да биде, во него

редица, предадена на излезот на предметот што се проучува со цел да се направи

забележлива неисправност.

Дијагнозата на дефекти е процес на утврдување на причината за грешката од

резултати од тестот.

Дебагирање е процес на откривање и утврдување грешки

извори на нивниот изглед според резултатите од тестирањето при дизајнирање на MPS.

Алатки за дебагирање се уреди, комплекси и програми. Понекогаш под

Дебагирањето се однесува на откривање, локализација и отстранување на дефекти. Успех

дебагирањето зависи од тоа како е дизајниран системот, дали

својства што го прават погодно за дебагирање, како и од користените алатки

за дебагирање.

За да се изврши дебагирање, дизајнираниот MPS мора да има

својства на контролираност, набљудување и предвидливост.

Контролабилност -својство на систем во кој неговото однесување е подложно на

управување, т.е. Можно е да се запре работата на системот во

одредена состојба и рестартирајте го системот.

Забележливост– својство на системот што ви овозможува да го следите неговото однесување

систем, зад промената на неговите внатрешни состојби.

Предвидливост– системско својство што овозможува системот да се инсталира во

состојба од која може да се предвидат сите наредни состојби.

MPS може значително да се разликува во нивната сложеност, барања и функции

оперативни параметри, волумен на софтвер, тип

микропроцесорски сет итн. Во овој поглед, процесот на дизајнирање може

варираат во зависност од барањата за системот.

Процесот на дизајнирање е итеративен процес. Неисправностите откриени за време на фазата на тестирање за прифаќање може да доведат до корекција на спецификацијата и

затоа, до почетокот на дизајнот на целиот систем. Најдете

дефектите мора да се откријат што е можно порано; за ова треба да контролирате

исправност на проектот во секоја фаза на развој. Постојат следниве методи

контрола на исправноста на дизајнот: верификација (формални методи

доказ за исправноста на проектот); моделирање; тестирање.

Неодамна, се појави многу работа на верификација на софтверот

софтвер, фирмвер, хардвер. Сепак, овие дела се уште се

теоретски по природа. Затоа, во пракса почесто се користи моделирање

однесување и тестирање на објектот на различни апстрактни нивоа

системски репрезентации.

Во фаза на формализирање на системските барања, следење на исправноста на проектот

особено неопходен бидејќи многу дизајнерски цели не се формализирани или

не може во принцип да се формализира. Функционалната спецификација може

анализирани од тим експерти или симулирани и тестирани во

експериментално да се идентификува постигнувањето на саканите цели. По одобрувањето

функционалната спецификација го започнува развојот на програмите за тестирање,

дизајниран да воспостави правилна работа на системот во согласност со

неговата спецификација. Идеално, тестовите се целосно развиени

врз основа на оваа спецификација и овозможување верификација на која било

имплементација на систем кој е прогласен за способен за извршување на функциите

наведени во спецификацијата. Овој метод е целосно спротивен од другите,

каде што се градат тестови во однос на специфични имплементации. Меѓутоа, во пракса

на развојот на тестот често му се дава помал приоритет од

проект, така што програмите за тестирање се појавуваат многу подоцна од него