TESTING A SOFTWARE-BASED PID CONTROLLER USING METAMORPHIC TESTING

T. Y. Chen, F.-C Kuo, W. K. Tam, R. Merkel

2011

Abstract

The Proportional-Integral-Derivative (PID) controller is ubiquitous in industrial and military systems. Almost all PID controllers are now implemented as software in a microcontroller. Control systems are required to have very high reliability, particularly as they are regularly used in safety-critical systems. An effective testing technique is essential to achieve reliable PID controller software. Unlike simple control algorithms, PID controllers are capable of manipulating the process inputs based on the history and rate of change of the signal. It is very difficult to know whether the computation of the software is correct from the computed outputs. Previous research in other areas has shown that metamorphic testing is an effective technique for this kind of problem. In this paper, we examine metamorphic testing in the context of testing an embedded software PID controller based on the free sample code from ATMEL Corporation. We show that metamorphic testing killed all mutants inserted into the controller software, demonstrating the utility of the technique in testing control systems.

References

  1. Application Note AVR221, “Discrete PID controller”, Atmel Corporation, 2006. Retrieved from: http://www. atmel.com/dyn/products/app_notes.asp?family_id=607 W. K. Chan, T. Y. Chen, H. Lu, T. H. Tse and S. S. Yau, “Integration testing of context-sensitive middlewarebased applications: a metamorphic approach”, International Journal of Software Engineering and Knowledge Engineering. Vol. 16(5), 2006, pp. 677- 703.
  2. T. Y. Chen, S. C. Cheung and S. M. Yiu, “Metamorphic testing: a new approach for generating next test cases” Technical Report HKUST-CS98-01, Department of Computer Science, Hong Kong University of Science and Technology, Hong Kong, 1998.
  3. T. Y. Chen, T. H. Tse and Z. Q. Zhou, “Semi-proving an integrated method based on global symbolic evaluation and metamorphic testing”, in Proc. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2002) (ACM Press, 2002), pp. 191-195.
  4. M. Daran and P. Thévenod-Fosse, “Software Error Analysis: A Real Case Study Involving Real Faults and Mutations,” ACM SIGSOFT Software Engineering Notes, vol. 21, no. 3, pp. 158-177, May 1996
  5. B. C. Kuo, Automatic Control Systems, 4th edition, 1982, Prentice-Hall, inc., Eaglewood Cliffs, N. J., U.S.A. Chapter 8.2, pp. 471-483.
  6. N. S. Nise, Control Systems Engineering, Fifth Edition, 2008, Wiley.
  7. H. Nyquist, "Certain Topics in Telegraph Transmission Theory", AIEE Trans., vol. 47, pp. 617-644, 1928.
  8. Z. Q. Zhou, D. H. Huang, T. H. Tse, Z. Yang, H. Huang and T.Y. Chen, “Metamorphic testing and its applications”, in Proc. of the 8th International Symposium on Future Software Technology (ISFST2004), Software Engineers Association, Japan 2004.
  9. max os = 100 × e 1-? 2 From equations (3) and (4), we obtain
Download


Paper Citation


in Harvard Style

Y. Chen T., Kuo F., K. Tam W. and Merkel R. (2011). TESTING A SOFTWARE-BASED PID CONTROLLER USING METAMORPHIC TESTING . In Proceedings of the 1st International Conference on Pervasive and Embedded Computing and Communication Systems - Volume 1: PECCS, ISBN 978-989-8425-48-5, pages 387-396. DOI: 10.5220/0003365003870396


in Bibtex Style

@conference{peccs11,
author={T. Y. Chen and F.-C Kuo and W. K. Tam and R. Merkel},
title={TESTING A SOFTWARE-BASED PID CONTROLLER USING METAMORPHIC TESTING},
booktitle={Proceedings of the 1st International Conference on Pervasive and Embedded Computing and Communication Systems - Volume 1: PECCS,},
year={2011},
pages={387-396},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003365003870396},
isbn={978-989-8425-48-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 1st International Conference on Pervasive and Embedded Computing and Communication Systems - Volume 1: PECCS,
TI - TESTING A SOFTWARE-BASED PID CONTROLLER USING METAMORPHIC TESTING
SN - 978-989-8425-48-5
AU - Y. Chen T.
AU - Kuo F.
AU - K. Tam W.
AU - Merkel R.
PY - 2011
SP - 387
EP - 396
DO - 10.5220/0003365003870396