Digital Library
Search: "[ keyword: Test Case ]" (29)
Empirical Study on Test Case Prioritization Techniques of Regression Testing
Sun Sup So , Yi Geun Chae The KIPS Transactions:PartD,
Vol. 12, No. 2, pp. 283-288,
Apr.
2005
10.3745/KIPSTD.2005.12.2.283
10.3745/KIPSTD.2005.12.2.283
Failure Analysis of Aircraft Software Test Cases from a Perspective of Requirements Traceability
Sung-Sub Kim, Hee-Tae Cho, Seonah Lee KIPS Transactions on Software and Data Engineering,
Vol. 9, No. 11, pp. 357-366,
Nov.
2020
https://doi.org/10.3745/KTSDE.2020.9.11.357
Keywords: software engineering, Aircraft Software, Requirement Traceability, Test Cases
https://doi.org/10.3745/KTSDE.2020.9.11.357
Keywords: software engineering, Aircraft Software, Requirement Traceability, Test Cases
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
Design of Programming Failure Feedback System Based on Control Flow of Test Case to Support Programming Training
Sunghee Lee, Deok Yeop Kim, Kang Bok Seo, Woo Jin Lee KIPS Transactions on Software and Data Engineering,
Vol. 8, No. 8, pp. 317-322,
Aug.
2019
https://doi.org/10.3745/KTSDE.2019.8.8.317
Keywords: Feedback, Failure, Control Flow, Test Case, Fault
https://doi.org/10.3745/KTSDE.2019.8.8.317
Keywords: Feedback, Failure, Control Flow, Test Case, Fault
A Validation Technique for Process Component Composition in the Component - Based Development Process
Bok Gyu Joo, Young Chul Kim The KIPS Transactions:PartD,
Vol. 8, No. 6, pp. 691-698,
Dec.
2001
10.3745/KIPSTD.2001.8.6.691
10.3745/KIPSTD.2001.8.6.691
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
A Test Case Generation Method for Data Distribution System of Submarine
Suik Son, Dongsu Kang KIPS Transactions on Software and Data Engineering,
Vol. 8, No. 4, pp. 137-144,
Apr.
2019
https://doi.org/10.3745/KTSDE.2019.8.4.137
Keywords: Data Distribution System, Model-based testing, Path Testing, Tree Traversal, test case generation
https://doi.org/10.3745/KTSDE.2019.8.4.137
Keywords: Data Distribution System, Model-based testing, Path Testing, Tree Traversal, test case generation
Fault Injection Based Indirect Interaction Testing Approach for Embedded System
Muhammad Iqbal Hossain, Woo Jin Lee KIPS Transactions on Software and Data Engineering,
Vol. 6, No. 9, pp. 419-428,
Sep.
2017
10.3745/KTSDE.2017.6.9.419
Keywords: Indirect Interaction, Interaction Testing, Test Case Generation, Fault Injection, Embedded System
10.3745/KTSDE.2017.6.9.419
Keywords: Indirect Interaction, Interaction Testing, Test Case Generation, Fault Injection, Embedded System
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
Model-Based Automatic Test Data Generation Method Using Custom Parser and SMT Solver
Ki-Wook Shin, Dong-Jin Lim KIPS Transactions on Software and Data Engineering,
Vol. 6, No. 8, pp. 385-390,
Aug.
2017
10.3745/KTSDE.2017.6.8.385
Keywords: test case generation, Model-Based Development, Custom Parser, SMT Solver
10.3745/KTSDE.2017.6.8.385
Keywords: test case generation, Model-Based Development, Custom Parser, SMT Solver