Digital Library
Search: "[ author: 정기현 ]" (49)
Generating Test Cases and Scripts from Requirements in Controlled Language
Hye Jin Han, Kihyun Chung, Kyunghee Choi KIPS Transactions on Software and Data Engineering,
Vol. 8, No. 8, pp. 331-342,
Aug.
2019
https://doi.org/10.3745/KTSDE.2019.8.8.331
Keywords: test case generation, Test Script, Controlled Requirement, Test Coverage, Test Case Auto Generation
https://doi.org/10.3745/KTSDE.2019.8.8.331
Keywords: test case generation, Test Script, Controlled Requirement, Test Coverage, Test Case Auto Generation
Extracting Reusable Test Cases from Modified MATLAB Simulink Model
Park Geon Gu, Han Hye Jin, Chung Ki Hyun, Choi Kyung Hee KIPS Transactions on Software and Data Engineering,
Vol. 8, No. 6, pp. 235-242,
Jun.
2019
https://doi.org/10.3745/KTSDE.2019.8.6.235
Keywords: Test Case Reuse, Simulink/Stateflow, Model Based Test
https://doi.org/10.3745/KTSDE.2019.8.6.235
Keywords: Test Case Reuse, Simulink/Stateflow, Model Based Test
Design and Implementation of Embedded Linux Router
Min Kyu Joo, Kyung Hee Choi, Jong Su Kim, Jong Wuk Moon, Gi Hyun Jung The KIPS Transactions:PartA,
Vol. 8, No. 4, pp. 339-344,
Dec.
2001
10.3745/KIPSTA.2001.8.4.339
10.3745/KIPSTA.2001.8.4.339
A Reconfigurable Memory Allocation Model for Real - Time Linux System
Jae Hong Shim, Suk Yong Jung, Bong Jik Kang, Kyung Hee Choi, Gi Hyun Jung The KIPS Transactions:PartA,
Vol. 8, No. 3, pp. 189-200,
Sep.
2001
10.3745/KIPSTA.2001.8.3.189
10.3745/KIPSTA.2001.8.3.189
An Expanded Real - Time Scheduler Model for Supporting Aperiodic Task Servers
Jae Hong Shim, Yeong Ill Kim, Kyung Hee Choi, Gi Hyun Jung, Hae Young Yoo The KIPS Transactions:PartA,
Vol. 8, No. 1, pp. 16-26,
Mar.
2001
10.3745/KIPSTA.2001.8.1.16
10.3745/KIPSTA.2001.8.1.16
An Automatic Test Case Generation Method from Checklist
Hyun Dong Kim, Dae Joon Kim, Ki Hyun Chung, Kyung Hee Choi, Ho Joon Park, Yong Yoon Lee KIPS Transactions on Software and Data Engineering,
Vol. 6, No. 8, pp. 401-410,
Aug.
2017
10.3745/KTSDE.2017.6.8.401
Keywords: Embedded System, Test Case, Medical Device, Checklist, Testing
10.3745/KTSDE.2017.6.8.401
Keywords: Embedded System, Test Case, Medical Device, Checklist, Testing
Architecture for Simulink/Stateflow Model Based Test Case Generation Considering Feedback
WooWon Choi, Kihyun Chung, Kyunghee Choi KIPS Transactions on Software and Data Engineering,
Vol. 6, No. 7, pp. 361-370,
Jul.
2017
10.3745/KTSDE.2017.6.7.361
Keywords: Embedded System, Testing, Feedback, Test Case
10.3745/KTSDE.2017.6.7.361
Keywords: Embedded System, Testing, Feedback, Test Case
Test Case Generation For Simulink/Stateflow Model Using Yices and Model Information
Han Gon Park, Kihyun Chung, Kyunghee Choi KIPS Transactions on Software and Data Engineering,
Vol. 6, No. 6, pp. 293-302,
Jun.
2017
10.3745/KTSDE.2017.6.6.293
Keywords: test case generation, Simulink/Stateflow, Model Based Test, Yices
10.3745/KTSDE.2017.6.6.293
Keywords: test case generation, Simulink/Stateflow, Model Based Test, Yices
A Hierarchical Checklist to Automatically Generate Test Scripts
Dae Joon Kim, Ki Hyun Chung, Kyung Hee Choi KIPS Transactions on Software and Data Engineering,
Vol. 6, No. 5, pp. 245-256,
May.
2017
10.3745/KTSDE.2017.6.5.245
Keywords: Embedded System, test, Test Script, Checklist
10.3745/KTSDE.2017.6.5.245
Keywords: Embedded System, test, Test Script, Checklist
Test Case Generation for Simulink/Stateflow Model Based on a Modified Rapidly Exploring Random Tree Algorithm
Han Gon Park, Ki Hyun Chung, Kyung Hee Choi KIPS Transactions on Software and Data Engineering,
Vol. 5, No. 12, pp. 653-662,
Dec.
2016
10.3745/KTSDE.2016.5.12.653
Keywords: test case generation, Simulink/Stateflow, ECU
10.3745/KTSDE.2016.5.12.653
Keywords: test case generation, Simulink/Stateflow, ECU