Black—box and white — box testing method are often used in software testing phase, in which, the white—box is mainly used to test software's( ).

A．reasonableness of structure

B．correctness of a program

C．external function of a program

D．internal logic of a program