文章基本信息

标题：Generation of Branch Coverage Test Data for Simulink/Stateflow Models Using Crest Tool
本地全文：下载
作者：Sangharatna Godboley ; Adepu Sridhar ; Bhupendra kharpuse 等
期刊名称：International Journal of Advanced Computer Research
印刷版ISSN：2249-7277
电子版ISSN：2277-7970
出版年度：2013
卷号：3
期号：13
页码：222-229
出版社：Association of Computer Communication Education for National Triumph (ACCENT)
摘要：Automated test suite generation is an optimization technique to reduce test effort and duration. Software Testing has traditionally been one of the main techniques contributing to high software quality and dependability. Testing performance consumes about 50% of software development resources, so any methods aiming at reducing software- testing costs are likely to reduce software development costs. So an automated generation of test cases is highly required. Modelling technology has been introduced into the software testing field. Even though how to perform the testing is difficult task, in this approach we are testing using simulation modelling and by using testing methods we are generating MC/DC test cases. In our approach, the first system is modelled in MATLAB using Simulink/Stateflow tool. After that we are generating code from the Simulink/Stateflow models. We use that code to generate the test data using Concolic tester CREST Tool. Concolic testing is used in avionics systems in an efficient way.
关键词：Simulation; Stateflow; Branch coverage; CREST Tool; Simulink/Stateflow; Concolic testing e Slicer; Crest Tool; Concolic Testing.