• Transactions of the Korean Society of Automotive Engineers
• /
• v.9 no.1
• /
• pp.131-138
• /
• 2001

The performance analysis of an electronic equipment test is very complicate due to the variety o vehicles. In this study, automatic design system for the electronic equipment test has been carried out using the standard load patterns. For the test, standard signal patterns for each item are modeled. The test items can be decided by the user by means of these patterns. Also, engineering software modules are developed and proved to be very efficient for analyzing the test results statistically. Experiments are performed for the test system in the vehicle assembly line. By analyzing the test results, it is found that bad samples can be detected without failure. Also, the engineering software modules provide an analytical tool for the automation of the test process.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.10 no.3
• /
• pp.1-9
• /
• 2014

The inverse Rayleigh model distribution and Rayleigh distribution model were widely used in the field of reliability station. In this paper applied using the finite failure NHPP models in order to growth model. In other words, a large change in the course of the software is modified, and the occurrence of defects is almost inevitable reality. Finite failure NHPP software reliability models can have, in the literature, exhibit either constant, monotonic increasing or monotonic decreasing failure occurrence rates per fault. In this paper, proposes the inverse Rayleigh and Rayleigh software reliability growth model, which made out efficiency application for software reliability. Algorithm to estimate the parameters used to maximum likelihood estimator and bisection method, model selection based on mean square error (MSE) and coefficient of determination($R^2$), for the sake of efficient model, were employed. In order to insurance for the reliability of data, Laplace trend test was employed. In many aspects, Rayleigh distribution model is more efficient than the reverse-Rayleigh distribution model was proved. From this paper, software developers have to consider the growth model by prior knowledge of the software to identify failure modes which can helped.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2012.10a
• /
• pp.495-497
• /
• 2012

Development of application risk management for medical device software test. First, Through questionnaires, Medical device manufacturers, Analysis of software validation and risk management status. Second, Analyzed by comparing the difference between black box testing and white box testing. Third, After analyzing the potential for software analysis tools using code derived factors were quantified, Finally, Medical device risk management process so that it can be applied to build the framework by FMEA(Failure Mode and Effect Analysis) technique. Through this Difficult to build software validation and risk management processes for manufacturers to take advantage of support in medical device GMP(Good Manufacture Practice).

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.9 no.2
• /
• pp.401-414
• /
• 2008

The object of quality test for weapons system embedded software is support about implement of high quality system which coincided with requirements of weapons system embedded. There are some examples which developed quality evaluation methodology, evaluation method for general embedded software. But the concrete system for weapons system embedded software was not constructed yet. Recently, various weapons system embedded software were developed and used but they require the effort for the quality. In this paper, we developed the evaluation modules and the quality test tables which can evaluate based on ISO/IEC 12119 for weapons system embedded software evaluation.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.5 no.4
• /
• pp.263-272
• /
• 2009

Nowadays, lots of software that have similar functions is being produced. Hence it is getting more important to select the best and suitable software for each individual or company. Moreover, there are few trustworthy materials regarding to the objective procedure and criteria for the best evaluation of the software quality. To overcome these problems, benchmarking has been carried out. However, benchmarking is also confronting the limit of quality evaluation verification due to the difficult of the objectification of the major test items. To solve these problems, some others try to evaluate the quality of software using objective criteria of evaluation based on ISO/IEC standards. Nevertheless, this method using these defined evaluation items and criteria may result in not very reliable outcome. Therefore, this paper offers the evaluation items reflected in the characteristics of each software in order to prove the validity of the proposed method. Moreover, the objective and quantitative criterion which analyzes and reflects the organization characteristics using AHP methodology is applied to the experiment and performance evaluation. Hence we expect that the proposed method provides the needs of the re-establishment of software quality evaluation criteria and the improvement of process in terms of management.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.16 no.5
• /
• pp.1561-1583
• /
• 2022

Context: Testing is one of the techniques that can assure the quality of software including the domain of Software Product Line (SPL). Various techniques have been deliberated to enhance the quality of SPL including Model-based Testing (MBT). Objective: The objective of this study is to analyze and classify trends of MBT in SPL covering the solutions, issues and evaluation aspects by using taxonomy form. Method: A Systematic Literature Review (SLR) was conducted involving 63 primary studies from different sources. The selected studies were categorized based on their common characteristics. Results: Several findings can guide future research on MBT for SPL. The important finding is that the multiple measurements are still open to improving current metrics to evaluate test cases in MBT for SPL. The multiple types of measurement required a trade-off between maximization and minimization results to ensure the testing method which could satisfy multiple test criteria for example cost and effectiveness at the same time.

• Journal of Electrical Engineering and Technology
• /
• v.2 no.3
• /
• pp.386-390
• /
• 2007

At recent times, an essential issue in the replacement of the old analogue I&C to computer-based digital systems in nuclear power plants becomes the quantitative software reliability assessment. Software reliability models have been successfully applied to many industrial applications, but have the unfortunate drawback of requiring data from which one can formulate a model. Software that is developed for safety critical applications is frequently unable to produce such data for at least two reasons. First, the software is frequently one-of-a-kind, and second, it rarely fails. Safety critical software is normally expected to pass every unit test producing precious little failure data. The basic premise of the rare events approach is that well-tested software does not fail under normal routine and input signals, which means that failures must be triggered by unusual input data and computer states. The failure data found under the reasonable testing cases and testing time for these conditions should be considered for the quantitative reliability assessment. We presented the quantitative reliability assessment methodology of safety critical software for rare failure cases in this paper.

• Journal of Information Processing Systems
• /
• v.15 no.6
• /
• pp.1462-1471
• /
• 2019

Real-time embedded systems have become pervasive in general industry. They also began to be applied in such domains as avionics, automotive, aerospace, healthcare, and industrial Internet. However, the system failure of such domains could result in catastrophic consequences. Runtime software testing is required in such domains that demands very high accuracy. Traditional runtime software testing based on handwork is very inefficient and time consuming. Hence, test automation methodologies in runtime is demanding. In this paper, we introduce a software testing system that translates a real-time software into a monitorable real-time software. The monitorable real-time software means the software provides the monitoring information in runtime. The monitoring target are time constraints of the input real-time software. We anticipate that our system lessens the burden of runtime software testing.

• The Journal of the Korea Contents Association
• /
• v.12 no.11
• /
• pp.39-48
• /
• 2012

It is well known that software testing amounts for a significant portion of software development cost. In order to reduce the cost of software testing. a lot of researches on automated test data generation have been performed. Sophisticated tools for performing symbolic execution or solving a system of path constraints are required to support automated test data generation. Developing or purchasing those tools leads to another factor of increasing the cost involving software testing. In this paper, we propose a dynamic test data generation approach that does not depend on symbolic execution or constraint solving at all. The proposed approach extends Korel's path-oriented method to satisfy the branch coverage criterion effectively. We conducted an experiment to evaluate the effectiveness of the proposed technique with a triangle classification program to show that branch coverage can be easily achieved.

• International Journal of Aerospace System Engineering
• /
• v.1 no.1
• /
• pp.10-15
• /
• 2014

This study presents technical description of the operating program development that operates the test bench for functional test of EECU. The test bench is capable of testing, simulation and adjustment of the EECU software using the operating program. The test bench is for the Development Project of the EECU platform for FADEC system. The operating program is consists of 3 modules which are the test bench operating module, cockpit simulator module and SILS module. The operating module mainly carries out the EECU test with manual operation and operating scenarios. Also that record and process the test data. The cockpit simulator module is capable of implementation of virtual cockpit control input and engine status display. The SILS module can simulate engine and EECU operation in software environment.