Coverage Criteria for Testing of Object Interactions in Sequence Diagrams

UML 2.0 sequence diagrams are used to synthesize test scenarios. A UML 2.0 sequence diagram usually consists of a large number of different types of fragments and possibly with nesting. As a consequence, arriving at a comprehensive system behavior in the presence of multiple, nested fragment is a complex and challenging task. So far the test scenario synthesis from sequence diagrams is concerned, the major problem is to extract an arbitrary flow of control. In this regard, an approach is presented here to facilitate a simple representation of flow of controls and its subsequent use in the test scenario synthesis. Also, the flow of controls is simplified on the basis of UML 2.0 control primitives and brought to a testable form known as intermediate testable model (ITM). The proposed approach leads to the systematic interpretation of control flows and helps to generate test scenarios satisfying a set of coverage criteria. Moreover, the ability to support UML 2.0 models leads to increased levels of automation than the existing approaches.

Download Full-text

Static generation of UML sequence diagrams

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-019-00545-z ◽

2019 ◽

Author(s):

Chris Alvin ◽

Brian Peterson ◽

Supratik Mukhopadhyay

Keyword(s):

Software Engineering ◽

Source Code ◽

Visual Representations ◽

Object Oriented ◽

Program Comprehension ◽

Theory And Practice ◽

Sequence Diagrams ◽

International Conference ◽

Android Applications ◽

Object Interactions

AbstractUML sequence diagrams are visual representations of object interactions in a system and can provide valuable information for program comprehension, debugging, maintenance, and software archeology. Sequence diagrams generated from legacy code are independent of existing documentation that may have eroded. We present a framework for static generation of UML sequence diagrams from object-oriented source code. The framework provides a query refinement system to guide the user to interesting interactions in the source code. Our technique involves constructing a hypergraph representation of the source code, traversing the hypergraph with respect to a user-defined query, and generating the corresponding set of sequence diagrams. We implemented our framework as a tool, StaticGen (supporting software: StaticGen), analyzing a corpus of 30 Android applications. We provide experimental results demonstrating the efficacy of our technique (originally appeared in the Proceedings of Fundamental Approaches to Software Engineering—20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017).

Download Full-text

Fault Model for UML Behavioral Activity and Sequence Diagrams

International Journal of Engineering and Advanced Technology - Regular Issue ◽

10.35940/ijeat.a2044.109119 ◽

2019 ◽

Vol 9 (1) ◽

pp. 6926-6929

Keyword(s):

Fault Detection ◽

Software Testing ◽

Fault Model ◽

Behavioral Activity ◽

Sequence Diagrams ◽

Coverage Criteria ◽

Testing Methodology ◽

Different Types ◽

Uml Diagrams ◽

Types Of Faults

In software testing, the fault detection in any software construct is very important factor to check how efficiently testing process is carried out. While testing software, it is required to take some coverage criteria to check the testing methodology. The paper shows a way for fault detection for UML behavioral diagrams. Different types of faults which can occur in UML diagrams are discussed and a fault model is proposed for combinational diagram made by integrating UML behavioral diagram such as activity and sequence diagrams. The percentage of fault detected in software is calculated using fault model and to prove how efficient is the software testing process.

Download Full-text

TESTING ASPECT-ORIENTED PROGRAMS WITH UML DESIGN MODELS

International Journal of Software Engineering and Knowledge Engineering ◽

10.1142/s0218194008003672 ◽

2008 ◽

Vol 18 (03) ◽

pp. 413-437 ◽

Cited By ~ 13

Author(s):

DIANXIANG XU ◽

WEIFENG XU ◽

W. ERIC WONG

Keyword(s):

Sequence Diagram ◽

Test Case ◽

Test Cases ◽

Sequence Diagrams ◽

Aspect Oriented Programming ◽

Design Models ◽

Coverage Criteria ◽

Model Based Testing ◽

Class Diagrams ◽

Testing Approach

The new constructs in aspect-oriented programming bring new types of programming faults with respect to crosscutting concerns, such as incorrect pointcuts and advice. This paper presents a UML-based approach to testing whether or not an aspect-oriented program conforms to its expected crosscutting behavior. We explore aspect-oriented UML design models to derive tests for exercising interactions between aspects and classes. Each aspect-oriented model consists of class diagrams, aspect diagrams, and sequence diagrams. For a method under test, we weave the sequence diagrams of the advice on the method into the method's sequence diagram. Based on the woven sequence diagram and class/aspect diagrams, we then generate an AOF (Aspect-Object Flow) tree by applying coverage criteria such as condition coverage, polymorphic coverage, and loop coverage to woven sequence diagrams. In the AOF tree, each path from the root to a leaf is an abstract message sequence, indicating a template of test cases. A concrete test case is obtained by creating objects that satisfy the collective constraints in the template. Our empirical study shows that the model-based testing approach is capable of revealing several types of aspect-specific faults, including incorrect advice type, incorrect (weaker or stronger) pointcut strengths, and incorrect aspect precedence.

Download Full-text

Single Depth View Based Real-Time Reconstruction of Hand-Object Interactions

ACM Transactions on Graphics ◽

10.1145/3451341 ◽

2021 ◽

Vol 40 (3) ◽

pp. 1-12

Author(s):

Hao Zhang ◽

Yuxiao Zhou ◽

Yifei Tian ◽

Jun-Hai Yong ◽

Feng Xu

Keyword(s):

Real Time ◽

Synthetic Data ◽

Real Data ◽

Depth Image ◽

Real Time System ◽

The Real ◽

Time Performance ◽

Contact Constraint ◽

Object Shapes ◽

Object Interactions

Reconstructing hand-object interactions is a challenging task due to strong occlusions and complex motions. This article proposes a real-time system that uses a single depth stream to simultaneously reconstruct hand poses, object shape, and rigid/non-rigid motions. To achieve this, we first train a joint learning network to segment the hand and object in a depth image, and to predict the 3D keypoints of the hand. With most layers shared by the two tasks, computation cost is saved for the real-time performance. A hybrid dataset is constructed here to train the network with real data (to learn real-world distributions) and synthetic data (to cover variations of objects, motions, and viewpoints). Next, the depth of the two targets and the keypoints are used in a uniform optimization to reconstruct the interacting motions. Benefitting from a novel tangential contact constraint, the system not only solves the remaining ambiguities but also keeps the real-time performance. Experiments show that our system handles different hand and object shapes, various interactive motions, and moving cameras.

Download Full-text