Skip to main content

An Embedded Software Testing Tool Supporting Multi-paradigm Views

  • Conference paper
Computational Science and Its Applications – ICCSA 2008 (ICCSA 2008)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 5072))

Included in the following conference series:

Abstract

Because embedded software is necessarily required to control and operate devices in ubiquitous environments, developers can use a development tool in order to make their embedded software efficient. In this paper, we propose an embedded software testing tool, which supports graphical debugging views of multi paradigms. The tool can improve the efficiency of embedded software through performance testing. The tool provides not only various profiling but also a source-level testing and a unit testing with the graphical views. The tool includes a test suite generator to easily make a test driver, and a report generator to raise reusability of test results by representing string-type results to XML classes. With the tool, developers not only can intuitively analyze functions of embedded software, but also easily improve performance of the software. The tool will be useful for developing and testing embedded software in ubiquitous computing environments.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Roper, Marc: Software Testing. McGraw-Hill Book Company, London (1994)

    Google Scholar 

  2. Beizer, B.: Software Testing Techniques, 2nd edn. Van Nostrand Reinhold, New York (1990)

    Google Scholar 

  3. Broekman, B., Notenboom, E.: Testing Embedded Software, Dec. 2002. Addisson-wesley. Addison-wesley, Reading (2002)

    Google Scholar 

  4. Stollon, N., Leatherman, R., Ableidinger, B.: Multi-Core Embedded Debug for Structured ASIC Systems. In: Proceedings of DesignCon 2004, February 2004, pp. 1–23 (2004)

    Google Scholar 

  5. Daniel Pilaud, PolySpace, http://www.mathworks.com/products/polyspace/

  6. Koch, B., Grabowski, J., Hogrefe, D., Schmitt, M.: A Tool for Automatic Test Generation from SDL Specifications. In: Proceedings of Industrial Strength Formal Specification Techniques 2nd IEEE Workshop, October 1998, pp. 114–125 (1998)

    Google Scholar 

  7. AstonLinux INC., CodeMaker, http://www.astonlinux.com/

  8. IBM, Rational Test RealTime, http://www.ibm.com/developerworks/rational/products/testrealtime/

  9. Stewart, D.B., Arora, G.: A Tool for Analyzing and Fine Tuning the Real-Time Properties of an Embedded System. IEEE Trans. Software Eng. TSE-29(4), 311–326 (2003)

    Article  Google Scholar 

  10. Satoh, I.: A Testing Framework for Mobile Computing Software. IEEE Trans. Software Eng. TSE-29(12), 1112–1121 (2003)

    Article  Google Scholar 

  11. Anderson, P., Reps, T.W., Teitelbaum, T.: Design and Implementation of a Fine-Grained Software Inspection Tool. IEEE Trans. Software Eng. TSE-29(8), 721–733 (2003)

    Article  Google Scholar 

  12. Chilenski, J.J., Miller, S.P.: Applicability of Modified Condition/Decision Coverage to Software Testing. Software Engineering Journal 9(5), 193–200 (1994)

    Article  Google Scholar 

  13. France, R.B., Kim, D.-K., Ghosh, S., Song, E.: A UML-Based Pattern Specification Technique. IEEE Trans. Software Eng., TSE-30(4), 193–206 (2004)

    Article  Google Scholar 

  14. Apvrille, L., Courtiat, J.-P., Lohr, C., de Saqui-Sannes, P.: TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit. IEEE Trans. Software Eng. TSE-30(7), 473–487 (2004)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Osvaldo Gervasi Beniamino Murgante Antonio Laganà David Taniar Youngsong Mun Marina L. Gavrilova

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cho, Y., Choi, J. (2008). An Embedded Software Testing Tool Supporting Multi-paradigm Views. In: Gervasi, O., Murgante, B., Laganà, A., Taniar, D., Mun, Y., Gavrilova, M.L. (eds) Computational Science and Its Applications – ICCSA 2008. ICCSA 2008. Lecture Notes in Computer Science, vol 5072. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69839-5_57

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-69839-5_57

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-69838-8

  • Online ISBN: 978-3-540-69839-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics