Treffer: Impact of Communication Timeouts on Meeting Functional Requirements for IEC 61131-3 Distributed Control Systems.

The control software is frequently used in various systems that perform important and responsible tasks in industry. During its development, it is crucial to ensure that the solution is created in a way consistent with assumptions and meets all functional requirements. One of important steps consists of testing particular software units, separated from the rest of system, using the off-line simulator. However, test results can be different in case of a fully-connected system when external factors, such as communication issues, should be also taken into account. In this paper, the authors present a concept of specification and execution of system tests, using the dedicated test definition language, named CPTest+. It has been extended by the additional ASSERT_COM instruction, which performs an assertion that is able to detect problems related to external factors, including communication. To enable automatic and systematic testing, the dedicated metric has been proposed. It takes into account the current link status and archived results to calculate the probability that the test case has failed due to communication problems. [ABSTRACT FROM AUTHOR]

Upravljacki software je cesto korišten u sustavima koji obavljaju kriticne zadatke u industriji. Tijekom njegovog razvoja, važno je osigurati zadovoljenje svih bitnih pretpostavki i funkcionalnih zahtjeva. Jedan od važnih koraka u razvoju navedenog softwarea je testiranje njegovih pojedinih cjelina korištenjem offline simulatora, neovisno o ostatku sustava. Međutim, rezultati testiranja mogu se bitnije razlikovati u slucaju potpuno povezanog sustava sa svim pripadajucim eksternim faktorima, kao što su komunikacijski problemi, koje je također potrebno uzeti u obzir. U ovom radu autori predstavljaju koncept definiranja i izvršenja testova sustava korištenjem jezika za namjensko definiranje testova, nazvanog CPTest+. On je proširen dodatnom ASSERT_COM naredbom koja obavlja provjeru s mogucnošcu detekcije problema uzrokovanih vanjskim faktorima, npr. komunikacijom. Kako bi se omogucilo automatsko i sistematicno testiranje predložen je namjenski mjerni sustav. On uzima u obzir trenutni status veze kao i arhivirane rezultate kako bi se odredila vjerojatnost neizvršenja testnog slucaja uslijed komunikacijskih problema. [ABSTRACT FROM AUTHOR]