Verification Patterns for Rapid Embedded System Verification

Proceedings of the International Conference on Embedded Systems and Applications

Volumn , Issue , 2003, Pages 310-316

  Tsai, W T ^a   Zhu, F ^b   Yu, L ^a   Paul, R ^c   Fan, C ^a  

^a Arizona State University   (United States)

^b University of Minnesota   (United States)

^c ARMED FORCES INSTITUTE OF PATHOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA ACQUISITION COMPONENT (DAC); RAW DATA;

DATA ACQUISITION; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; PROGRAM ASSEMBLERS; REAL TIME SYSTEMS; REGRESSION ANALYSIS; SYNCHRONIZATION; TELECOMMUNICATION; XML;

EMBEDDED SYSTEMS;

EID: 0344128042     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. X. Bai, W. T. Tsai, R. Paul, K. Feng, and L. Yu, "Scenario-Based Modeling and Its Applications to Object-Oriented Analysis, Design, and Testing", Proc. of IEEE WORDS 2002, pp. 140-151.
2. B. Beizer, Software Testing Techniques (2nd ed.), Van Nostrand Reinhold Co., New York, NY, 1990
3. G. Booch, J. Rumbaugh and I. Jacobson, The Unified Modeling Language User Guide, Addison Wesley, 1999.
4. M. Fayad, D. C. Schmidt, and R. E. Johnson, Building Application Frameworks, Wiley, New York, NY, 1999.
5. E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Paterns: Elements of Reusable Object-Oriented Software, Addison Wesley, Reading, MA, 1994.
6. R. Paul, "End-to-End Integration Testing: Evaluating Software Quality in a Complex System", Proc. of Assurance System Conference, Tokyo, Japan, 2001, pp. 1-12.
7. W. T. Tsai, X. Bai, R. Paul, and L. Yu, "Scenario-Based Functional Regression Testing", Proc. of IEEE COMPSAC, 2001, pp. 496-501.
8. W. T. Tsai, L. Yu, A. Saimi, and R. Paul, "Scenario-Based Object-Oriented Test Frameworks for Testing Distributed Systems", to appear in Proc. of IEEE Future Trend of Distributed Computing Systems, 2003.
9. W. T. Tsai, R. Paul, L. Yu, A. Saimi, and B. Xiao, "Verification of Web Services Using an Enhanced UDDI Server", to appear in Proc. of IEEE WORD, 2003.
10. W. T. Tsai, L. Yu, X. Liu, A. Saimi, and Y. Xiao, "Scenario-Based Test Generation Tool for Embedded Systems", to appear in Proc. of IEEE IPCCC 2003.
11. W. T. Tsai, Y. Na, R. Paul, and F. Lu, "Adaptive Scenario-Based Object-Oriented Test frameworks for Testing Embedded Systems", Proc. of IEEE COMPSAC, 2002, pp. 321-326.
12. W. T. Tsai, L. Yu, R. Paul, T. Liu, and A. Saimi, "Developing Adaptive Test Frameworks for Testing State-based Embedded Systems", Proc. of IDPT, 2002.
13. F. Zhu, "A Requirement Verification Framework for Real-time Embedded Systems", PhD dissertation, Department of Computer Science and Engineering, University of Minnesota, Minneapolis, MN 55455, 2002.