In this context, CS has developed ATLAS which is a software suite that:
For example, from the requirement: “Pressing the safety button 3 times will trigger a GCS pairing request”
The following test cases (positive and negative) are generated:
Test Case 1: Verify that the GCS pairing request is triggered when the safety button is pressed 3 times.
Test Case 2: Verify that the GCS pairing request is triggered when the safety button is pressed more than 3 times.
Test Case 3: Verify that the GCS pairing request is NOT triggered when the safety button is pressed less than 3 times.
Test Case 4: Verify that the GCS pairing request is NOT triggered when the safety button is pressed 3 times.