2012 | OriginalPaper | Buchkapitel
Formal Specification for Compiler Based Test Case Generation of Embedded Real-Time System
verfasst von : Yong Chen, Yanxiang He, Chao Xu, Wei Wu, Jianbo Liu
Erschienen in: Business, Economics, Financial Sciences, and Management
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.