INTELLIGENT TEST-CASE GENERATION FOR AUTOMATED VALIDATION OF TCUs

نویسنده

  • Lionel Belmon
چکیده

Automatic transmissions are difficult to test and validate, due to the complex interaction of mechanics, hydraulics, electronics, and transmission control software. This paper introduces how simulation-based automatic generation of test scenarios can maximize test coverage and reduce test workload at the same time. This tool, TestWeaver, has been applied by SAGW during the development of the application software for a new Dual-Clutch Transmission. TestWeaver is based on a novel approach that aims at maximizing test coverage with minimal work load for the test engineer specifying test cases. TestWeaver can be applied to Simulink models (MiL), SiL setups or HiL setups. For testing a system, TestWeaver does not require any test scripts. Instead, TestWeaver generates, runs and evaluates thousands of tests cases (driving maneuvers) automatically using a unique technology for intelligent test generation and evaluation of reactive systems. The intelligent generation strategy guarantees high test coverage with reduced work effort for engineers. For their DCT application, SAGW used TestWeaver with Simulink models to identify issues such as gearshift oscillations, overtime shifts or clutch overheat. 10,000's of scenarios are generated overnight and provides fast feedback about maturity of a software release, typically within 12 hours. Specific uses cases and applications at SAGW are introduced. Besides MiL application, TestWeaver can also be connected to HiL systems in various manners. However, the main drawbacks of HiL testing are (1) much slower speed compared to MiL/SiL and (2) increased complexity due to simulation non-determinisms, management of fault codes and EEPROM reset. At SAGW, TestWeaver scenario generation is done on MiL to quickly reach a high coverage. Selected scenarios are then reproduced and verified on HiL.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

E2E Testing and Evaluation of High Assurance Systems

DoD E2E Testing and Evaluation (T&E) technology for high assurance system has evolved from specification and analysis of thin threads, through system scenarios, and to the scenario-driven system engineering including reliability, security, and safety assurance, as well as dynamic verification and validation. Currently, E2E T&E technology is entering the fourth generation and being applied to th...

متن کامل

RATS: A Software Tool To Aid The Development Of New Services For Intelligent Networks

This paper describes an improved overall development life cycle for intelligent network (IN) services. A novel intelligent tool (RATS) is being developed to actively assist with requirements capture and early analysis, leading to formal specifications of the IN service at different stages of refinement. Commercial tools are then used for analysis and simulation of these specifications as well a...

متن کامل

Testing, Proof and Automation. An Integrated Approach

This paper presents a discussion on the complementary roles of testing and proof within automated software verification and validation processes. We demonstrate how a combination of the two approaches can lead to greater levels of automation and integrity. In particular we discuss the use of automated counter-example generation to support proof, and automated proof as a means of automating and ...

متن کامل

Loss of Load Expectation Assessment in Deregulated Power Systems Using Monte Carlo Simulation and Intelligent Systems

Deregulation policy has caused some changes in the concepts of power systems reliability assessment and enhancement. In this paper, generation reliability is considered, and a method for its assessment using intelligent systems is proposed. Also, because of power market and generators’ forced outages stochastic behavior, Monte Carlo Simulation is used for reliability evaluation. Generation r...

متن کامل

An Intelligent Method Based on State Space Search for Automatic Test Case Generation

Search-Based Software Testing reformulates testing as search problems so that test case generation can be automated by some chosen search algorithms. This paper reformulates path-oriented test case generation as a state space search problem and proposes an intelligent method Best-First-Search Branch & Bound to solve it, utilizing the algorithms of Branch & Bound and Backtrack to search the spac...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012