PowerDesigner provides default model checks to verify the validity of users, groups, and roles.
| 
                             Check  | 
                        
                             Description and Correction  | 
                    
|---|---|
| 
                             Name and code uniqueness  | 
                        
                             Names and codes must be unique in the model. Manual correction: Modify the duplicate name/code Automatic correction: Appends a number to the duplicate name/code  | 
                    
| 
                             Code maximum length  | 
                        
                             The code length is limited by the maximum length specified in the DBMS definition (MaxLen entry, in the and Group categories). Manual correction: Modify the code length to meet this requirement Automatic correction: Truncates the code length to the maximum length specified in the DBMS definition  | 
                    
| 
                             Existence of user  | 
                        
                             [groups, roles] A group is created to factorize privilege and permission granting to users. A group without user members is useless. Manual correction: Add users to group or delete group Automatic correction: Deletes unassigned group  | 
                    
| 
                             Password empty  | 
                        
                             [users, groups] Users and groups must have a password to be able to connect to the database. Manual correction: Define a password for the user or group Automatic correction: None  |