• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2004.05a
• /
• pp.611-614
• /
• 2004

As information telecommunication industry develops and systems get integrated gradually, the importance of embedded software is growing significantly. On the contrary, the reliability of embedded software has worsened. Accordingly, testing of software is an essential part in designing and building up embedded system and the volume of testing required is immense. This paper elaborates on design and testing model for complex embedded software, providing guidelines to collect requirements for complex embedded software.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.58 no.2
• /
• pp.108-115
• /
• 2009

Recent advances in computer technology have brought more dependence on software to train control systems. Hence, the safety assurance of the vital software running on the railway system is very critical task and yet, not many works have been done. While much efforts have been reported to improve electronic hardware's safety, not so much systematic approaches to evaluate software's safety, especially for the vital software running on board train controllers. In this paper, we have developed the static software testing tool for railway signaling, especially Fagan Inspection module and checklists supporting module. This static testing tool for railway signaling can be utilized at the assessment phase, and also usefully at the software development stage also. It is anticipated that it will be greatly helpful for the evaluation on the software for railway signalling system.

• Journal of Aerospace System Engineering
• /
• v.7 no.3
• /
• pp.58-64
• /
• 2013

The paper presents the comprehensive studies of ISTQB(International Software Testing Qualification Board) for the reliable software development system in term of various aspects. It is critical to understand how the software testing is achieved is to efficiently manage the development process, to reduce the development cost, and to ultimately ensure the safety of the entire software system. This study may provide an enriched understanding about the rationale and true intent the behind software development model and testing design methods of ISTQB on software developer, test analysts, test engineers. In addition, this paper may serve as a useful supplementary material for the avionic engineers to establish the new regulations in avionic industries.

• Journal of Institute of Control, Robotics and Systems
• /
• v.16 no.6
• /
• pp.608-616
• /
• 2010

Robot software components can be categorized into two types; the pure S/W component and the H/W-related one. Since interface testing of the robot software component is the labour-intensive and complicated work, an effective automated testing tool is necessary. Especially it is difficult to test all types of H/W-related components because it is hard work to prepare all H/W modules related to them. This paper proposes a new simulation-based interface testing automation tool(SITAT) which generates automatically test cases for interface testing of the robot software component and executes the interface test with the generated test cases where the simulator is used for simulation of the activity of a H/W module instead of the real H/W module. This paper verifies the effectiveness of the suggested SITAT with testing of the real H/W-related robot software component.

• Journal of the Korea Society of Computer and Information
• /
• v.10 no.3 s.35
• /
• pp.89-99
• /
• 2005

The testing time and cost of developed software can be reduced by automation of the whole or part of testing process. Since the testing automation tools to be used currently have been developed without their interoperability, test case information such as test procedures, test data, and expectation of test results generated at the stage of test execution cannot be shared and reused in other testing automation tools, In order to reduce testing time and cost, in this thesis, we have proposed a software testing automation framework which makes it possible to share and reuse the test case information generated in testing process. To prove the availability and effectiveness of proposed testing automation framework, three testing automation tools that are available in current market were experimented by the test scenario. As a result of experiment, the testing time and cost could be reduced by sharing and reusing the test case information in software testing automation framework.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.5
• /
• pp.541-545
• /
• 2010

AUTOSAR, a standard software platform for automotive, has been developed to manage software complexity and improve software reuseability. However reuse of test system is difficult because it is dependant on implementation language and test phase. In this paper, we suggest a test system generation method for AUTOSAR software component using TTCN-3, a standardized testing language. TTCN-3 test system is generated automatically from AUTOSAR XML containing software design information. The test system consists of TTCN-3 tester and target system and tests functionality and worst case response time of software under simulation environment. With the proposed testing techniques we can reduce time and effort to build the testing system and reuse testing environment.

• Proceedings of the KSRS Conference
• /
• 2008.10a
• /
• pp.84-87
• /
• 2008

ATTOL is a software unit testing tool produced by the ATTOL Testware SA in France. It automates the entire software unit testing process: test plan template and test program generation, test program execution, test result analysis and test report generation. ATTOL is suited for the development of embedded software as it allows programmers to operate in native and cross development environments. Particularly, it is used for the development of the flight software which is embedded in the Communication Ocean Meteorological Satellite (COMS). As the flight software is mission-critical, it requires the strict software quality and high testing constraints. The flight software of COMS is verified by ATTOL in native and cross platforms. In 2002, ATTOL was taken over by the IDM Rational Software and has been supplied with the name of Test RealTime (TestRT). The test process of TestRT becomes different from that of ATTOL as TestRT provides the new functionalities that were absent from ATTOL. TestRT provides the new features in the test script language, as well. In this paper, we compare the test process of ATTOL to TestRT With an example of COMS and explain what has been changed in the test script language.

• Journal of Applied Reliability
• /
• v.16 no.3
• /
• pp.216-223
• /
• 2016

Purpose: This paper suggests the procedure to enhance the reliability of the software of the medical device that is to cure, treat, diagnose, and prevent a disease or an abnormal health conditions. Methods: After test requirements are classified by the software requirements specification for safety and backgrounds, reliability assessment methods are suggested. Results: Verification and validation for function and safety can be performed whether the medical device software are implemented as intended. Conclusion: Procedure on the static analysis, unit test, integration test, and system test are provided for the medical device software.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06b
• /
• pp.7-12
• /
• 2008

Reusing software components without proper analysis is very risky because software components can be used differently from the way that they were developed. This paper describes a new testing approach for reusing software components. With this new approach, it is possible to automatically decide if software components can be reused without retesting. In addition, when retesting is required for reusing software, test cases are generated more efficiently using the previous testing history.

• Journal of Internet Computing and Services
• /
• v.7 no.2
• /
• pp.151-160
• /
• 2006

Software quality evaluation system and software evaluation criterion have to be defined to evaluate software reliability. In this study, we develop software reliability quality metrics for evaluating of software reliability and research for testing of suitable criteria of software reliability. To accomplish a study successfully, we have to estimate the failure time of software using the number of software bugs. Software reliability is very important in software quality. We propose the estimation of software reliability. We propose the software reliability metrics and the software testing method that the basis of international standard ISO/IEC 9126 in software testing metrics.