Model-based testing

Binder, Robert V.; Legeard, Bruno; Kramer, Anne

doi:10.1145/2697399

Cited by 24 publications

(1 citation statement)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…There is a large number of works dealing with model-based testing, i.e. ''the automatable derivation of concrete test cases from abstract formal models, and their execution'' [21,22]. Although most of the work considers functional testing, model-based testing can be used to analyse performance aspects in distributed environments such as the cloud [23].…”

Section: Notationsmentioning

confidence: 99%

Computing performance requirements for web service compositions

García‐Domínguez

Palomo-Lozano

Medina‐Bulo

et al. 2023

Computer Standards & Interfaces

View full text Add to dashboard Cite

Section: Notationsmentioning

confidence: 99%

Computing performance requirements for web service compositions

García‐Domínguez

Palomo-Lozano

Medina‐Bulo

et al. 2023

Computer Standards & Interfaces

View full text Add to dashboard Cite

An end‐user‐centric test generation methodology for performance evaluation of mobile networked applications

Al‐tekreeti

Abdrabou

Naik

2019

Software Testing Verif & Rel

View full text Add to dashboard Cite

We propose a model-based test generation methodology to evaluate the impact of the interaction of the wireless network and application configurations on the performance of mobile networked applications. We consider waiting time delay to model wireless network quality. We classify mobile applications into two groups. Group I represents applications where end-user experience is mainly affected by waiting time delay during service consumption, while group II represents applications where end-user experience is affected by waiting time delay before service consumption. Test generation is formulated as an inversion problem. However, for group I applications, solving the inversion problem is expensive. Therefore, we utilize metamorphic testing to mitigate the cost of test oracles. We formulate metamorphic test generation as maximization of the distance between seed and follow-up test cases. Two test coverage criteria are proposed: user experience and user-experience-and-input interaction. Network models are developed for a mobile device that has network access through a WiFi hot spot and uses either transmission control protocol or user datagram protocol. Two mobile applications are used to demonstrate the methodology: multimedia streaming and web browsing. Application of the methodology when user actions are taken into consideration is also addressed. The effectiveness of the methodology is evaluated using two metrics: the incurred time cost and redundancy in the generated test suite. The obtained results show the advantage of casting test generation as an inversion problem, compared with random testing. For apps with intensive performance models, combining metamorphic testing with the methodology has tremendously reduced the cost of test oracles. 15 of 38 state y. Therefore, the SUT desired behaviour introduces the following two constraints (Procedure 3.S1), where B, M , and L are defined as an integer number of multimedia frames:M Ä B and L Ä M 1:(4) 4.1.2. The wireless network model. The end user is streaming via a WiFi hot spot and using the UDP. We assume all the fluctuations in the wireless link and the queuing effects of the different routers along the path from the server to the client device manifest as a time delay. That is, packet loss is negligible. A reusable network model for the UDP scenario was developed in our previous work [15]. We have developed two analytical expressions for the mean and variance of packet interarrival time delay. The probability distribution was matched with the hyper-Erlang distribution. The network impact is captured by three operating parameters (NOPs): the data rate (D), the mean rate of frame arrivals into the access point ( ) per user, and the number of end users (N ) connected to the AP. The data rate according to the IEEE 802.11 a/g standard can be in one of the following values: 6, 9, 12, 18, 24, 32, 48, or 54 Mbps. It mainly relates to the quality of the wireless connection between the AP and the end user. Regarding the number of users N , the network model is validated...

show abstract

An Implementation Relation for Cyclic Systems with Refusals and Discrete Time

Lefticaru

Hierons

Núñez

2019

Software Engineering and Formal Methods

View full text Add to dashboard Cite

This paper explores a particular type of model, a cyclic model, in which there are sequences of observable actions separated by discrete time intervals, introduces a novel implementation relation and studies some properties of this relation. Implementation relations formalise what it means for an unknown model of the system under test (SUT) to be a correct implementation of a specification. Many implementation relations are variants of the well known ioco implementation relation, and this includes several timed versions of ioco. It transpires that the timed variants of ioco are not suitable for cyclic models. Our implementation relation encapsulates the discrete nature of time in cyclic models and takes into account not only the actions that models can perform but also the ones that they can refuse at each point of time. We prove that our implementation relation is a conservative extension of trace containment and present two alternative characterisations.

show abstract

Model-based testing

Abstract: MBT has positive effects on efficiency and effectiveness, even if it only partially fulfills high expectations.

Cited by 24 publications

References 0 publications

Computing performance requirements for web service compositions

Computing performance requirements for web service compositions

An end‐user‐centric test generation methodology for performance evaluation of mobile networked applications

An Implementation Relation for Cyclic Systems with Refusals and Discrete Time

Contact Info

Product

Resources

About