Software testing

Edge case identification

Edge case identification for model-based embedded control software and vehicle software programs.

Edge case testing services

Edge cases are uncommon inputs, timings, or sequences that can expose control software failures.

Cuedo Controls use model-based tests, sequence analysis, and scripted test generation to find race conditions, deadlocks, timeouts, out-of-order handshakes, and other kinds of edge cases in vehicle software.

We use formal methods such as sequence diagrams to break software down into specific events. From there, we can create a complete set of possible scenarios.

This feeds into the software testing process, where we use combinatorics and a technique called scripted iterations to test edge cases thoroughly and with confidence.

We help teams to:

  • identify race conditions, deadlocks, communication timeouts, and other faults.
  • build tests around important sequences and failure paths.
  • use simulation and test harnesses to prove the robustness of vehicle software.

If your team are spending more time patching edge cases than developing new features, then it's time for you to get in touch with us.

Related content