Functionally decomposed design error detection C++ file