A systematic representation of path constraints for implicit path enumeration technique
- Authors
- Kim, Tai Hyo; Bang, Ho Jung; Cha, Sung Deok
- Issue Date
- 3월-2010
- Publisher
- WILEY
- Keywords
- real-time systems; worst-case execution time; WCET; static analysis; implicit path enumeration technique; infeasible paths
- Citation
- SOFTWARE TESTING VERIFICATION & RELIABILITY, v.20, no.1, pp.39 - 61
- Indexed
- SCIE
SCOPUS
- Journal Title
- SOFTWARE TESTING VERIFICATION & RELIABILITY
- Volume
- 20
- Number
- 1
- Start Page
- 39
- End Page
- 61
- URI
- https://scholar.korea.ac.kr/handle/2021.sw.korea/116875
- DOI
- 10.1002/stvr.406
- ISSN
- 0960-0833
- 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.
- Files in This Item
- There are no files associated with this item.
- Appears in
Collections - Graduate School > Department of Computer Science and Engineering > 1. Journal Articles
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.