Edge case identification for model-based embedded control software and vehicle software programs.
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:
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.