[PDF] Top 20 Formal Specification of UML Use Case Diagram - A CASL based approach

Formal Specification of UML Use Case Diagram - A CASL based approach

... formalizing UML behavioural diagram in B ...from UML behavioural diagrams to B specification with the help of UML specification as a ...B specification has been developed ... See full document

5

Risk based Test Case Prioritization using UML State Machine Diagram

... as specification of the system. State diagram is used to represent the dynamic aspect of the ...the diagram into extended flow graph and from extended flow graph feasible paths are generated using ... See full document

7

Specification of vertical semantic consistency rules of UML class diagram refinement using logical approach

... with UML, only a few works on UML semantic consistency management (Lucas et ...used formal methods to enhance UML modelling and software development process, others used informal ...a ... See full document

38

Experimental Comparison of the Comprehensibility of a UML based Formal Specification versus a Textual One

... a UML-B model even with very limited hours of ...the UML-B model if they have been exposed to both the UML and the B ...of formal method and object-oriented technology is also seen as ... See full document

11

An Approach to Automated Conceptual Database Design Based on the UML Activity Diagram

... objects based on existing ...the specification of order ...generated based on some existing object, and (iii) participant uses some existing ...details based on catalog items, we indirectly ... See full document

36

A Comparative Study of Formal and Informal Specifications through an Industrial Case Study

... ICONIX approach was also considered for Module2 but it was found to be ...the specification of Module 2 from package ...class diagram describing each package was a hierarchy of classes associated via ... See full document

5

AN ITERATIVE GENETIC ALGORITHM BASED SOURCE CODE PLAGIARISM DETECTION APPROACH USING NCRR SIMILARITY MEASURE

... front-end formal modelling language of the formal method Event-B. UML-B models semantics are given by the corresponding generated ...in UML-B. In this work, we propose a matching method for ... See full document

23

UML based Test Case Generation Methods: A Review

... test case generation from use cases another approach is discussed ...The approach is based on the rule for test cases that each scenario or instance of a use case should ... See full document

6

A Review on Human Gender Classification Based on Face Feature Extraction

... test case path and repeated functionalities ...This approach refers to the notation used to describe the model of ...refers Use cases to generate is finite state machines (FSM) with respect ... See full document

6

Test Case Generation using UML State Diagram and OCL Expression

... from use case diagram and expressed in terms of Object Constrained Language (OCL ...this approach it does not require any alteration in the UML models to generate test ...graph ... See full document

5

Automatic Test case Generation From UML State Chart Diagram

... using UML state chart ...criteria based on collaboration diagrams for static checking and dynamic ...of UML collaboration ...our approach tests the border determined by a simple predicate, ... See full document

11

Test Case Generation from UML Sequence Diagram for Aadhaar Card Number based ATM System

... test case generation strategy. In automatic test case generation, different UML diagrams are used by researcher for testing ...test. UML is used to model the requirements of the system. ... See full document

7

An enhanced UML consistency checker using logical approach

... consistency based on use case between four (4) most popular UML diagrams used by UML practitioners; use case diagram, activity diagram, sequence ... See full document

51

A Novel Approach for Automated Test Path Generation using TABU Search Algorithm

... Automated Approach to Generating Usage Scenarios from UML Activity Diagrams,” by Chandler, ...of UML activity diagram is a notation suitable for modeling a concurrent system in which multiple ... See full document

7

NEW MODEL TRANSFORMATION USING REQUIREMENT TRACEBILITY FROM REQUIREMENT TO UML BEHAVIORAL DESIGN

... to Use Case diagram, Use Case description to Activity diagram and Use Case to Sequence Diagram and many ...is based on only one specific output and ... See full document

7

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

... the UML metamodel ...measurement approach also called MDM approach where metrics are implemented as an instance of a metric specification ...[11] use XQuery language [12] to build ... See full document

10

Test Case Generation for Concurrent System using UML Combinational Diagram

... The UML Sequence Diagram, Activity Diagram and State Chart Diagram can be used for testing ...Chart Diagram is useful for unit testing and results a large number of test cases, due to ... See full document

10

Ontology Modeling of Social Roles of Users in Mobile Computing Environments

... approaches based on data structures used for representing and exchanging contextual information in their respective ...which use these key-value ...models use a hierarchical data structure comprising ... See full document

10

Modeling of Login Procedure for Wireless Application with Interaction Overview Diagrams

... UBCR application has three-tiered layer architecture consisting of client part, server part and database, as shown in deployment diagram in figure 1. Client device (e.g. PDA supplied with bar code reader) is ... See full document

22

Test Suite Minimization using Fuzzy Clustering for Aspect- Oriented Software System

... Abstract: Now-a-days, optimization of test suite using model-based testing techniques are gaining more popularity as they are easy to implement and less costly as compare to code-based testing. ... See full document

8