Построение проверяющего теста Тп РКС с использованием метода цепей и сечения.

При построении проверяющего теста Тп для каждого контакта по приведённому выше алгоритму вычисляются функции и , а тест находят, как их логическое произведение. При решении практических задач целесообразнее использовать такой метод построения минимизированного проверяющего теста для класса последовательно-параллельных схем. Для этого для каждой цепи находят проверяющий входной набор, который обеспечивает замыкание всех контактов, входящих в цепь и размыкание всех остальных цепей схемы. При таком наборе одновременно проверяются на отсутствие неисправностей типа разрыв все контакты, входящие в цепь. В схеме без избыточность такие наборы существуют для каждой цепи. Полученные наборы включаются в тест. Для каждой цепи проверяющий входной набор, который обеспечивает замыкание всех контактов, входящих в цепь и размыкание остальных цепей схемы. Очевидно, что на таком наборе одновременно проверяются на отсутствие неисправностей типа разрыв все контакты, входящие в цепь. В схеме без избыточности такие наборы существуют для каждой цепи. Все, полученные в результате этой процедуры наборы, включаются в тест. Далее рассматривают первое (любое) сечение, находят набор, на котором обеспечивается существование этого сечения, отмечаются те контакты сечения, для которых при выбранном наборе обеспечивается так же существование усечённой цепи. Затем рассматривают следующее по порядку сечение. Целесообразно выбирать сечение, имеющее наибольшее число неотмеченных контактов. Процесс рассмотрения сечений заканчивается тогда, когда все контакты схемы будут отмечены.

Этот набор обеспечивает замыкание контактов самой цепи, а так же размыкание цепи 2 на контакте с и цепи G3 на контакте в2. Используем данный метод для построения Т_п схемы. Рассмотрим первую цепь G1=ab1. Она проверяется на наборе аьне(c2) который обеспечивает замыкание контактов самой цепи, а также размыкание цепи G2=c1b1 на контакте с1 и цепи G3=b2c2 на контакте b2. Аналогично цепь G2=c1b1проверяют на наборе ab с, а цепь G3=b2не(c2) — на наборе не(а)ьс. Рассмот­рим сечение Н1=не(а) с1не(Ь2), которое обеспечивается при подаче входного набора. не(а)ьс. Нетрудно проверить, что в этом случае для каждого контакта, входящего в сечение Н1, существует урезанная цепь. В самом деле, при коротком замы­кании контакта а замыкается цепь при коротком замыкании контакта с1, — цепь G2, а при коротком замыкании контакта Ь₂ — цепь G3. Поэтому все контакты сечения Н1 проверяются на указанном наборе и должны быть отме­чены. В качестве следующего целесообразно рассмотреть сечение H4=b1c2, так как оно додержит только неотмеченные контакты. Сечение H4 существует на наборе не(a)bc или abc. Целесообразна выбрать набор abc как в этом случае для обоих контактов сечения Н₄ существуют урезанные цепи. Контакты Ь1 и с2 отмечаются. В результате все контакты оказываются отмеченными и поэтому процесс рассмотрения сечений завершается. Получен тест Tп=[aне(bc), не(аь)с, абне(с), а Ь не(с), не(a)bне(c), аьс].