Table of Contents Author Guidelines Submit a Manuscript
Mathematical Problems in Engineering
Volume 2014, Article ID 353450, 13 pages
http://dx.doi.org/10.1155/2014/353450
Research Article

Experimental Evaluation of FSM-Based Testing Cost for Time-Delay Systems

College of Software & Micro-Electronics, Northwestern Polytechnical University, Xi’an 710072, China

Received 28 April 2014; Accepted 26 June 2014; Published 22 July 2014

Academic Editor: Yuxin Zhao

Copyright © 2014 Zheng Wei et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. F. Zhang and M. Yeddanapudi, “Modeling and simulation of time-varying delays,” in Proceedings of the Symposium on Theory of Modeling and Simulation-DEVS Integrative M&S Symposium, Society for Computer Simulation International, March 2012. View at Scopus
  2. J.-P. Richard, “Time-delay systems: an overview of some recent advances and open problems,” Automatica, vol. 39, no. 10, pp. 1667–1694, 2003. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  3. K. El-Fakih, N. Yevtushenko, and H. Fouchal, “Testing timed finite state machines with guaranteed fault coverage,” in Testing of Software and Communication Systems, pp. 66–80, Springer, Berlin, Germany, 2009. View at Google Scholar
  4. M. Abramovici and C. E. Stroud, “BIST-based delay-fault testing in FPGAs,” Journal of Electronic Testing, vol. 19, no. 5, pp. 549–558, 2003. View at Publisher · View at Google Scholar · View at Scopus
  5. T. S. Chow, “Testing software design modeled by finite-state machines,” IEEE Transactions on Software Engineering, vol. 4, no. 3, pp. 178–187, 1978. View at Google Scholar
  6. G. Luo, G. V. Bochmann, and A. Petrenko, “Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method,” IEEE Transactions on Software Engineering, vol. 20, no. 2, pp. 149–162, 1994. View at Publisher · View at Google Scholar · View at Scopus
  7. X. Lu, Z. Li, W. Qiu, D. M. H. Walker, and W. Shi, “Longest-path selection for delay test under process variation,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 24, no. 12, pp. 1924–1929, 2005. View at Publisher · View at Google Scholar · View at Scopus
  8. K. Sabnani and A. Dahbura, “A protocol test generation procedure,” Computer Networks and ISDN Systems, vol. 15, no. 4, pp. 285–297, 1988. View at Publisher · View at Google Scholar · View at Scopus
  9. R. Dorofeeva, K. El-Fakih, and N. Yevtushenko, “An improved conformance testing method,” in Formal Techniques for Networked and Distributed Systems—FORTE 2005, F. Wang, Ed., vol. 3731 of Lecture Notes in Computer Science, pp. 204–218, Springer, 2005. View at Google Scholar
  10. L. C. Briand, “A critical analysis of empirical research in software testing,” in Proceedings of the 1st International Symposium on Empirical Software Engineering and Measurement (ESEM '07), pp. 1–8, Madrid, Spain, September 2007. View at Publisher · View at Google Scholar · View at Scopus
  11. L. C. Briand, Y. Labiche, and Y. Wang, “Using simulation to empirically investigate test coverage criteria based on statechart,” in Proceedings of the 26th International Conference on Software Engineering (ICSE '04), pp. 86–95, May 2004. View at Publisher · View at Google Scholar · View at Scopus
  12. D. W. Lee, B. K. Choi, and J. H. Kong, “Timer embedded finite state machine modeling and its application,” in Proceedings of the 24th European Conference on Modelling and Simulation (ECMS '10), Kuala Lumpur, Malaysia, June 2010. View at Scopus
  13. A. Simão, A. Petrenko, and J. C. Maldonado, “Comparing finite state machine test coverage criteria,” IET Software, vol. 3, no. 2, pp. 91–105, 2009. View at Publisher · View at Google Scholar
  14. L. Wu, X. Su, and P. Shi, “Sliding mode control with bounded L2 gain performance of Markovian jump singular time-delay systems,” Automatica, vol. 48, no. 8, pp. 1929–1933, 2012. View at Google Scholar
  15. K. Karhu, T. Repo, O. Taipale, and K. Smolander, “Empirical observations on software testing automation,” in Proceedings of the 2nd International Conference on Software Testing, Verification, and Validation (ICST '09), pp. 201–209, Denver, Colo, USA, April 2009. View at Publisher · View at Google Scholar · View at Scopus
  16. R. Dorofeeva, K. El-Fakih, and N. Yevtushenko, “An improved conformance testing method,” in Proceedings of the IFIP 25th nternational Conference on Formal Methods for Networked and Distributed Systems, pp. 204–218, Taipei, Taiwan, October 2005.
  17. A. S. Namin and J. H. Andrews, “The influence of size and coverage on test suite effectiveness,” in Proceedings of the 18th International Symposium on Software Testing and Analysis, pp. 57–67, New York, NY, USA, 2009.