AutoMOTGen Automatic Model Oriented Test Generator for Embedded Control Systems 1st edtion by Ambar Gadkari, Anand Yeolekar, Suresh, Ramesh, Swarup Mohalik, Shashidhar ISBN 3540693888 9783540693888

AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems 1st edtion by Ambar A. Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh, Swarup Mohalik, K. C. Shashidhar  – Ebook PDF Instant Download/Delivery. 3540693888, 978-3540693888
Full download AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems 1st Edition after payment

 

Product details:

ISBN 10:       3540693888
ISBN 13: 978-3540693888
Author:         Ambar A. Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh, Swarup Mohalik, K. C. Shashidhar

We present AutoMOTGen, a tool for automatic test case generation (ATG) from MATLAB Simulink/Stateflow (SL/SF) models [6] for testing automotive controllers. Our methodology is based on model checking [2]. The main highlights of the tool are:

1Enhanced coverage of the model elements as well as high-level requirements.

1A modular design for plug-and-play of different model checkers, test data generators and coverage analysis tools for enhancing the test suite quality.

1Implements sampling time abstraction to generate tests with lesser number of (discrete) steps in the intermediate model.

1Implements coverage dependent instrumentation of the model for the structural coverage criteria.

1Capability to handle SL/SF blocks commonly used in automotive controllers (including blocks such as integrator, delay, multiplication/division, look-up tables, triggered subsystems and hierarchical and parallel charts).

The current implementation of AutoMOTGen uses SAL [8] as an intermediate representation and uses associated tools such as sal-atg, sal-bmc and sal-smc for generation of test data and proving the unreachability of some of the coverage goals. AutoMOTGen is implemented in Java and C++ (.NET framework) and uses MATLAB scripting language for extracting the relevant information from SL/SF models required for the purpose of test generation.

AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems 1st Table of contents:

Chapter 1: Introduction
1.1 Overview of Embedded Control Systems
1.2 Importance of Testing in Embedded Systems
1.3 Challenges in Embedded Systems Testing
1.4 Introduction to Model-Oriented Testing
1.5 Purpose and Scope of AutoMOTGen
1.6 Structure of the Paper

---

Chapter 2: Background and Related Work
2.1 Embedded System Design and Verification
2.2 Traditional Approaches to Embedded Systems Testing
2.3 Model-Based Testing Techniques
2.4 Automated Test Generation for Embedded Control Systems
2.5 Existing Tools and Methods for Test Generation
2.6 Comparison of AutoMOTGen with Existing Approaches

---

Chapter 3: Fundamentals of Model-Oriented Testing
3.1 Model-Based Testing: Definition and Concepts
3.2 Types of Models Used in Testing
3.3 Model-Oriented Test Generation Process
3.4 Challenges in Model-Oriented Testing for Embedded Systems
3.5 Key Benefits of Model-Oriented Testing

---

Chapter 4: AutoMOTGen Framework
4.1 Overview of AutoMOTGen
4.2 System Architecture of AutoMOTGen
4.3 Input Models for Test Generation
4.4 Test Generation Algorithm and Workflow
4.5 Test Execution and Verification Mechanisms
4.6 Integration with Embedded Control System Development
4.7 Tools and Technologies Used in AutoMOTGen

---

Chapter 5: Test Generation Mechanism in AutoMOTGen
5.1 Test Case Specification and Model Input
5.2 Generation of Test Inputs and Expected Outputs
5.3 Test Coverage Criteria and Optimization
5.4 Handling Edge Cases and Boundary Conditions
5.5 Test Generation for Control Logic and Timing Behavior
5.6 Efficient Test Generation in Complex Systems

---

Chapter 6: Implementation of AutoMOTGen
6.1 Design and Implementation Details
6.2 User Interface and Interaction with AutoMOTGen
6.3 Test Generation Algorithms Used
6.4 Automation and Customization Options
6.5 Platform and Environment Requirements

---

Chapter 7: Evaluation and Case Studies
7.1 Evaluation Criteria for Test Generation Tools
7.2 Case Study 1: Automotive Control System Testing
7.3 Case Study 2: Industrial Control System Testing
7.4 Comparison with Other Testing Approaches
7.5 Performance Metrics: Accuracy, Efficiency, and Coverage
7.6 Results and Insights from Case Studies

---

Chapter 8: Challenges and Limitations
8.1 Complexity of Embedded Control System Models
8.2 Scalability Issues in Test Generation
8.3 Handling Real-Time and Non-Deterministic Behavior
8.4 Limitations in Coverage and Test Effectiveness
8.5 Future Improvements and Addressing Current Challenges

---

Chapter 9: Practical Applications and Future Directions
9.1 Applications in Safety-Critical Systems
9.2 Integration with Other Verification and Validation Techniques
9.3 AutoMOTGen in the Context of IoT and Autonomous Systems
9.4 Improving Test Generation for Newer Embedded Architectures
9.5 Future Developments and Enhancements for AutoMOTGen

---

Chapter 10: Conclusion
10.1 Summary of Contributions
10.2 Impact of AutoMOTGen on Embedded Systems Testing
10.3 Key Takeaways and Future Outlook
10.4 Closing Remarks

People also search for AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems 1st:

automatic transmission models
model a automatic transmission
b&b automotive machine shop
ford model a automatic transmission
m mode automatic transmission