Abstract: Algorithm library plays an important role in digital instrument control system. In the design process, software testing and safety verification are focused on safety and reliability of the algorithm library. The configured ...