Automated Testing of Ultrawideband Positioning for Autonomous Driving

Algorithm 4

(1)	def genFaultWheelSlip(state: State): Gen[AddFault] = for {
(2)	param ⟵ Gen.choose(10, 50)
(3)	start ⟵ Gen.choose(0, 100)
(4)	duration ⟵ Gen.choose(1, 10)
(5)	} yield AddFault(“uwb_travel_dist,” “AMPLIFICATION,” param.toDouble/10.0, start, duration)