Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Annals of Computer Science and Information Systems

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

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

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\%).

Towards Extending UML's Activity Diagram for the Architectural Modeling, Analysis, and Implementation

Kose Mehmet Alp, Ozkaya Mert

Annals of Computer Science and Information Systems

2020

Vol. 21

639--648

SAWUML is a general-purpose software modeling language that extends UML by unifying component and sequence diagrams for the specifications of software architectures. While component diagram is used for modeling the system structures, sequence diagram is extended with the Design-by-Contract approach for the modeling of system behaviors. In this paper, we aim at enhancing the language usability by providing alternative modeling choices for practitioners. To this end, we extended SAWUML's notation set with UML's activity diagram for the behavior modeling. So, practitioners may now use either sequence or activity diagrams, while the system structures are still modeled with component diagrams. We also extended SAWUML's modeling editor for creating software architecture models together with component and activity diagrams and the code generators for automatically obtaining (i) formal models in SPIN's ProMeLa for formal verification and (ii) Java-based implementation. We illustrate our language extension with the gas station case-study.