• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.18 no.3
• /
• pp.633-652
• /
• 2024

Software testing is an important phase as it ensures the software quality. The software testing process comprises of three steps: generation, execution, and evaluation of test cases. Literature claims the usage of single and multiple 'Unified Modeling Language' (UML) diagrams to generate test cases. Using multiple UML diagrams increases test case coverage. However, the existing approaches show limitations in test case generation from UML diagrams. Therefore, in this research study, we propose an approach to generate the test cases using UML State Chart Diagram (SCD), Activity Diagram (AD), and Sequence Diagram (SD). The proposed approach transforms UML diagrams into intermediate forms: SCD Graph, AD Graph, and SD Graph respectively. Furthermore, by integrating these three graphs, a System Testing Graph (STG) is formed. Finally, test cases are identified from STG by using a traversal algorithm such as Depth First Search (DFS) that is an optimization method. The results show that the proposed approach is better compared to existing approaches in terms of coverage and performance. Moreover, the generated test cases have the ability to detect faults at the unit level, integration, and system level testing.

• Communications for Statistical Applications and Methods
• /
• v.29 no.3
• /
• pp.301-317
• /
• 2022

In this paper, we propose a change point detection procedure based on the modified information criterion in a generalized lambda distribution (GLD) model. Simulations are conducted to obtain empirical critical values of the proposed test statistic. We have also conducted simulations to evaluate the performance of the proposed methods comparing to the log-likelihood method in terms of power, coverage probability, and confidence sets. Our results indicate that, under various conditions, the proposed method modified information criterion (MIC) approach shows good finite sample properties. Furthermore, we propose a new goodness-of-fit testing procedure based on the energy distance to evaluate the asymptotic null distribution of our test statistic. Two real data applications are provided to illustrate the use of the proposed method.

• International Journal of Reliability and Applications
• /
• v.4 no.1
• /
• pp.1-12
• /
• 2003

Many software reliability growth models (SRGM's) based on a nonhomogeneous Poisson process (NHPP) have been proposed by many researchers. Most of the SRGM's which have been proposed up to the present treat the event of software fault-detection in the testing and operational phases as a counting process. However, if the size of the software system is large, the number of software faults detected during the testing phase becomes large, and the change of the number of faults which are detected and removed through debugging activities becomes sufficiently small compared with the initial fault content at the beginning of the testing phase. Therefore, in such a situation, we can model the software fault-detection process as a stochastic process with a continuous state space. In this paper, we propose a new software reliability growth model describing the fault-detection process by applying a mathematical technique of stochastic differential equations of an Ito type. We also compare our model with the existing SRGM's in terms of goodness-of-fit for actual data sets.

• The KIPS Transactions:PartD
• /
• v.11D no.7 s.96
• /
• pp.1491-1498
• /
• 2004

Successful project planning relics on a good estimation of the manpower required to complete a project, together with the schedule options that may be available. Despite the extensive research done developing new and better models, existing software manpower estimation models are present only the total manpower or instantaneous manpower distribution according to the testing time for the software life-cycle. This paper suggests the manpower estimating models for software testing phase as well as testing process and debugging process in accordance with de-tected faults. This paper presents the polynomial model for effort based on testing and debugging faults. These models are verified by 5 different software project data sets with coefficient of determination and mean magnitude of relative error for adaptability of model.

• Journal of the Ergonomics Society of Korea
• /
• v.30 no.2
• /
• pp.331-338
• /
• 2011

Objective: The present study developed a comprehensive usability testing and analysis framework based on a physical interface model of product and user and applied the proposed framework to usability testing of canister-type vacuum cleaner. Background: The development of a user-centered product design is important to satisfy customers who want to use the product with ease of use and to keep the manufacturer competitive in the market. Method: The proposed testing and analysis framework consists of (1) characterization of physical product-user interface, (2) preparation and administration of usability testing questionnaire, and (3) analysis and interpretation of usability testing results. A usability evaluation of five vacuum cleaners was planned and administered based on the proposed framework and its analysis produced detailed and overall usability testing results for various aspects such as tasks, usability criteria, and design components. Results: The testing results were further utilized to identify usability problems and preferred design features of the vacuum cleaners. Conclusion: The proposed usability testing and analysis framework was found effective to identify preferred features and problems of a product design in a systematic, holistic manner. Application: The proposed framework can be of effective use for practitioners of product design and development to obtain comprehensive, quantitative usability testing information in a systematic manner.

• Journal of Korea Multimedia Society
• /
• v.5 no.6
• /
• pp.638-645
• /
• 2002

One of the potential advantages of computer-based instruction is individualization of instruction. However, this goal has not been fully realized in practice, due largely to limitations of natural language understanding and to combinatorial explosion. It is nonetheless possible to develop CAT(Computer- based Adaptive Testing) Programs which can adapt to students, depending on their performance, by adjusting the length of computer-based tests. The number of questions can be significantly reduced for many individuals, while mastery and nonmastery decisions remain highly accurate. In this paper, We design and implement a Diagnosis System using SPRT(Sequential Probability Ratio Testing). This system supports multimedia object, client/server environment, indvidual feedback, multi-SPRT and maintain student model for individualization of instruction. besides, this system measures coefficient alpha of each problem.

• Journal of Auto-vehicle Safety Association
• /
• v.15 no.3
• /
• pp.34-42
• /
• 2023

Simulation-based virtual testing is known to be a major requirement for verifying the safety of autonomous driving functions. However, in the simulation environment, there is a difficulty in that all driving environments related to the autonomous driving system must be realistically modeled. In particular, C-ITS (Cooperative-Intelligent Transport Systems) is essential for urban autonomous driving of Lv.4, but the approach to modeling for C-ITS service in the MILS (Model in the Loop Simulation) environment is not yet clear. Therefore, this paper aims to deal with V2X (Vehicle to Everything) modeling methods to effectively apply C-ITS-based autonomous cooperative driving services in the MILS environment. First, major C-ITS services and use cases for autonomous cooperative driving are analyzed, and a modeling method of V2X signals for C-ITS service simulation is proposed. Based on the modeled V2X messages, the validity of the proposed approach is reviewed through simulations on the C-ITS service use case.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.20 no.5
• /
• pp.688-699
• /
• 2017

Model-based test, a well-known method of the black box tests, is consisted of the following four steps : model construction using requirement, test case generation from the model, execution of a SUT (software under test) and detection failures. Among models constructed in the first step, state-based models such as UML standard State Machine are commonly used to design event-based embedded systems (e.g., weapon control systems). To generate test cases from state-based models in the next step, coverage-based techniques such as state coverage and transition coverage are used. Round-trip path coverage technique using W-Method, one of coverage-based techniques, is known as more effective method than others. However it has a limitation of low failure observability because the W-Method technique terminates a testing process when arrivals meet states already visited and it is hard to decide the current state is completely same or not with the previous in the case like the GUI environment. In other words, there can exist unrevealed faults. Therefore, this study suggests a Extended W-Method. The Extended W-Method extends the round-trip path to a final state to improve failure observability. In this paper, we compare effectiveness and efficiency with requirement-item-based technique, W-Method and our Extended W-Method. The result shows that our technique can detect five and two more faults respectively and has the performance of 28 % and 42 % higher failure detection probability than the requirement-item-based and W-Method techniques, respectively.

• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.1
• /
• pp.19-30
• /
• 2015

Smart TV manufacturers have constructed automatic Smart TV execution environment for reducing cost of Smart TV testing. However, the conventional test methods still require high cost because of manual test script written by testers. Test scripts manully written have less reusability, and then less reusable scripts cannot be used for new TV models. In this paper, we propose constructing reusable test models for Smart TV and present a model-based Smart TV test script generation method using the modes. And we apply the method to NetCast Smart TV to confirm the effectiveness of enhancing reusability.

• The KIPS Transactions:PartD
• /
• v.11D no.6
• /
• pp.1287-1294
• /
• 2004

Recently relationships between reliability measures and the coverage have been developed for evaluation of software reliability. Particularly the mean value function of the coverage-based software reliability growth model is important because of its key role in rep-resenting the software reliability growth. In this paper, we first review the problems of the existing mean value functions with respect to the assumptions on which they are based. Then a new mean value function is proposed. The new mean value function is developed for a general testing environment in which imperfect fault detection and repeated construct execution are allowed. Finally performance of the proposed model is empirically evaluated by applying it to a real data set.