Skip to main content
SpringerLink
Log in

Formal Specification for Compiler Based Test Case Generation of Embedded Real-Time System

  • Conference paper
Business, Economics, Financial Sciences, and Management

Part of the book series: Advances in Intelligent and Soft Computing ((AINSC,volume 143))

Abstract

Testing is an essential part of the development of embedded real-time system and it is necessity to generate the test case automatically. However, there is no good language to bridge the gap between the testing requirements and source codes. In this paper, we propose a compiler based automatically test case generation framework firstly, and then introduce a novel language call RCBL to specify the testing requirements that describe the relationship of source code and testing requirements for the embedded real-time system. From a simple but comprehensive testing requirement of an embedded system, we can see that the RCBL is powerful and flexible, and also can be learned and used easily.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 469.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 599.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. Yuan-Hsin, T., et al.: A Novel Approach to Automatic Test Case Generation for Web Applications. In: Book A Novel Approach to Automatic Test Case Generation for Web Applications. Series A Novel Approach to Automatic Test Case Generation for Web Applications, pp. 399–404 (2010)

    Google Scholar 

  2. Martin, E., Tao, X.: Automated Test Generation for Access Control Policies via Change-Impact Analysis. In: Book Automated Test Generation for Access Control Policies via Change-Impact Analysis. Series Automated Test Generation for Access Control Policies via Change-Impact Analysis, p. 5 (2007)

    Google Scholar 

  3. Samarah, A., et al.: Automated Coverage Directed Test Generation Using a Cell-Based Genetic Algorithm. In: Book Automated Coverage Directed Test Generation Using a Cell-Based Genetic Algorithm. Series Automated Coverage Directed Test Generation Using a Cell-Based Genetic Algorithm, pp. 19–26 (2006)

    Google Scholar 

  4. Zhifang, L., et al.: Test automation on mobile device. In: Proc. Proceedings of the 5th Workshop on Automation of Software Test, pp. 1–7. ACM (2010)

    Google Scholar 

  5. Oh-Hyun, K., Sun-Myung, H.: Mobile GUI Testing Tool based on Image Flow. In: Book Mobile GUI Testing Tool based on Image Flow. Series Mobile GUI Testing Tool based on Image Flow, pp. 508–512 (2008)

    Google Scholar 

  6. Vemuri, R.: Testing Predictive Software in Mobile Devices. In: Book Testing Predictive Software in Mobile Devices. SeriesTesting Predictive Software in Mobile Devices, pp. 440–447 (2008)

    Google Scholar 

  7. Jiang, B., et al.: MobileTest: A Tool Supporting Automatic Black Box Test for Software on Smart Mobile Devices. In: Book MobileTest: A Tool Supporting Automatic Black Box Test for Software on Smart Mobile Devices. Series MobileTest: A Tool Supporting Automatic Black Box Test for Software on Smart Mobile Devices, p. 8 (2007)

    Google Scholar 

  8. Liu, Z., Gao, X.: SOA Based Mobile Device Test. In: Book SOA Based Mobile Device Test. Series SOA Based Mobile Device Test, pp. 641–644 (2009)

    Google Scholar 

  9. Zhi-fang, L., et al.: SOA based mobile application software test framework. In: Book SOA based mobile application software test framework Series SOA based mobile application software test framework, pp. 765–769 (2009)

    Google Scholar 

  10. Hackner, D.R., Memon, A.M.: Test Case Generator for GUITAR. In: Book Test Case Generator for GUITAR. Series Test Case Generator for GUITAR, pp. 959–960 (2008)

    Google Scholar 

  11. Kirchsteiger, C.M., et al.: Automatic Test Generation From Semi-formal Specifications for Functional Verification of System-on-Chip Designs. In: Book Automatic Test Generation From Semi-formal Specifications for Functional Verification of System-on-Chip Designs. Series Automatic Test Generation From Semi-formal Specifications for Functional Verification of System-on-Chip Designs, pp. 1–8 (2008)

    Google Scholar 

  12. Zhao, C., et al.: Automated Test Program Generation for an Industrial Optimizing Compiler. In: Book Automated Test Program Generation for an Industrial Optimizing Compiler. Series Automated Test Program Generation for an Industrial Optimizing Compiler, pp. 36–43 (2009)

    Google Scholar 

  13. Pacheco, C., et al.: Feedback-directed random test generation. In: Book Feedback-directed random test generation. Series Feedback-directed random test generation, pp. 75–84 (2007)

    Google Scholar 

  14. Burnim, J., et al.: WISE: Automated test generation for worst-case complexity. In: Book WISE: Automated test generation for worst-case complexity. Series WISE: Automated test generation for worst-case complexity, pp. 463–473 (2009)

    Google Scholar 

  15. Patrice, G., et al.: DART: Directed automated random testing. In: Book DART: Directed automated random testing. Series DART: Directed automated random testing 40 edn., pp. 213–223 (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer, WuHan University, Wuhan, China

    Yong Chen, Yanxiang He, Chao Xu, Wei Wu & Jianbo Liu

Authors
  1. Yong Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yanxiang He
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Chao Xu
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Wei Wu
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Jianbo Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Yong Chen .

Editor information

Editors and Affiliations

  1. Nanchang University, Xuefu Avenue 999, Nanchang Jaingxi, China, People's Republic

    Min Zhu

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag GmbH Berlin Heidelberg

About this paper

Cite this paper

Chen, Y., He, Y., Xu, C., Wu, W., Liu, J. (2012). Formal Specification for Compiler Based Test Case Generation of Embedded Real-Time System. In: Zhu, M. (eds) Business, Economics, Financial Sciences, and Management. Advances in Intelligent and Soft Computing, vol 143. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-27966-9_87

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-27966-9_87

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-27965-2

  • Online ISBN: 978-3-642-27966-9

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation