• Journal of KIISE:Computing Practices and Letters
• /
• v.6 no.2
• /
• pp.187-195
• /
• 2000

Embedded software generates its outputs using current states of the system as well as external inputs. When a module in embedded software is tested, we need an automated testing tool, which generates possible sequences to reach the module as well as input data of the module, to reduce the testing time and to improve the quality of software. In this paper, we use decision table to specify the functionality of the module and data-annotated MSC (Message Sequence Charts) to describe scenarios, and implement a tool, which we call MSCTest, to automate the testing process. MSCTest consists of MSC graphic editor, test sequence and data generator, and test driver generator. MSCTest is effectively applied to test EsWin which is a kind of window library used in embedded systems.

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

• The KIPS Transactions:PartD
• /
• v.13D no.4 s.107
• /
• pp.573-582
• /
• 2006

Black-box testing needs to prepare fitting test data, execute software, and examine the result. If we test software effectively, not only selecting test cases but also representing test cases are important. In static testing effectiveness of testing activities also depends on how to represent test cases and checklist to validate. This paper suggests a method for finding ineffective critical test cases and reengineering them. An experiment of reengineering digital set-top box software shows the process and results of checking effectiveness and conformance of current test cases and patching test cases. The result shows how much save the test time and improve test coverage by reengineering test cases. Methods of reuse and restructuring test cases are also studied to fit into embedded product-line software.

• Proceedings of the Korean Geotechical Society Conference
• /
• 2008.10a
• /
• pp.559-566
• /
• 2008

This paper describes the state-of-the-art and -practice of embedded precast pile methods in Korea. The current status of embedded precast piling was reviewed in terms of its design, construction and quality assurance available for last decade in Korea. Based on the results obtained, some suggestions and authors' experience were proposed to design and construct the embedded precast pile foundations.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.42 no.4 s.304
• /
• pp.103-110
• /
• 2005

Speech Database is one of the most important part of Text-to-speech(TTS) system Especially, the embedded TTS system needs more small size of database than that of the server TTS system So, the compression and statistical reduction or database is a very important factor in the embedded TTS system But this compression and statistical reduction of database always rise a loss of quality of the synthesised speech. In this paper, we propose a method of constructing database for high quality embedded TTS system and verify the quality of synthesised speech with MOS(Mean Opinion Score) test.

• Journal of Information Processing Systems
• /
• v.1 no.1 s.1
• /
• pp.1-8
• /
• 2005

Embedded systems are used in many fields such as home appliances, terminals, controls, communications, etc. So, to manage, control, and test these embedded systems, monitoring programs have been developed variously. In this paper, to overcome the characteristic faults of embedded systems which have resource restrictions, we implemented a development environment based on NFS and designed a monitoring tool that can evaluate and analyze kernel performance in embedded equipment by using LTT(Linux Trace Toolkit). Also, we designed a method to show monitoring data collected by using a monitoring tool, called MONETA 2.0, through the web-page.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.6 no.1
• /
• pp.32-40
• /
• 2011

For a NAND booting based embedded system, an application program on the NAND flash memory is downloaded to the RAM when the system is booted. In this case, the application program exists in both the RAM and the NAND flash so the RAM usage is increased. In this paper, we suggested the demand paging technique for the decreasing of the RAM usage for OS-less NAND booting based embedded systems. As a result of a benchmark test, 40~80% of the code memory usage was reduced with below 5% of execution time delay.

• ETRI Journal
• /
• v.35 no.5
• /
• pp.808-818
• /
• 2013

Programmable memory built-in self-test (PMBIST) is an attractive approach for testing embedded memory. However, the main difficulties of the previous works are the large area overhead and low flexibility. To overcome these problems, a new flexible PMBIST (FPMBIST) architecture that can test both single-port memory and dual-port memory using various test algorithms is proposed. In the FPMBIST, a new instruction set is developed to minimize the FPMBIST area overhead and to maximize the flexibility. In addition, FPMBIST includes a diagnostic scheme that can improve the yield by supporting three types of diagnostic methods for repair and diagnosis. The experiment results show that the proposed FPMBIST has small area overhead despite the fact that it supports various test algorithms, thus having high flexibility.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.4 no.1
• /
• pp.23-28
• /
• 2009

Testing of analog(and mixed-signal) circuits has been a difficult task for test engineers and effective test techniques to solve these problems are required. This paper develops a new technique which increases fault detection and diagnosis rates for analog circuits by using extended MTSS (Modified Time Slot Specification) technique based on MTSS proposed by the author. High performance current sensors with digital outputs are used as core components for these techniques. A fault diagnosis structure with minimal hardware overhead in ATE is also described.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.16 no.4
• /
• pp.129-136
• /
• 2021

River facilities and port structures require a regular inspection and diagnosis due to obsolescence. Currently, most river facilities are undergoing indirect inspection and diagnosis by divers. The underwater inspections are not feasible due to safety issues of divers and restrictions on working hours and environment. To overcome these issues, it is intended to conduct inspections of river facilities using underwater drones. In this research, an underwater ROV (Remote Operated Vehicle) has been developed, which is a kind of drone with propellers. As a key device of this research, an injection device has been attached to the underwater drone to conduct an operation test, a stable operation test of an underwater drone, and a test of attached sensors. The river facility inspection can be carried out optimally using the hovering control of the drone and injection systems. With the developed ROV system, hovering test and injection test have been performed to verify the feasibility of this development.