A systematic representation of path constraints for implicit path enumeration technique
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Kim, Tai Hyo | - |
dc.contributor.author | Bang, Ho Jung | - |
dc.contributor.author | Cha, Sung Deok | - |
dc.date.accessioned | 2021-09-08T04:46:00Z | - |
dc.date.available | 2021-09-08T04:46:00Z | - |
dc.date.created | 2021-06-11 | - |
dc.date.issued | 2010-03 | - |
dc.identifier.issn | 0960-0833 | - |
dc.identifier.uri | https://scholar.korea.ac.kr/handle/2021.sw.korea/116875 | - |
dc.description.abstract | Accuracy of implicit path enumeration technique (IPET), which statically estimates the worst-case execution time of a program using integer linear programming, relies on flow information captured as flow facts. Unfortunately, flow facts are inadequate for capturing complex and often subtle path constraints such as causalities. Manual annotation often introduces many disjunctions, and performance of IPET computation suffers significantly. This paper proposes a technique of encoding a subset of path constraints into flow facts. The technique has advantages over conventional approaches: (1) translation process is fully automated and (2) efficient IPET computation is possible because generated flow facts are compact in that they contain at most one disjunction. To demonstrate the effectiveness of our technique, a software tool was implemented to automatically generate flow facts for the subset of path constraints and case study has been conducted using public benchmark suites, GNU openSSH codes, and Korea multi-purpose satellite (KOMPSAT-1) software. Copyright (C) 2009 John Wiley & Sons, Ltd. | - |
dc.language | English | - |
dc.language.iso | en | - |
dc.publisher | WILEY | - |
dc.subject | EXECUTION TIME ANALYSIS | - |
dc.title | A systematic representation of path constraints for implicit path enumeration technique | - |
dc.type | Article | - |
dc.contributor.affiliatedAuthor | Cha, Sung Deok | - |
dc.identifier.doi | 10.1002/stvr.406 | - |
dc.identifier.scopusid | 2-s2.0-77449086518 | - |
dc.identifier.wosid | 000275291500003 | - |
dc.identifier.bibliographicCitation | SOFTWARE TESTING VERIFICATION & RELIABILITY, v.20, no.1, pp.39 - 61 | - |
dc.relation.isPartOf | SOFTWARE TESTING VERIFICATION & RELIABILITY | - |
dc.citation.title | SOFTWARE TESTING VERIFICATION & RELIABILITY | - |
dc.citation.volume | 20 | - |
dc.citation.number | 1 | - |
dc.citation.startPage | 39 | - |
dc.citation.endPage | 61 | - |
dc.type.rims | ART | - |
dc.type.docType | Article | - |
dc.description.journalClass | 1 | - |
dc.description.journalRegisteredClass | scie | - |
dc.description.journalRegisteredClass | scopus | - |
dc.relation.journalResearchArea | Computer Science | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Software Engineering | - |
dc.subject.keywordPlus | EXECUTION TIME ANALYSIS | - |
dc.subject.keywordAuthor | real-time systems | - |
dc.subject.keywordAuthor | worst-case execution time | - |
dc.subject.keywordAuthor | WCET | - |
dc.subject.keywordAuthor | static analysis | - |
dc.subject.keywordAuthor | implicit path enumeration technique | - |
dc.subject.keywordAuthor | infeasible paths | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
(02841) 서울특별시 성북구 안암로 14502-3290-1114
COPYRIGHT © 2021 Korea University. All Rights Reserved.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.