C++ | Write a function to determine whether a positive integer is a perfect number. The main function needs to test this function by using test cases which represent all possible behaviors of the function. You need to use good design principles including the preconditions and post conditions used by the author.