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

@article{Jee2014AutomatedTC,
  title={Automated test case generation for FBD programs implementing reactor protection system software},
  author={Eunkyoung Jee and Donghwan Shin and Sung Deok Cha and Jang-Soo Lee and Doo-Hwan Bae},
  journal={Softw. Test., Verif. Reliab.},
  year={2014},
  volume={24},
  pages={608-628}
}
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 programs and its associated tool—FBDTester. Given an FBD program and desired test coverage criteria, FBDTester generates test requirements and invokes the Satisfiability Modulo Theories solver iteratively to derive a set of test cases. An industrial… CONTINUE READING
Highly Cited
This paper has 21 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 12 extracted citations

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…