Testing Data Consistency of Data-Intensive Applications Using QuickCheck

Castro, Laura M.; Arts, Thomas

doi:10.1016/j.entcs.2011.02.010

Cited by 6 publications

(4 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To date, and to the best of our knowledge, Quviq QuickCheck [37] is the most advanced and powerful PBT tool. It has been successfully used in research and industry to test complex, critical distributed and concurrent systems, implemented in Erlang and otherwise [39,3,10,11].…”

Section: Figurementioning

confidence: 99%

Towards the Formal Development of Software Based Systems: Access Control System as a Case Study

Boucherit

Castro

Khababa

et al. 2018

ITC

Self Cite

View full text Add to dashboard Cite

Our daily life is increasingly becoming more and more dependent on software as they are being extensively used to control safety and mission-critical systems. This has lead to very stringent verification requirements for ensuring that the software performs as intended. However, the testing based techniques cannot provide a rigorous verification due to limited computational and memory constraints and traditional formal verification techniques, like model checking and theorem proving, are not too straightforward to work with in the industrial setting. In this paper, as a first step to overcome these limitations, we describe a hybrid property based testing and model checking based technique for verifying both models and implementation of access control systems. Our approach addresses the model checking of critical properties of access control systems and aims at improving their reliability by using property based testing to analyze the corresponding software code. For illustration purposes, a simple example of an access control system is used.

show abstract

Section: Figurementioning

confidence: 99%

Towards the Formal Development of Software Based Systems: Access Control System as a Case Study

Boucherit

Castro

Khababa

et al. 2018

ITC

Self Cite

View full text Add to dashboard Cite

show abstract

“…The data flows reflect the correlation between data items, data operations and guards [3]. If there are unreasonable data operations in the execution of some activities, data-flow errors may occur [4,5]. In fact, data flows and control flows are unified to detect abnormal data errors, which can strengthen the analysis ability of business process management [6,7,8].…”

Section: Introductionmentioning

confidence: 99%

Guard-Function-Constraint-Based Refinement Method to Generate Dynamic Behaviors of Workflow Net with Table

Song

Xiang

Liu

et al. 2022

cai

View full text Add to dashboard Cite

In order to model complex workflow systems with databases, and detect their data-flow errors such as data inconsistency, we defined Workflow Net with Table model (WFT-net) in our previous work. We used a Petri net to describe control flows and data flows of a workflow system, and labeled some abstract table operation statements on transitions so as to simulate database operations. Meanwhile, we proposed a data refinement method to construct the state reachability graph

show abstract

“…The work described in this paper is the result of using a QuickCheck statem -in the style described by Castro and Arts to test database intensive applications [3] -to the particular case of REST Web Services. We also show briefly how we can abstract the approach in order to use the module fsm for the same purpose, (Section 5).…”

Section: Related Workmentioning

confidence: 99%

“…In order to test our model we used QuickCheck statem as described by Laura Castro and Thomas Arts in [3], but this time, we used the new grouped version of statem instead of the ungrouped one.…”

Section: () Okmentioning

confidence: 99%

Towards property-based testing of RESTful web services

Seijas

Thompson

2013

Proceedings of the Twelfth ACM SIGPLAN Workshop on Erlang

View full text Add to dashboard Cite

Developing APIs as Web Services over HTTP implies adding an extra layer to software, compared to the ones that we would need to develop an API distributed as, for example, a library.This additional layer must be included in testing too, but this implies that the software under test has an additional complexity due both to the need to use an intermediate protocol in tests and to the need to test compliance with the constraints imposed by that protocol: in this case the constraints defined by the REST architectural style.On the other hand, these requirements are common to all the Web Services, and because of that, we should be able to abstract this aspect of the testing model so that we can reuse it in testing any Web Service.In this paper, as a first step towards automating the testing of Web Services over HTTP, we describe a practical mechanism and model for testing RESTful Web Services without side effects and give an example of how we successfully adapted that mechanism to test two different existing Web Services: Storage Room by Thriventures and Google Tasks by Google. For this task we have used Erlang together with state machine models in the property-based testing tool Quviq QuickCheck, implemented using the statem module.

show abstract

Testing Data Consistency of Data-Intensive Applications Using QuickCheck

Cited by 6 publications

References 8 publications

Towards the Formal Development of Software Based Systems: Access Control System as a Case Study

Towards the Formal Development of Software Based Systems: Access Control System as a Case Study

Guard-Function-Constraint-Based Refinement Method to Generate Dynamic Behaviors of Workflow Net with Table

Towards property-based testing of RESTful web services

Contact Info

Product

Resources

About