Digital Library


Search: "[ keyword: test ]" (121)
    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


    Association-Based Knowledge Model for Supporting Diagnosis of a Capsule Endoscopy
    Gyubon Hwang, Ye-Seul Park, Jung-Won Lee KIPS Transactions on Software and Data Engineering, Vol. 6, No. 10, pp. 493-498, Oct. 2017
    10.3745/KTSDE.2017.6.10.493
    Keywords: Capsule Endoscopy, Diagnosis Support, Small Intestine, Knowledge Model, modeling


    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


    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


    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


    The Assessment Guideline of the Simplified Test Maturity Model (TMM) for An Assessor
    Woo Sung Jang, Ki Du Kim, Hyun Seung Son, Bo Kyung Park, R. Young Chul Kim KIPS Transactions on Software and Data Engineering, Vol. 6, No. 8, pp. 379-384, Aug. 2017
    10.3745/KTSDE.2017.6.8.379
    Keywords: Test Maturity Model (TMM), Test Assessment Guide, The Simplified Test Maturity Model


    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


    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


    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


    A Method of Test Case Generation Using BPMN-Based Path Search
    JeJun Park, DongSu Kang KIPS Transactions on Software and Data Engineering, Vol. 6, No. 3, pp. 125-134, Mar. 2017
    10.3745/KTSDE.2017.6.3.125
    Keywords: Software Testing, Generating Test Case