The advantage of the test is that it is very convenient and quick, the disadvantage is that the possible test data is usually very large, and it is difficult to ensure that the code is completely without error after the test; and the correctness of the argument is relatively cumbersome, but to a certain extent, it can ensure that the code is not wrong.
They are all based on the mathematical logic of the exact expression of a language, and OCL biased towards Yu Jianmo, JSF biased in the description of behavior.
The first two knowledge points progressively go from single thread to multi thread, then to the design document and unit test.
My code progressed from the beginning of noodle code to only twenty or thirty lines per method.
Engineering development is to ensure the development of large projects without errors through certain code specifications.
I hope to increase the punishment for bug students.