Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 2

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  testy systemowe
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
PL
W artykule zbadano zagadnienie zwarcia w linii dwutorowej z nieselektywnym działaniem związanym z nastawami przekaźnika opartymi na niedokładnej/niewystarczającej znajomości impedancji linii. Analiza zwarcia oparta jest na zmierzonych impedancjach linii i symulacji/testach systemowych wykonywanych za pomocą oprogramowania RelaySimTest. Przyjęto i udokumentowano odpowiednią procedurę pomiaru impedancji linii w liniach dwutorowych w możliwie najmniej inwazyjny sposób.
EN
This paper investigates a double-circuit line fault with non-selective tripping caused by the parameterization of the relay based on inaccurate/insufficient knowledge of the line impedances. Analysis of the fault is based on the measured line impedances and the simulation/system-based testing using RelaySimTest. An appropriate procedure was adopted and documented to measure the line impedances of double-circuit lines in a minimally invasive manner.
EN
The paper presents an application of model-based approach for testing software systems with dynamic behavior. Model-based testing concept is introduced and explained. Mathematical model of the system under test is described by state space equations. Then, mathematical and implementation challenges associated with testing of the dynamic systems are briefly described. These challenges are related to notation of tests, calculation of test coverage, implementation of a test comparator and automatic generation of test cases. Some author's ideas and solutions are presented. An application example is given to illustrate theoretical analysis and mathematical formulation.
PL
Postęp technologiczny w dziedzinie elektroniki i informatyki spowodował w ostatnich latach zmiany w podejściu do projektowania systemów sterowania. Programowalne układy mikroprocesorowe stały się nieodłącznym elementem układów sterowania, zastępując rozwiązania analogowe, mechaniczne i elektromechaniczne. Modele matematyczne są nie tylko wykorzystywane w symulacjach komputerowych, w optymalnym doborze parametrów układu, w kalibracji układu, ale także z modeli generuje się kod źródłowy oraz testy. Testowanie układów sterowania polega na sprawdzeniu czy algorytm sterowania, który jest podany w postaci modelu, został prawidłowo zrealizowany w rzeczywistym układzie elektronicznym. Obecny stan wiedzy oferuje efektywne algorytmy i metody testowania dla systemów opisywanych przy użyciu algebry Boole'a, grafów czy też maszyn stanów, ale testowanie układów dynamicznych opisywanych za pomocą równań różniczkowych jest stosunkowo słabo wspierane przez odpowiednie narzędzia i metody. W pracy opisano podejście oparte na modelach, które może być wykorzystane do testowania układów dynamicznych implementowanych na maszynach cyfrowych. Rozważania teoretyczne zostały zilustrowane odpowiednim przykładem.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.