MIDOAN SOFTWARE ENGINEERING SOLUTIONS LIMITED

Midoan Software Engineering Solutions Ltd. is a specialist software‑engineering firm that focuses on improving the quality and efficiency of Ada‑based development. Their flagship product, Mika, is a fully automatic test‑input generation tool that analyses Ada source code and creates precisely‑targeted test data to exercise every branch, decision and MC/DC condition. By eliminating the need for manual test‑case creation, Mika enables developers and test engineers to achieve comprehensive code‑coverage in a matter of minutes rather than days.

Mika’s capabilities span unit, integration and inter‑procedural testing, supporting a wide range of Ada features such as modular arithmetic, bitwise operators and GNAT project files. The tool runs on Windows 10 and integrates with GNAT GPL 2010, with plans for GNAT‑toolchain independence and GNAT Pro support. Midoan provides extensive documentation, white‑papers, demonstration videos and a low‑volume RSS feed, and offers the licence free for non‑commercial use with a reduced support fee for commercial customers.

The company’s services are aimed at organisations and development teams that rely on Ada for safety‑critical or high‑integrity systems, helping them to streamline testing, reduce manual effort and raise overall software reliability.