debuggability assertibility dyability introspectibility demonstratability cutability makability developability cycleability typability