Сообщение изменено: muzzy (23 октября 2006 - 21:34 )
55 ответов в этой теме
#1
muzzy
-
- Пользователь
-
- 59 сообщений
Отправлено 23 октября 2006 - 21:17
Вот дал мне такую схемку и сказал написать все вектора которие обеспечивают 100% покрытия ошибок и какой вектор какую константу проверяет и чета я запарился.может есть мысли ?
#2
Mkay
-
- Пользователь
-
- 134 сообщений
Отправлено 25 октября 2006 - 08:26
2oj element OR ? // я просто пользуюсь другими обозначениями
Если так ,то попробую привести тебе пример для тестирования "А",а остальное делай сам по аналогии.
Проверка А на "stuck at zero":
D->0 B->1 C->1 A->1
т.е. вектор : 1110 (ABCD sequence)
False -> если на выходе 0.
True -> если на выходе 1.
Проверка А на "stuck at one":
A->0 D->0 B->1 C->1
vector: 0110
F -> 1
T -> 0
PS: лучше спроси у кого-нибудь из группы , таким образом ничего нормально не обьяснить
Если так ,то попробую привести тебе пример для тестирования "А",а остальное делай сам по аналогии.
Проверка А на "stuck at zero":
D->0 B->1 C->1 A->1
т.е. вектор : 1110 (ABCD sequence)
False -> если на выходе 0.
True -> если на выходе 1.
Проверка А на "stuck at one":
A->0 D->0 B->1 C->1
vector: 0110
F -> 1
T -> 0
PS: лучше спроси у кого-нибудь из группы , таким образом ничего нормально не обьяснить
#3
muzzy
-
- Пользователь
-
- 59 сообщений
Отправлено 25 октября 2006 - 10:30
Да 2-й OR.
У меня получилось 6 векторов, Е ето точка после AND
константа =1
a 0110
b 1010
c 1100
de 0000
константа =0
abce 1110
d 0001
?
У меня получилось 6 векторов, Е ето точка после AND
константа =1
a 0110
b 1010
c 1100
de 0000
константа =0
abce 1110
d 0001
?
#4
Mkay
-
- Пользователь
-
- 134 сообщений
Отправлено 25 октября 2006 - 11:20
да,вроде верно (: для проверки можешь сделать схему в каденсе и проверить через турбо тестер если умеешь ^^
#6
Mkay
-
- Пользователь
-
- 134 сообщений
Отправлено 25 октября 2006 - 22:20
Он на санах установлен либо поиши в гугле если хочешь для дома или найди другие VLSI CAD tools, не знаю какие из них подойдут для твоей ОС.Главное чтобы генерировался файл с нужным расширением после сохранения схемы чтобы его можно было использовать в ТТ.
#7
muzzy
-
- Пользователь
-
- 59 сообщений
Отправлено 26 октября 2006 - 00:25
Ну каденса нет в гугле.а фаил в .agm должен быть
#8
muzzy
-
- Пользователь
-
- 59 сообщений
Отправлено 14 ноября 2007 - 03:06
Если осталась еше домашка по етому предмету гденть в закромах родины рад буду ее увидеть ( [email protected] ) .... 27й вариант ВЫИГРЫШНЫЙ!!! 
А так же помощь знающих людей била бы полезна.....отзовитесь
( [email protected] ) .... 27й вариант ВЫИГРЫШНЫЙ!!! А так же помощь знающих людей била бы полезна.....отзовитесь
#9
djtm
-
- Пользователь
-
- 104 сообщений
Отправлено 27 февраля 2008 - 22:27
Люди, где скачать прогу в которой находят уникальные векторы.
Что-то я поползал у препода в архивах и не нашёл. А ездить из Ласнамяйки в ИТ-мая не очень хорошая перспектива.
Кстати у кого работа t9 ?
Что-то я поползал у препода в архивах и не нашёл. А ездить из Ласнамяйки в ИТ-мая не очень хорошая перспектива.
Кстати у кого работа t9 ?
Девушки будьте проще, нам будет жить легче!
#10
meikas
-
- Пользователь
-
- 90 сообщений
- Откуда:Narva/Tallinn
Отправлено 25 мая 2008 - 23:10
Кто нибудь знает как на основе Функциональной диаграммы решений(skeemi funktsionaalne optimeeritud otsustusdiagramm) та что с помощью разложения Шеннона делается, найти вектора тестирующие входы.
Вроде не сложно, но уточнить было бы не плохо=)
Заодно можете рассказать как произвести синтез тестов для всех входов с помощью SSBDD;-)
Полезна будет любая информация.
Просто по слайдам есть некоторые непонятки..
Вроде не сложно, но уточнить было бы не плохо=)
Заодно можете рассказать как произвести синтез тестов для всех входов с помощью SSBDD;-)
Полезна будет любая информация.
Просто по слайдам есть некоторые непонятки..
#11
Panso
-
- Пользователь
-
- 68 сообщений
Отправлено 27 мая 2008 - 13:52
Да мне тозе интересно узнать про ssbdd
#12
Mjaff
-
- Постоялец
-
- 257 сообщений
- Откуда:Taллинн
Отправлено 30 мая 2008 - 13:49
а где можно посмотрть, что будет на экзамене?
You know it's true
Everything I do, I do it for you
Everything I do, I do it for you
#13
neoroma
-
- Новобранец
-
- 15 сообщений
Отправлено 08 декабря 2008 - 20:08
Кто нибудь знает как на основе Функциональной диаграммы решений(skeemi funktsionaalne optimeeritud otsustusdiagramm) та что с помощью разложения Шеннона делается, найти вектора тестирующие входы.
Вроде не сложно, но уточнить было бы не плохо=)
Заодно можете рассказать как произвести синтез тестов для всех входов с помощью SSBDD;-)
Полезна будет любая информация.
Просто по слайдам есть некоторые непонятки..
skeemi funktsionaalne optimeeritud otsustusdiagramm - это задание делается как я понимаю с помощью BDD этот граф и служит для того чтобы тестировать входы, нужно найти такой путь который ведет к определенному выходу и если вход был 1 то проверяет на s-a-0 и наоборот если вход был 0 то проверяет на s-a-1
#15
DeDYwKaMoPo3
-
- Пользователь
-
- 17 сообщений
- Откуда:Утроба матери...
Отправлено 09 марта 2009 - 10:39
актуально...
Будем рады всем вариантам которые у кого то ещё есть
Будем рады всем вариантам которые у кого то ещё есть
#16
-Julia-
-
- Пользователь
-
- 54 сообщений
Отправлено 16 марта 2009 - 14:23
Народ, объясните, какой вообще программой нужно пользоваться для генерации теста?
#17
Billy Joe
-
- Пользователь
-
- 622 сообщений
Образованный тролль
Отправлено 16 марта 2009 - 14:58
-Julia-, Турбо Тестер, не?
Воруй, убивай!
#18
-Julia-
-
- Пользователь
-
- 54 сообщений
Отправлено 19 марта 2009 - 12:18
-Julia-, Турбо Тестер, не?
А этой программой можно только на Sun компбютерах пользоваться? Или для Win тоже какой-то аналог есть?
Не говори, что мне делать, и я не скажу куда тебе идти
#19
anaga
-
- Постоялец
-
- 702 сообщений
Отправлено 19 марта 2009 - 13:30
Есть тот же самый Turbo Tester и для Виндовса тоже.
#20
Firelord
-
- Постоялец
-
- 854 сообщений
- Откуда:Таллинн
Отправлено 19 марта 2009 - 14:42
Just google it.
Материалы для студентов с курса системотехники (IASB/IASM): http://starspirals.net/ttu/
#21
-Julia-
-
- Пользователь
-
- 54 сообщений
Отправлено 25 марта 2009 - 19:35
А что нужно для тестирования сумматора? Препод сказал, что нужно использовать какой-то метод с лекций... А третье задание нужно через турбо тестер делать?
Не говори, что мне делать, и я не скажу куда тебе идти
#22
Firelord
-
- Постоялец
-
- 854 сообщений
- Откуда:Таллинн
Отправлено 26 марта 2009 - 01:39
Функциональный метод. В слайдах есть он, причём именно для этого сумматора.А что нужно для тестирования сумматора?
Третье задание исключительно через ТТ.
Материалы для студентов с курса системотехники (IASB/IASM): http://starspirals.net/ttu/
#23
shargon
-
- Пользователь
-
- 272 сообщений
Отправлено 11 апреля 2009 - 12:40
Кто нибудь знает что нибудь о кр по этому предмету. Когда она будет, и что на ней будет?
#24
Firelord
-
- Постоялец
-
- 854 сообщений
- Откуда:Таллинн
Отправлено 11 апреля 2009 - 14:08
Когда — неизвестно, есть вероятность что вообще не будет. Что — булевы дифференциалы и BDD.
Материалы для студентов с курса системотехники (IASB/IASM): http://starspirals.net/ttu/
#25
Firelord
-
- Постоялец
-
- 854 сообщений
- Откуда:Таллинн
Отправлено 13 апреля 2009 - 19:02
Апдейт. Контрольная на следующей неделе, 2 задания, по 15 минут на каждое. Темы: булевы дифференциалы, функциональные и структурные BDD.
Материалы для студентов с курса системотехники (IASB/IASM): http://starspirals.net/ttu/
#26
shargon
-
- Пользователь
-
- 272 сообщений
Отправлено 16 апреля 2009 - 11:59
KontrolltЖЖ on 20.04. Tuleb lahendada kaks Эlesannet kolmest:
1) Lahendada Boole'i diffvУrrand (leida test)
2) Kontrueerida Boole'i funktsioonile funktsionaalne otsustusdiagramm
3) Kontrueerida Boole'i funktsioonile struktuurne otsustusdiagramm
1) Lahendada Boole'i diffvУrrand (leida test)
2) Kontrueerida Boole'i funktsioonile funktsionaalne otsustusdiagramm
3) Kontrueerida Boole'i funktsioonile struktuurne otsustusdiagramm
#27
pl@sh
-
- Пользователь
-
- 6 сообщений
- Откуда:tallinn
Отправлено 28 мая 2009 - 20:14
Срочно ищу человека который за умеренную плату сделает курсовую работу по предмету диагнстика дигитальных систем! жду предложений 53421735
#28
Djablo
-
- Пользователь
-
- 102 сообщений
Отправлено 01 июня 2009 - 16:44
Народ! кто сдавал сегодня экзам, поделитесь пожалуйста курсовой работой.
п.с. ГАРЮ
п.с. ГАРЮ
#30
Firelord
-
- Постоялец
-
- 854 сообщений
- Откуда:Таллинн
Отправлено 01 июня 2009 - 20:03
Шустрить учись.
Материалы для студентов с курса системотехники (IASB/IASM): http://starspirals.net/ttu/
