![]() Главная страница Случайная страница КАТЕГОРИИ: АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника |
Построение проверяющего теста Тп РКС с использованием метода цепей и сечения.
При построении проверяющего теста Тп для каждого контакта по приведённому выше алгоритму вычисляются функции Этот набор обеспечивает замыкание контактов самой цепи, а так же размыкание цепи 2 на контакте с и цепи G3 на контакте в2. Используем данный метод для построения Тп схемы. Рассмотрим первую цепь G1=ab1. Она проверяется на наборе аьне(c2) который обеспечивает замыкание контактов самой цепи, а также размыкание цепи G2=c1b1 на контакте с1 и цепи G3=b2c2 на контакте b2. Аналогично цепь G2=c1b1проверяют на наборе ab с, а цепь G3=b2не(c2) — на наборе не(а)ьс. Рассмотрим сечение Н1=не(а) с1не(Ь2), которое обеспечивается при подаче входного набора. не(а)ьс. Нетрудно проверить, что в этом случае для каждого контакта, входящего в сечение Н1, существует урезанная цепь. В самом деле, при коротком замыкании контакта а замыкается цепь при коротком замыкании контакта с1, — цепь G2, а при коротком замыкании контакта Ь2 — цепь G3. Поэтому все контакты сечения Н1 проверяются на указанном наборе и должны быть отмечены. В качестве следующего целесообразно рассмотреть сечение H4=b1c2, так как оно додержит только неотмеченные контакты. Сечение H4 существует на наборе не(a)bc или abc. Целесообразна выбрать набор abc как в этом случае для обоих контактов сечения Н4 существуют урезанные цепи. Контакты Ь1 и с2 отмечаются. В результате все контакты оказываются отмеченными и поэтому процесс рассмотрения сечений завершается. Получен тест Tп=[aне(bc), не(аь)с, абне(с), а Ь не(с), не(a)bне(c), аьс].
|