A Model-Based and Resource-Aware Testing Framework for Parking System Payment using Blockchain

In most cities, the availability of parking is a major concern. The misuse of parking spots as drivers park for longer than permitted periods cause more delays, inconvenience to others, and even parking tickets. Moreover, the payment systems at many locations are still not electronic and rely on hard currency. The search for a parking space also contributes to congestion, pollution, and other safety issues. This paper introduces an end-to-end system that enables automatic car payments in a safe, private, secure, and efficient manner using Blockchain technology. The proposed solution utilizes Ethereum to prototype a solution which can facilitate the parking payments. In addition, Android auto and application modules that automate the payment process have also been developed. Moreover, a validation technique for enhancing the quality and correctness of the proposed solution, namely Model-Based Testing Techniques, has been discussed. The latter consists of deriving test suites from an adopted formal model, performing them, and assessing the correctness. The used formal model may combine both functional and load aspects. A list of techniques for improving the formal testing approach was identified. Besides, the authors explained how to manage dynamic adaptations of the system under test and how to use isolation strategies for avoiding interference between testing and business behaviors. Finally, an optimization phase for testers placement inspired by fog computing is proposed as well.