340 0

Full metadata record

DC FieldValueLanguage
dc.contributor.author김윤호-
dc.date.accessioned2021-02-19T07:34:21Z-
dc.date.available2021-02-19T07:34:21Z-
dc.date.issued2019-12-
dc.identifier.citationINFORMATION AND SOFTWARE TECHNOLOGY, v. 123, article no. 106221en_US
dc.identifier.issn0950-5849-
dc.identifier.issn1873-6025-
dc.identifier.urihttps://www.sciencedirect.com/science/article/pii/S0950584919302332?via%3Dihub-
dc.identifier.urihttps://repository.hanyang.ac.kr/handle/20.500.11754/158837-
dc.description.abstractContext: The importance of automotive software has been rapidly increasing because software controls many components of motor vehicles such as smart-key system, fire pressure monitoring system, and advanced driver assistance system. Consequently, the automotive industry spends a large amount of human effort to test automotive software and is interested in automated testing techniques to ensure high-quality automotive software with reduced human effort. Objective: Applying automated test generation techniques to automotive software is technically challenging because of false alarms caused by imprecise test drivers/stubs and lack of tool supports for symbolic analysis of bit-fields and function pointers in C. To address such challenges, we have developed an automated testing framework MAESTRO. Method: MAESTRO automatically builds a test driver and stubs for a target task (i.e., a software unit consisting of target functions). Then, it generates test inputs to a target task with the test driver and stubs by applying concolic testing and fuzzing together in an adaptive way. In addition, MAESTRO transforms a target program that uses bitfields into a semantically equivalent one that does not use bit-fields. Also, MAESTRO supports symbolic function pointers by identifying the candidate functions of a symbolic function pointer through static analysis. Results: MAESTRO achieved 94.2% branch coverage and 82.3% MC/DC coverage on the four target modules (238 KLOC) developed by Hyundai Mobis. Furthermore, it significantly reduced the cost of coverage testing by reducing the manual effort for coverage testing by 58.8%. Conclusion: By applying automated testing techniques, MAESTRO can achieve high test coverage for automotive software with significantly reduced manual testing effort.en_US
dc.description.sponsorshipWe thank Ahcheong Lee and Hyunwoo Kim for their initial effort of applying MAESTRO to IBU. This research has been supported by Hyundai Mobis, Next-Generation Information Computing Development Program through NRF funded by MSIT (No. NRF2017M3C4A7068177), Basic Science Research Program through NRF funded by MSIT (NRF-2019R1A2B5B01069865), and Basic Science Research Program through NRF funded by the Ministry of Education (NRF2017R1D1A1B03035851).en_US
dc.language.isoenen_US
dc.publisherELSEVIER SCIENCE BVen_US
dc.subjectAutomated test generationen_US
dc.subjectConcolic testingen_US
dc.subjectfuzzingen_US
dc.subjectAutomotive softwareen_US
dc.subjectCoverage testingen_US
dc.titleMAESTRO: Automated test generation framework for high test coverage and reduced human effort in automotive industryen_US
dc.typeArticleen_US
dc.identifier.doi10.1016/j.infsof.2019.106221-
dc.relation.journalINFORMATION AND SOFTWARE TECHNOLOGY-
dc.contributor.googleauthorKim, Yunho-
dc.contributor.googleauthorLee, Dongju-
dc.contributor.googleauthorBaek, Junki-
dc.contributor.googleauthorKim, Moonzoo-
dc.relation.code2019040202-
dc.sector.campusS-
dc.sector.daehakCOLLEGE OF ENGINEERING[S]-
dc.sector.departmentDEPARTMENT OF COMPUTER SCIENCE-
dc.identifier.pidyunhokim-
Appears in Collections:
COLLEGE OF ENGINEERING[S](공과대학) > COMPUTER SCIENCE(컴퓨터소프트웨어학부) > Articles
Files in This Item:
There are no files associated with this item.
Export
RIS (EndNote)
XLS (Excel)
XML


qrcode

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

BROWSE