• Educational Technology International
• /
• v.23 no.2
• /
• pp.157-181
• /
• 2022

Scale scores for cognitive domains have been used as an important indicator for both academic achievement and clinical diagnosis. For example, in education, Cognitive Abilities Test (CogAT) has been used to measure student's capability in academic learning. In a clinical setting, Cognitive Impairment Screening Test utilizes items measuring cognitive ability as a dementia screening test. We demonstrated a procedure of generating cognitive ability test items similar as in CogAT but the theory associated with the generation is totally different. When creating cognitive test items, we applied automatic item generation (AIG) that reduces errors in predictions of cognitive ability but attains higher reliability. We selected two cognitive ability test items, categorized as a time estimation item for measuring quantitative reasoning and a paper-folding item for measuring visualization. As CogAT has widely used as a cognitive measurement test, developing an AIG-based cognitive test items will greatly contribute to education field. Since CLASS is the only LMS including AIG technology, we used it for the AIG software to construct item models. The purpose of this study is to demonstrate the item generation process using AIG implemented within CLASS, along with proving quantitative and qualitative strengths of AIG. In result, we confirmed that more than 10,000 items could be made by a single item model in the quantitative aspect and the validity of items could be assured by the procedure based on ECD and AE in the qualitative aspect. This reliable item generation process based on item models would be the key of developing accurate cognitive measurement tests.

• Journal of Korean Society for Quality Management
• /
• v.19 no.1
• /
• pp.65-71
• /
• 1991

According to characters of software, the methods of evaluating reliability are different. The purpose of this study was to develop application software used in the field and to set up reliability model which failure density was used so that in the process of test, developer and user may apply a point of time to field business and to apply developed model which real data use used.

• Nuclear Engineering and Technology
• /
• v.46 no.1
• /
• pp.55-62
• /
• 2014

A method for estimating software reliability for nuclear safety software is proposed in this paper. This method is based on the software reliability growth model (SRGM), where the behavior of software failure is assumed to follow a non-homogeneous Poisson process. Two types of modeling schemes based on a particular underlying method are proposed in order to more precisely estimate and predict the number of software defects based on very rare software failure data. The Bayesian statistical inference is employed to estimate the model parameters by incorporating software test cases as a covariate into the model. It was identified that these models are capable of reasonably estimating the remaining number of software defects which directly affects the reactor trip functions. The software reliability might be estimated from these modeling equations, and one approach of obtaining software reliability value is proposed in this paper.

• Journal of the Korea Society of Computer and Information
• /
• v.18 no.8
• /
• pp.105-111
• /
• 2013

This paper presents a virtual sensor system that is an effective method to test application software of smart sensors. The common way of testing sensor application is to build a test board, connect sensors to the board, and test sensor applications on the board with sensor's measurements as inputs. The problem of testing sensor application software with sensor's measurements as inputs is the restriction of test data. In other words, software testers cannot manipulate test data, because test data is generated by sensors. To solve this problem a virtual sensor system is presented in this paper. The virtual sensor system enables software testers to manipulate measurements of sensors. In the virtual sensor system, generation of virtual sensors comprises three stages - sensor selection, sensor characterization, and determination of output patterns. Sensor's measurements that can be manipulated through the virtual sensor system make the process of testing efficient. To show the usefulness of our virtual sensor system, it is applied to sensor applications in Android platform and the result of experiments is shown.

• Journal of Advanced Navigation Technology
• /
• v.19 no.1
• /
• pp.15-21
• /
• 2015

WA-DGNSS is a system to service for users using a satellite which received correction data from ground station that calculates the relative errors of the tracked GNSS signals and sends to a satellite. Users are guaranteed the reliability of the GNSS signal and the accuracy of positioning. ICAO recommends the application of WA-DGNSS for the airplane taking off and landing process. In this paper, we suggests methods to verify of the pre-developed WA-DGNSS reference software constituting modules and an integration test process refer to the RTCA DO-278 which is a document for the development process of an aeronautics software. Also, we statistically verified the reference software test through our methods. And then, we confirmed to performance the function of the reference software properly.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2020.07a
• /
• pp.593-594
• /
• 2020

본 논문은 급격하게 발전하는 IT기술의 발전과 그로 인한 기업들의 경쟁 속에서 수 많은 프로젝트들이 생성되는 현대 사회에서 이런 프로젝트들이 경쟁에서 이길 수 있도록 프로젝트가 빠르고 완성도 있게 만들어질 필요를 느끼고 기존의 프로젝트 개발 방법론과 테스트 설계 방법론 중 V모델을 연구해서 프로젝트 관리 시스템에 등록된 데이터를 기반으로 테스트가 자동 설계될 수 있게 함으로써 프로젝트 전체 기간을 줄이고 프로젝트 비용을 줄일 수 있는 방법을 제안한다. 이 논문에서 제안하는 모델을 확장시켜서 프로젝트 테스트 관리에 불필요한 설계 시간과 테스트 관리에 수월할 것이라 기대한다.

• 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.

• Korean Journal of Computational Design and Engineering
• /
• v.16 no.2
• /
• pp.92-103
• /
• 2011

The construction industry consists of various and massive architectural information as an architectural process includes a variety of design stages with cooperation of many disciplines. A Building Information Modeling (BIM) serves as a shared knowledge resource for information about a facility forming a reliable basis for decisions during its life-cycle from inception onward. building SMART has developed Industry Foundation Classes (IFC) standard for interoperability of BIM based information. Several software tools are already IFC-compliant. However, there are a lot of problems related to efficient interoperability of software owing to the lack of guide regarding the software usage and insufficiency IFC interfaces of software. The purpose of this study is to suggest efficient IFC support interface development methodologies of existing IFC certified software. The scope of this study is interoperability test for open BIM based quality assurance. To achieve this purpose, the authors have classified subject of open BIM based quality assurance and investigated IFC certification process and certified software. In addition, the authors have exported and imported via IFC files using different IFC interfaces in the software for interoperability of architectural objects and their properties. Finally, the authors have suggested IFC support interface development methodologies and hereafter direction for efficient interoperability of IFC certified software based on open BIM.

• Journal of Platform Technology
• /
• v.8 no.4
• /
• pp.47-58
• /
• 2020

DO-330 Software Tool Qualification Considerations is a guideline for development of tools used to develop/verify software and hardware installed on aircraft. And among several processes, the verification process is very crucial as it occupies a large proportion for DO-330. Especially, in order to qualify tool with high safety level, test objectives must be performed with independence, accordingly, more time, cost, and manpower are required than other objectives. In addition, even if the test cases or test procedures are well defined, the higher the complexity of the test the higher probability of human error occurs. In this paper, we propose Script-based Test Automation Agent software structure for efficient DO-330 verification process of A661UAGEN tool developed by Hanwha Systems. Compared to the test performed manually by the test engineer, testing time of the Script-based Test Automation Agent is reduced by 87.5% and testing productivity is increased by 43.75%.

• Bulletin of the Korean Space Science Society
• /
• 2006.04a
• /
• pp.117-120
• /
• 2006

HAUSAT-2 flight software was developed by first analyzing the satellite requirements, and incorporating the results into the software. Coding and compiling is done after the software is completed, then individual and integrated tests are performed in order to verify the flight software algorithm. Currently, HAUSAT-2 flight software integrated test has been performed and the test result is serving as a basis for code modification nd additional developments. This paper describes the architecture, development process, and development environment of HAUSAT-2 flight software.