Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: UML sequence diagram

Sortuj według:

Ogranicz wyniki do:

Specification of real-time systems using UML sequence diagrams

Huzar Z., Walkowiak A.

Przegląd Elektrotechniczny

2010

R. 86, nr 9

226-229

The paper proposes an approach to a definition of a semantic of UML sequence diagram extended to real-time system specification set using a transformation of the sequence diagrams into a graph of possible scenarios of system-environment interactions. The described transformation allows the analysis of specification properties: consistency, definiteness and completeness, and can be used to check if the system’s behavior satisfies liveness and safety properties

W artykule przedstawiono propozycję definicji semantyki zbioru diagramów sekwencji języka UML rozszerzonych dla specyfikacji systemów czasu rzeczywistego. Zapisem przyjętej interpretacji zbioru diagramów jest graf możliwych scenariuszy interakcji systemu z otoczeniem, do którego zbiór jest transformowany. Zdefiniowana transformacja umożliwia weryfikację poprawności (niesprzeczności, określoności, kompletności) oraz badanie własności (bezpieczeństwa, żywotności) opracowywanych specyfikacji.

A novel test case design technique using dynamic slicing of UML sequence diagrams

Samuel P., Mall R.

e-Informatica Software Engineering Journal

2008

Vol. 2, nr 1

61--77

We present a novel methodology for test case generation based on UML sequence diagrams. We create message dependence graphs (MDG) from. Edge marking dynamic slicing method is applied on MDG to create slices. Based on the slice created with respect to each predicate on the sequence diagram, we generale test data. We formulate a test adequacy criterion named slice coverage criterion. Test cases that we generate achieves slice coverage criterion. Our approach achieves slice test coverage with few test cases. We generate effective test cases for cluster level testing.