Это то, что я тоже искал. Опции UML казались неуместными, поэтому я сделал что-то новое.
Это называется Треллус .
Он разделяет входные данные различных типов для функции, выделяя сложные части и отмечая проверенные / не проверенные пути кода. Общая цель состоит в том, чтобы иметь возможность взглянуть на диаграмму и, на первый взгляд, иметь явные признаки возможных проблем.