• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.11 no.12
• /
• pp.5759-5779
• /
• 2017

As the main means to cope with the stubborn problem of drunk driving, the inspection of drunk driving has already been paid more attention and thus reinforced. In this paper, we model this scenario as a Stackelberg game, where the police department (called defender) allocates resources dynamically in terms of the traffic situation on the traffic network to arrest drink drivers and drivers who drink (called attacker), whether choosing drunk driving or designated driving service, expect to minimize their cost for given travel routes. However, with the number of resources are limited, our goal is to calculate the optimal resource allocation strategy for the defender. Therefore, first, we provide an effective approach (named OISDD) to fulfill our goal, i.e., generate the optimal strategy to inspect drunk driving. Second, we apply OISDD to directed graphs (which are abstracted from Dalian traffic network) to analyze and test its correctness and rationality. The experimental results show that OISDD is feasible and efficient.

• Journal of Information Technology Applications and Management
• /
• v.23 no.4
• /
• pp.117-125
• /
• 2016

Software reliability in the software development process is an important issue. In infinite failure non-homogeneous Poisson process software reliability models, the failure occurrence rates per fault. can be presented constant, monotonic increasing or monotonic decreasing pattern. In this paper, the reliability software cost model considering decreasing intensity function was studied in the software product testing process. The decreasing intensity function that can be widely used in the field of reliability using power law process, log-linear processes and Musal-Okumoto process were studied and the parameter estimation method was used for maximum likelihood estimation. In this paper, from the software model analysis, we was compared by applying a software failure interval failure data considering the decreasing intensity function The decreasing intensity function model is also efficient in terms of reliability in the arena of the conservative model can be used as an alternating model can be established. From this paper, the software developers have to consider life distribution by preceding information of the software to classify failure modes which can be gifted to support.

• Journal of the Korea Society of Computer and Information
• /
• v.26 no.9
• /
• pp.105-114
• /
• 2021

ESICD(Electrical Signal Interface Control Document) refers to a document that describes protocols and data for communication between components consist of a system. Each component developer gathers at a specific place to conduct an integrated test for ESICD verification. In this case, it often happens that the integration test is delayed due to a simple mistake of software developers. There are two reasons for this situation: First, software developers do not perform sufficient verification because it is difficult to configure the system environment in a Lab, and second, they do not immediately find the cause of errors occurred during integration tests. Therefore, in this paper, we propose a strategy to effectively perform ESICD verification, which takes a lot of time between the production and implementation stage of the weapon system development stage and the system integration test stage.

• Journal of Information Technology Applications and Management
• /
• v.13 no.4
• /
• pp.1-12
• /
• 2006

Many software reliability growth models(SRGM) have been proposed since the software reliability issue was raised in 1972. The technology to estimate and grow the reliability of developing S/W to target value during testing phase were developed using them. Most of these propositions assumed the S/W debugging testing efforts be constant or even did not consider them. A few papers were presented as the software reliability evaluation considering the testing effort was important afterwards. The testing effort forms which have been presented by this kind of papers were exponential, Rayleigh, Weibull, or logistic functions, and one of these 4 types was used as a testing effort function depending on the S/W developing circumstances. I propose the methology to evaluate the SRGM using least square estimator and maximum likelihood estimator for those 4 functions, and then examine parameters applying actual data adopted from real field test of developing S/W.

• Journal of Internet Computing and Services
• /
• v.16 no.2
• /
• pp.85-98
• /
• 2015

Component technologies which enable quickly and effectively to develop software have begun to come into the spotlight since early 1990s. Currently, a number of software development works are performed on the J2EE/EJB environment. However component testing is a very complicated task, in addition it requires more efforts than the previous Java class testing. Thus many developers do not perform sufficiently testing works. In this paper we propose an automatic testing method for EJB components based on the in-container testing strategy and implement a testing tool. Since our method builds automatically the test environment for EJB components, it is possible for developers or testers to save their time and efforts at the test preparation phase. Therefore we are convinced that the reliability of EJB components can be increased through sufficient testings with our method.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.9 no.6
• /
• pp.681-687
• /
• 2014

Nuclear industries have faced unfavorable circumstances such as an obsolescence of the instrumentation and control system, and therefore nuclear society is striving to resolve this issue fundamentally. IEC and IAEA judge that FPGA technology is a good replacement for Programmable Logic Controller (PLC) of Nuclear Instrumentation and Control System. FPGAs are currently highlighted as an alternative means for obsolete control systems. Because the main function inside an FPGA is initially developed as software, good software quality can impact the reliability of an FPGA-based controller. Therefore, it is necessary to establish a software development aspect strategy that enhances the reliability of an FPGA-based controller. In terms of software development, HDL-Programmed Device (HPD) Development Life Cycle is applied into FPGA-based Controller. The burn-in test and environmental(temperature) test should be performed in order to apply into nuclear instrumentation and control system. Therefore it is ensured that the developed FPGA-based controller are normally operated for 352 hours and 92 hours in test chamber of Korea Institute of Machinery and Materials (KIMM).

• Journal of Korea Multimedia Society
• /
• v.20 no.4
• /
• pp.660-670
• /
• 2017

In case of auditing of the information system development project applying agile methodology, it is not appropriate to carry out a comprehensive check on the establishment of information system with only the existing check on software. This study considers the characteristics of the agile methodology in terms of Information System Auditing. To improve inspection quality of development project with agile methodology by deriving detailed check items of test activities at each stage, this study proposes a strategy to improve the check on software for the test activities of the supervisory model that is suitable for agile methodology, which emphasizes repetitive work.

• Journal of the Korean Society for Railway
• /
• v.8 no.6 s.31
• /
• pp.597-601
• /
• 2005

Korea Railroad Research Institute(KRRI) developed the Driverless Rubber Tired Korea-AGT(Model: K-AGT) from 1999 to 2004. We have finished the safety and performance tests of K-AGT. Data obtained from this testing can be used to evaluate the growth of reliability. The most widely used traditional growth tracking model is included as IEC International standard. With the tracking model all corrective actions are incorporated during test, called test-fix-test. In the test-fix-test strategy problem modes are found during testing and corrective actions for these problems are incorporated during testing. In this paper, we demonstrated reliability analysis using growth model of driverless rubber tired K-AGT system to prove reliability of development system. Therefore, we introduce the well-known NHPP model and analyze a reliability growth using ReliaSoft's RGA software.

• Journal of Information Technology Applications and Management
• /
• v.11 no.2
• /
• pp.191-204
• /
• 2004

Many software reliability growth model(SRGM) have been proposed for past several decades. Most of these propositions assumed the S/W debugging testing efforts be constant or even did not consider them. A few papers were presented as the software reliability evaluation considering the testing effort was important afterwards. The testing effort forms which have been presented by this kind of papers were exponential, Rayleigh, Weibull, or Logistic functions, and one of these 4 types was used as a testing effort function depending on the S/W developing circumstances. We consider the methology to evaluate the SRGN using least square estimator(LSE) and maximum likelihood estimator(MLE) for those 4 functions, and then examine parameters applying actual data adopted from real field test of developing S/W.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.11 no.11
• /
• pp.4460-4467
• /
• 2010

Recent advances in computer technology have brought more dependence on software to railway systems and changed to computer systems. Hence, the reliability and safety assurance of the vital software running on the embedded railway system is going to tend toward very critical task. Accordingly, various software test and validation activities are highly recommended in the international standards related railway software. In this paper, we presented an automated analysis tool and standard for software testing coverage in railway system, and presented its result of implementation. We developed the control flow analysis tool estimating test coverage as an important quantitative item for software safety verification in railway software. Also, we proposed judgement standards due to railway S/W Safety Integrity Level(SWSIL) based on analysis of standards in any other field for utilizing developed tool widely at real railway industrial sites. This tool has more advantage of effective measuring various test coverages than other countries, so we can expect railway S/W development and testing technology of real railway industrial sites in Korea.