Model-based Testing and Monitoring using AgileUML

Lano, Kevin; Jin, Kunxiang; Tyagi, Shefali

doi:10.1016/j.procs.2021.04.012

Cited by 4 publications

(2 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The focus is not mainly on state machines, and therefore this work is not integrated in Table 2. Note that UML-RSDS is now called AgileUML [LJT21]. 8 Snook et al [SSB10b] provide an approach to translate UML models (including class diagrams and state machine diagrams) into UML-B diagrams [SB06; SB08], which incorporate Event-B method into UML diagrams.…”

Section: Translation To Pvs Kiv B and Zmentioning

confidence: 99%

Formalizing UML State Machines for Automated Verification – A Survey

André

Liu

et al. 2023

ACM Comput. Surv.

View full text Add to dashboard Cite

The Unified Modeling Language (UML) is a standard for modeling dynamic systems. UML behavioral state machines are used for modeling the dynamic behavior of object-oriented designs. The UML specification, maintained by the Object Management Group (OMG), is documented in natural language (in contrast to formal language). The inherent ambiguity of natural languages may introduce inconsistencies in the resulting state machine model. Formalizing UML state machine specification aims at solving the ambiguity problem and at providing a uniform view to software designers and developers. Such a formalization also aims at providing a foundation for automatic verification of UML state machine models, which can help to find software design vulnerabilities at an early stage and reduce the development cost. We provide here a comprehensive survey of existing work from 1997 to 2021 related to formalizing UML state machine semantics for the purpose of conducting model checking at the design stage.

show abstract

Section: Translation To Pvs Kiv B and Zmentioning

confidence: 99%

Formalizing UML State Machines for Automated Verification – A Survey

André

Liu

et al. 2023

ACM Comput. Surv.

View full text Add to dashboard Cite

show abstract

“…Moreover, AgileUML also can perform mutation testing on OCL specifications, enabling the construction of mutated OCL specifications and the generation of the corresponding executable JAVA code. Lano, through a case study, demonstrated the primary services offered by AgileUML [14]. The TCO techniques deployed in this study are TCM and TCP.…”

Section: Introductionmentioning

confidence: 98%

OCL-Based Test Case Optimisation with Modified APFD Metric

Jin,

Lano

2024

Preprint

View full text Add to dashboard Cite

Testing is one of the most time-consuming and unpredictable processes within the software development life cycle. As a result, many Test Case Optimisation (TCO) techniques have been proposed to make this process more scalable. Object Constraint Language (OCL) was initially introduced as a constraint language to provide additional details to UML models. However, as OCL continues to evolve, an increasing number of systems are being expressed by this language. Despite this growth, a noticeable research gap exists for the testing of systems whose specifications are expressed in OCL. In our previous work, we verified the effectiveness and efficiency of performing the Test Case Prioritisation (TCP) process for these systems. In this study, we extend our previous work by integrating the Test Case Minimisation (TCM) process to determine whether TCM can also benefit the testing process under the context of OCL. The evaluation of TCO approaches often relies on well-established metrics such as the Average Percentage of Fault Detection (APFD). However, the suitability of APFD for Model-Based Testing (MBT) is not ideal. This paper addresses this limitation by proposing a modification to the APFD metric to enhance its viability for MBT scenarios. We conducted four case studies to evaluate the feasibility of integrating the TCM and TCP processes in our proposed approach. In these studies, we applied the multi-objective optimisation algorithm NSGA-II and the genetic algorithm independently to the TCM and TCP processes. The objective was to assess the effectiveness and efficiency of combining TCM and TCP in enhancing the testing phase. Through experimental analysis, the results highlight the benefits of integrating TCM and TCP in the context of OCL-based testing, providing valuable insights for practitioners and researchers aiming to optimise their testing efforts. Specifically, the main contributions of this work include: 1). We introduce the integration of the TCM process into the TCO process for systems expressed by OCL. This integration benefits the testing process further by reducing redundant test cases while ensuring sufficient coverage. 2). We comprehensively analyse the limitations associated with the commonly used metric, APFD, and then a modified version of the APFD metric has been proposed to overcome these weaknesses. 3). We systematically evaluate the effectiveness and efficiency of OCL-based TCO processes on four real-world case studies with different complexities.

show abstract

Object Constraint Language based test case optimization with modified Average Percentage of Fault Detection metric

Jin,

Lano

2024

J Software Evolu Process

View full text Add to dashboard Cite

Testing is one of the most time‐consuming and unpredictable processes within the software development life cycle. As a result, many test case optimization (TCO) techniques have been proposed to make this process more scalable. Object Constraint Language (OCL) was initially introduced as a constraint language to provide additional details to Unified Modeling Language models. However, as OCL continues to evolve, an increasing number of systems are being expressed by this language. Despite this growth, a noticeable research gap exists for the testing of systems whose specifications are expressed in OCL. In our previous work, we verified the effectiveness and efficiency of performing the test case prioritization (TCP) process for these systems. In this study, we extend our previous work by integrating the test case minimization (TCM) process to determine whether TCM can also benefit the testing process under the context of OCL. The evaluation of TCO approaches often relies on well‐established metrics such as the average percentage of fault detection (APFD). However, the suitability of APFD for model‐based testing (MBT) is not ideal. This paper addresses this limitation by proposing a modification to the APFD metric to enhance its viability for MBT scenarios. We conducted four case studies to evaluate the feasibility of integrating the TCM and TCP processes into our proposed approach. In these studies, we applied the multi‐objective optimization algorithm NSGA‐II and the genetic algorithm independently to the TCM and TCP processes. The objective was to assess the effectiveness and efficiency of combining TCM and TCP in enhancing the testing phase. Through experimental analysis, the results highlight the benefits of integrating TCM and TCP in the context of OCL‐based testing, providing valuable insights for practitioners and researchers aiming to optimize their testing efforts. Specifically, the main contributions of this work include the following: (1) we introduce the integration of the TCM process into the TCO process for systems expressed by OCL. This integration benefits the testing process further by reducing redundant test cases while ensuring sufficient coverage. (2) We comprehensively analyze the limitations associated with the commonly used metric, APFD, and then, a modified version of the APFD metric has been proposed to overcome these weaknesses. (3). We systematically evaluate the effectiveness and efficiency of OCL‐based TCO processes on four real‐world case studies with different complexities.

show abstract

Model-based Testing and Monitoring using AgileUML

Cited by 4 publications

References 1 publication

Formalizing UML State Machines for Automated Verification – A Survey

Formalizing UML State Machines for Automated Verification – A Survey

OCL-Based Test Case Optimisation with Modified APFD Metric

Object Constraint Language based test case optimization with modified Average Percentage of Fault Detection metric

Contact Info

Product

Resources

About