Dissertation > Excellent graduate degree dissertation topics show

A Testing Method for Component-based Embedded Real-time Software

Author: ZhouXiaoHan
Tutor: DingXiaoMing
School: Southwestern University
Course: Computer Software and Theory
Keywords: Embedded Real - time components Timed Automata Component interface Time constraints
CLC: TP311.52
Type: Master's thesis
Year: 2010
Downloads: 78
Quote: 3
Read: Download Dissertation

Abstract


With the development of embedded technology, embedded component technology started to become the focus of attention. Embedded component testing, especially in embedded real-time component testing, an important part to safeguard the quality of component-based embedded real-time software. Fully functional and real-time testing of embedded real-time member, in order to choose a safe and reliable embedded real-member assembly of embedded real-time software. Component-based embedded real-time software testing existence of embedded real-time component interface definition is not standardized, the test of time constraints difficulties. Domestic and foreign for ordinary software component interface definition has been made in a series of results, and widely used in the software development process, such as COM, CORBA, EJB component model proposed component interface definition, but for embedded real-time components interface definition also need to improve the description of the time constraints, lack of a unified specification. At the same time, the testing of embedded real-time constraints of the member need to construct time-dependent model of the interaction between the components action to complete the test. Therefore, the study of how to regulate the embedded real-time component interface definition, and construct a test model for testing, and to complete the assembly based on the the component embedded real-time software has a very important significance. In this paper, the study of component technology, time automata theory, on the basis of existing research results, we propose a component-based embedded real-time software testing methods, the exploration and study of the following aspects: proposed an embedded real-time component interface defines the methods, embedded real-time components into embedded real-time functional components and embedded real-time schedule component interface definition, to meet the interaction of embedded real-time components. Second, time constraints for embedded real-time component interaction process, this paper put forward in the the time automata theory based on a component-based embedded real-time software timed automata model constructor-BERSTA by CBERSTA model can be achieved description of the transfer and the time constraints on the state of embedded real-time component interaction process. Third, in order to simplified CBERSTA model, this paper through the symbolic state split algorithm, the constructed CBERSTA model state space split. On this basis, will the split CBERSTA model abstract delay time variable replaced ADD time variable, and the state transition operation to complete the generation of test cases. Finally, in order to verify the feasibility and effectiveness of the of the proposed CBERSTA model, this paper constructed CBERSTA model to generate test cases, and the final completion of the test algorithm in software testing and test results analysis.

Related Dissertations

  1. Design and Development of Application Programme for Fault Analyzer Based on Wince Platform,TP311.52
  2. The Electric Power Steering System,U463.4
  3. Transplant of Windows CE Operation System Based on ARM9,TP316.7
  4. The Research of Moving Object Tracking System Based on Embeded Image Process Unit,TP391.41
  5. Gui Design and Application Oriented to Embedded Ultrasonic Detecting System,TP274.53
  6. Data Collecting and Processing of Multi-Linear-CCD Visual Measuring System,TP274.2
  7. LXI-VXI Adapter Design,TP274
  8. Research on Temperature Control System for High-Performance Oven-Control Crystal Oscillator (OCXO),TN752
  9. Ideological and political education of full - time graduate after enrollment,G643.1
  10. Signal Acquisition and Processing Platform Design and Implementation of Trawl Sonar System,S951.2
  11. The Design of Embedded Image Transmission Terminal Based on the TCP/IP Protocol,TP368.1
  12. Study of An Embedded Chinese Medical Therapeutic Apparatus,R197.39
  13. Research and Application of Graphic Interface Engine on Digital TV Middleware,TP391.41
  14. ECG Detection Analyzer Based on Windows xp Embedded System,R197.39
  15. Borehole imaging device based on embedded systems research,P634.3
  16. The Kinematics and Dynamics on the Cross-rod Parallel Machine Tools,TH113
  17. Based on the embedded Web technology Research and Implementation of Dynamic Strain Gauge,TP368.1
  18. Research and Design on Smart Home System,TP273.5
  19. The Research of Embeded Security Systems Based on ARM & Linux,TP277
  20. A Project about Intergrative Control System of Elevator Drive and Power Feedback,TP273
  21. Design of Digital Intelligent Terminal System Doorstation,TP368.1

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > Computer software > Program design,software engineering > Software Engineering > Software Development
© 2012 www.DissertationTopic.Net  Mobile