Browsing by Subject "testing"

Now showing 1 - 5 of 5

Access status: Open Access ,
Improving software systems by Flow Control Analysis
(Wydawnictwa AGH, 2012) Poznański, Piotr; Wawrowski, Mariusz
Using agile methods during the implementation of the system that meets mission critical requirements can be a real challenge. The change in the system built of dozens or even hundreds of specialized devices with embedded software requires the cooperation of a large group of engineers. This article presents a solution that supports parallel work of groups of system analysts and software developers. Deployment of formal rules to the requirements written in natural language enables using formal analysis of artifacts being a bridge between software and system requirements. Formalism and textual form of requirements allowed the automatic generation of message flow graph for the (sub) system, called the 'big-picture-model'. Flow diagram analysis helped to avoid a large number of defects whose repair cost in extreme cases could undermine the legitimacy of agile methods in projects of this scale. Retrospectively, a reduction of technical debt was observed. Continuous analysis of the 'big picture model' improves the control of the quality parameters of the software architecture. The article also tries to explain why the commercial platform based on UML modeling language may not be sufficient in projects of this complexity.
Access status: Open Access ,
Monitoring of loads in arch support with wire strain gauge
(Wydawnictwa AGH, 2019) Woszczyński, Mariusz; Tokarczyk, Jarosław; Mazurek, Krzysztof; Pytlik, Andrzej
A concept of measuring the load and geometry of a roadway support with the use of vibrating wire strain gauges and draw-wire sensors is presented. Laboratory and in-situ tests of complete frames of arch supports under load were carried out within the INESI project. The deformations recorded by the vibrating wire strain gauges are similar to those recorded by the strain gauges. FEM strength calculations (which were similar to the results from the stand tests) were also presented.
Access status: Restricted ,
Opracowanie modułu do zarządzania testami jednostkowymi do semantycznej bazy wiedzy
(Data obrony: 2017-01-20) Wacławik, Krzysztof
Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
Access status: Open Access ,
Running and Testing the Programs Created in IEC 61131-3 Languages
(Wydawnictwa AGH, 2013) Jamro, Marcin; Trybus, Bartosz
W artykule przedstawiono nowe rozszerzenia pakietu inżynierskiego CPDev umożliwiające testowanie i uruchamianie jednostek organizacyjnych oprogramowania zdefiniowanych w normie IEC 61131-3 (PN/EN 61131-3). Testowanie realizowane jest za pomocą symulacji lub w trybie on-line. Mechanizm źródeł danych umożliwia testowanie programów uruchamianych na różnych platformach docelowych. Przedstawiono narzędzia umożliwiające debugowanie programów utworzonych w językach graficznych FBD i LD oraz wykorzystywane w końcowej fazie rozruchu (commissioning). Ostatnio wprowadzono w środowisku CPDev możliwość definiowania testów zorientowanych na jednostki organizacyjne oprogramowania takie jak funkcje, bloki funkcjonalne lub programy. Takie testy jednostkowe można określać za pomocą specjalizowanego języka CPTest lub w formie tabeli.
Access status: Restricted ,
Wykrywanie punktów zmiany wariancji
(Data obrony: 2015-10-27) Mizera, Anna
Wydział Matematyki Stosowanej