Wyniki wyszukiwania - BazTech

1

ModelWeb : a toolset for the model-based testing of web applications

Ozkaya Mert, Kose Mehmet Alp, Mamur Arda Burak, Koc Turker

Annals of Computer Science and Information Systems

|

2022

|

Vol. 32

331--338

EN

Model-based testing promotes the specifications ofabstract system behaviours and their transformations into test scenarios to enhance the quality of software testing. In this paper, we propose a modeling toolset called ModelWeb for the model-based testing of web applications. ModelWeb provides a modeling editor that offers a flowchart-based notation set for the modeling of users' functional behaviours on the web applications. ModelWeb's flowchart notation set consists of a pre-defined list of user actions (e.g., click, type, login, register, select etc.) and system actions (display and return). ModelWeb can further transform the flowchart-based model for a web functionality (e.g., adding products to cart in an online store) into the test scenarios that are documented in accordance with the behaviour driven development (BDD) approach for understandability and the acceptance by the web test automation tools. So finally, ModelWeb can automatically test the web applications against the transformed BDD scenarios using the Selenium web test automation tool and report the test results to the user. To evaluate ModelWeb, we asked four practitioners from diverse industries to test three different web-applications with and without ModelWeb. We observed that ModelWeb enables considerable gains on the time performance (27-41\%) and the number BDD scenarios obtained (51-113\%).

2

Data Quality Model-based Testing of Information Systems

Bicevskis Janis, Bicevska Zane, Nikiforova Anastasija, Oditis Ivo

Annals of Computer Science and Information Systems

|

2020

|

Vol. 21

595--602

EN

This paper proposes a model-based testing approach by offering to use the data quality model (DQ-model) instead of the program's control flow graph as a testing model. The DQ-model contains definitions and conditions for data objects to consider the data object as correct. The study proposes to automatically generate a complete test set (CTS) using a DQ-model that allows all data quality conditions to be tested, resulting in a full coverage of DQ-model. In addition, the possibility to check the conformity of the data to be entered and already stored in the database is ensured. The proposed alternative approach changes the testing process: (1) CTS can be generated prior to software development; (2) CTS contains not only input data, but also database content required for complete testing of the system; (3) CTS generation from DQ-model provides values against which the system can be further tested. If the test results correspond to the values obtained during CTS generation, the system under test shall be considered to have been tested according to DQ-model. Otherwise, the user can verify the cause of the differences that may occur due incorrect software, as well as an inaccurate specification.

3

Experimental research of cable tension tuning of a scaled model of cable stayed bridge

Pakos W., Wójcicki Z., Grosel J., Majcher K., Sawicki W.

Archives of Civil and Mechanical Engineering

|

2016

|

Vol. 16, no. 1

41--52

EN

The paper describes the idea and the algorithms of a method for reducing the resonant vibration of the cables in a footbridge. The method relies on change of the static tension in chosen cables of the footbridge. The changes in static tension are introduced when resonance vibration occurs. The paper delineates empirical research employed to experimentally verify the numerical prediction. It has been demonstrated that it is possible to select some stay cables in which applicable change in static tension force value ensures amplitude reduction of forced resonance oscillations of any cable of the whole system. The choice of cables and the magnitude of tension change in them were based on the sensitivity analysis of an eigenproblem formulated in accordance with second order theory. The experimental research was designed to demonstrate practical effectiveness of amplitude reduction of stay cable resonant vibration method. A physical laboratory model of the footbridge was built in compliance with dimensional analysis on a scale of 1:10. Operational Modal Analysis (OMA) method was applied to identifying modal characteristic of a footbridge model.

4

Mury skrępowane – szansa na zwiększenie nośności konstrukcji

Jäger W., Schöps P.

Materiały Budowlane

|

2013

|

nr 5

25--27

5

Application of model-based approach for testing dynamic systems

Skruch P.

Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

|

2011

|

T. 15, z. 1

99-110

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.