function block diagram

Automated test case generation for FBD programs implementing reactor protection system software

Automated and effective testing for function block diagram (FBD) programs has become an important issue, as FBD is increasingly used in implementing safety-critical systems. This work describes an automated test case generation technique for FBD …