CFP last date
22 July 2024
Reseach Article

Software Testing for Embedded Systems

by Dinesh Kumar Saini
International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Volume 43 - Number 17
Year of Publication: 2012
Authors: Dinesh Kumar Saini

Dinesh Kumar Saini . Software Testing for Embedded Systems. International Journal of Computer Applications. 43, 17 ( April 2012), 1-6. DOI=10.5120/6192-8700

@article{ 10.5120/6192-8700,
author = { Dinesh Kumar Saini },
title = { Software Testing for Embedded Systems },
journal = { International Journal of Computer Applications },
issue_date = { April 2012 },
volume = { 43 },
number = { 17 },
month = { April },
year = { 2012 },
issn = { 0975-8887 },
pages = { 1-6 },
numpages = {9},
url = { },
doi = { 10.5120/6192-8700 },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
%0 Journal Article
%1 2024-02-06T20:33:38.372331+05:30
%A Dinesh Kumar Saini
%T Software Testing for Embedded Systems
%J International Journal of Computer Applications
%@ 0975-8887
%V 43
%N 17
%P 1-6
%D 2012
%I Foundation of Computer Science (FCS), NY, USA

In the recent years, embedded systems have become so complex that the development and testing time is becoming extremely time consuming. As embedded systems include more and more functions for new services, embedded systems are presenting challenges with respect to the attributes of security, scalability availability, and performance with deterministic behavior. This paper presents the issues that affect testing process and technologies, which can be ameliorated by Rational Test Real-Time (RT-RT). Generally Object Oriented Approach is adopted while designing the embedded systems so all the architectural specification is analyzed in the paper.

  1. Testing embedded systems: Paul Szymkowiak, www. embeddedsystem. com
  2. Dinesh Kumar Saini and Nirmal Gupta "Fault Detection Effectiveness in GUI Components of Java Environment through Smoke Test", Journal of Information Technology, ISSN 0973-2896 Vol. 3, issue3, 7-17 September 2007.
  3. Kevin Laoghaire and Simon P. Wilson "Deciding how long to test software" The Statistician (2001) 50, Part 2, pp. 117 – 134.
  4. Singpurwalla and Wilson, Software reliability modeling: Statistical methods in Software Engineering.
  5. Goel and Okumoto: Singpurwalla, to determine an optimal time interval for testing and debugging software. IEEE Trans. Software Engineering, 17, 313 – 319.
  6. Goel, A. L. and Okumoto, K. time dependent error detection rate model for software reliability and other performance measures.
  7. Dinesh Kumar Saini "Testing Polymorphism in Object Oriented Systems for improving software Quality" ACM SIGSOFT Volume 34 Number 2 March 2009, ISSN: 0163-5948, USA
  8. Mary Shaw and David Garlan, Software Architecture: Perspectives on an Emerging Discipline, Prentice Hall, 2010.
  9. Dinesh K Saini, Mustafa Hasan "Architecture and Classification algorithms for large P2P Digital Library" The Second International Conference on Networked Digital Technologies OpenConf system, Crez Republic Europe 2010.
  10. Albert Sangiovanni-Vincentelli and Grant Martin, "Platform-based Design and Software design methodology for Embedded Systems". IEEE Design & Test of Computers, April-June, 2000, p. 2-15.
  11. Testing Embedded Systems Rational Unified process (RUP): Paul Szymkowiak.
  12. Dinesh Kumar Saini, Wail M Omar and Sanad Al Maskari "Healthcare Collaborative Framework for Chronic Disease Management in Oman" proceedings of International Conference on Multidisciplinary Approaches to Diabetes Research and Health (ICMADRH-2010), India, pp 46-52.
  13. T. Henzinger. The theory of hybrid automata. In Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, (1996), pp. 278–292.
  14. J. Lygeros. Lecture Notes on Hybrid Systems. Cambridge, 2003.
  15. Dinesh Kumar Saini "Sense the Future" Campus Volume 1- Issue 11, Page No14-17, February 2011.
  16. T. A. Henzinger, R. Majumdar. A classification of symbolic transition systems. In Proceedings of the 17th International Conference on Theoretical Aspects of Computer Science (2000), pp. 13–34.
  17. E. Asarin, T. Dang, O. Maler. The d/dt tool for verification of hybrid systems. In Computer Aided Verification, (2002), vol. 2404 of LNCS, Springer-Verlag, pp. 365–370.
  18. Dinesh Kumar Saini and Hemraj Saini "Achieving Quality Through Testing Polymorphism in Object Oriented Systems,"3rd International Conference on Quality, Reliability and INFOCOM Technology (Trends and Future Directions), 2-4 December, 2006, Indian National Sciences and Academics, New Delhi (India). Conference proceeding.
  19. I. Mitchell, J. A. Templeton. A toolbox of Hamilton-Jacobi solvers for analysis of nondeterministic continuous and hybrid systems. In Hybrid Systems: Computation and Control, (2005), pp. 480–494.
  20. Dinesh Kumar Saini and Hemraj Saini "Issues and Problems in Generation of Automated Test Data for Object Oriented Systems," 3rd International Conference on Quality, Reliability and INFOCOM Technology (Trends and Future Directions), 2-4 December, 2006, Indian National Sciences and Academics, New Delhi (India) Conference proceeding.
  21. S. Osher, R. Fedkiw. Level Set Methods and Dynamic Implicit Surfaces. Springer, 2003.
  22. A. Pinto, A. L. Sangiovanni-Vincentelli, L. P Carloni, R. Passerone. Interchange formats for hybrid systems: Review and proposal. In Hybrid Systems: computation and Control, (2005), pp. 526 – 541.
  23. G. Karsai, A. Aggarwal, A. Ledeczi. A metamodel-driven MDA process and its tools. Workshop in Software Model Engineering, (2003).
  24. G. Karsai, J. Sztipanovits, A. Ledeczi, T. Bapty. Model-integrated development of embedded software. In Proceedings of the IEEE, (2003), pp. 145–164
  25. "Fault Detection System Based on Embedded Platform" ETTANDGRS08 Volume2 ,2008
  26. R. Alur, D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126, (1994), pp. 183–235.
  27. Dinesh Kumar Saini and Nirmal Gupta "Class Level Test Case Generation in Object Oriented Software Testing, International Journal of Information Technology and Web Engineering, (IJITWE) Vol. 3, Issue 2, pp. 19-26 pages, march 2008. USA
  28. Lakshmi Sunil Prakash, Dinesh Kumar Saini and Kutti N. S. "Integrating EduLearn Learning Content Management System (LCMS) with Cooperating Learning Object Repositories (LORs) in a Peer to Peer (P2P) architectural Framework" ACM SIGSOFT Volume 34 Number 3 May 2009, ISSN: 0163-5948, USA.
  29. Wail M. Omar, Dinesh K. Saini and Mustafa Hassan "Credibility Of Digital Content in a Healthcare Collaborative Community" Software Tools and Algorithms for Biological Systems in book series "Advances in Experimental Medicine and Biology, AEMB" Springer, Page No, 2010
  30. Dinesh Kumar Saini, Sanad Al Maskari and Lingraj Hadimani "Mathematical Modeling of Software Reusability" 3rd IEEE International Conference on Machine Learning Singapore, February 26-28, 2011.
  31. Dinesh Kumar Saini, Wail M. Omar "Software Testing For Semantic Service Oriented Architecture for E-Health Software Services" SERP'10 - 9th international Conference on Software Engineering Research and Practice (USA) http://www. world-academy-of-science. org/, P. No. 240-246.
  32. Hemraj Saini and Dinesh Kumar Saini "AN Automated Test framework for Java Application" ICIT (IEEE Sponsored) Rourkella-2007.
Index Terms

Computer Science
Information Sciences


Embedded Software System Software Testing Rational Test Real-time (rt-rt)