Csináltam CC EAL auditot - igaz, hogy csak 2+ szintűt. Igen, iszonyatos munkát bele kellett tenni - 1-1,5 évünk ráment a cégnél. Onnantól fogva drasztikusan javult a szoftver megbízhatósága, kezelhetősége, karbantartottsága. A kódzárás után 1 héttel ment a fejvakarás, mert a fejlesztők újabb feature-t akartak belepréselni + 1-2 hibát javítani az auditált verzióban.
És igen, szükség lenne az átgondoltságra, a tervezésre, a jó minőségű munkára. Nem csak összehányni a biteket ("jó lesz az úúúúgy....").