Wyniki wyszukiwania - BazTech

1

Automated Code Generation from Use cases and the Domain Model

Chu Minh-Hue, Dao Anh-Hien

Annals of Computer Science and Information Systems

|

2022

|

Vol. 33

75--81

EN

In this paper, we propose a method to automatically generate source code files from a use case model and a domain class diagram named USLSCG (Use case Specification Language (USL) based Code Generation). In our method, a use case scenario is precisely specified by a USL model. The USL model and the domain class diagram then are used as inputs to generate source code files automatically. These source code files include classes following three-layer applications and a SQL script file to create a database and store procedures.

2

Extending UML Use Case Diagrams to Represent Non-Interactive Functional Requirements

Iqbal Saqib, Al-Azzoni Issam, Allen Gary, Khan Hikmat Ullah

e-Informatica Software Engineering Journal

|

2020

|

Vol. 14, nr 1

97--115

EN

Background: The comprehensive representation of functional requirements is a crucial activity in the analysis phase of the software development life cycle. Representation of a complete set of functional requirements helps in tracing business goals effectively throughout the development life cycle. Use case modelling is one of the most widely-used methods to represent and document functional requirements of the system. Practitioners exploit use case modelling to represent interactive functional requirements of the system while overlooking some of the non-interactive functional requirements. The non-interactive functional requirements are the ones which are performed by the system without an initiation by the user, for instance, notifying something to the user or creating an internal backup. Aim: This paper addresses the representation of non-interactive requirements along with interactive ones (use cases) in one model. This paper calls such requirements 'operation cases' and proposes a new set of graphical and textual notations to represent them. Method: The proposed notations have been applied on a case study and have also been empirically evaluated to demonstrate the effectiveness of the new notations in capturing non-interactive functional requirements. Results and Conclusion: The results of the evaluation indicate that the representation of operation cases helps in documenting a complete set of functional requirements, which ultimately results in a comprehensive translation of requirements into design.

3

Acceptance testing of web applications with Test Description Language

Olek Ł., Alchimowicz B., Nawrocki J.

Computer Science

|

2014

|

Vol. 15 (4)

459--477

EN

Acceptance tests are usually created by a client after a part of a system is implemented. However, some methodologies propose the elaboration of test cases before implementing a system. This approach increases the probability of system implementation that fulfills requirements, but may be problematic for customers and testers. To allow acceptance testing in such conditions, we propose to define test cases by recording them on an interactive mockup (a low detailed user-interface prototype). The paper focuses on Test Description Language, a notation used to store test cases.

4

Formal analysis of use case diagrams

Klimek R., Szwed P.

Computer Science

|

2010

|

Vol. 11

115-131

EN

Use case diagrams play an important role in modeling with UML. Careful modeling is crucial in obtaining a correct and efficient system architecture. The paper refers to the formal analysis of the use case diagrams. A formal model of use cases is proposed and its construction for typical relationships between use cases is described. Two methods of formal analysis and verification are presented. The first one based on a states' exploration represents a model checking approach. The second one refers to the symbolic reasoning using formal methods of temporal logic. Simple but representative example of the use case scenario verification is discussed.

PL

Diagramy przypadków użycia odgrywają znaczącą rolę w modelowaniu systemów z wykorzystaniem UML. Staranne i dokładne modelowanie ma zasadnicze znaczenie w postępowaniu umożliwiającym uzyskanie poprawnej i efektywnej architektury systemu. Artykuł odnosi się do formalnej analizy diagramów przypadków użycia. Został zaproponowany model formalny przypadku użycia, a także opisano odpowiednie konstrukcje dla relacji występujących pomiędzy przypadkami użycia. Zostały przedstawione dwie formalne metody ich analizy i weryfikacji. Pierwsza oparta jest na eksploracji stanów i reprezentuje podejście nazwane weryfikacją modelową. Druga odwołuje się do wnioskowania symbolicznego z wykorzystaniem logiki temporalnej. Został pokazany prosty i reprezentatywny przykład weryfikacji pewnego scenariusza przypadku użycia.