如图，虚线a、b和c是某静电场中的三个等势面，它们的电势分别为Ua、Ub和Uc，Ua>Ub>Uc.一带正电的粒子射入电场中，其运动轨迹如实线KLMN所示，由图可知（   ）

A．粒子从K到L的过程中，电场力做负功

B．粒子从L到M的过程中，电场力做负功

C．粒子从K到L的过程中，电势能增加

D．粒子从L到M的过程中，动能减少

在软件工程中，当前用于保证软件质量的主要技术手段是( )。

A．正确性证明

B．测试

C．自动程度设计

D．符号证明