• Journal of Applied Reliability
• /
• v.9 no.2
• /
• pp.107-119
• /
• 2009

Reliability tests should be designed to verify whether reliability requirements are satisfied or not effectively and efficiently. The portion of reliability requirements that a reliability test scheme composed of different types of tests can cover is defined as test coverage in software engineering. For the cases of hardwares, to be effective, a reliability test scheme should enhance the test coverage. This study is to develop an evaluation method of test coverage for a reliability test scheme proposed for new products. Case studies are also given.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.29B no.11
• /
• pp.1-7
• /
• 1992

The conformance test is a methodology which verifies whether the Implementation Under Test (IUT) conforms to its standard specification or not. In this paper, first, the Conformance Test System(CTS) is implemented in prototype including verification test type, black-box test strategy, conformance test class, remote test structure, and IUT which is described by the ISO Estelle among Formal Description Techniques. Second, through this prototype the proposed system is experimented. The prototype is composed of two modules. The first module is the Estelle-to-Pascal preprocessor which converts the Estelle program to the corresponding Pascal program because the experimental IUT was described using the unexecutable code form of Estelle before being tested by the TD(Test Driver). The TD, the second module, is based on the master-slave concept and plays important role is CTS. The TD acts as the master with the IUTd being the slave. The prototype system is implemented using Turbo-C, Turbo-Pascal and Turbo-Assembly.

• Proceedings of the KIEE Conference
• /
• 2008.11a
• /
• pp.373-375
• /
• 2008

TTCN-3(Testing & Test Control Notation Version 3) defined in EISI(2001) are the standardized test specification and test implementation language of applicable for all kinds of black-box testing for reactive and distributed system, telecom systems, Mobile system, Internet, CORBA based system, java, XML, etc. This paper using the TTCN-3 on an Electric Power IT Protocol DLMS(Device Language Message Specification) standards for the implementation of the device equipment test the suitability of the protocol.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.22 no.6
• /
• pp.916-921
• /
• 2018

Recently, interest in autonomous vehicle has increased, and autonomous driving capability is also increasing. Depending on the autonomous driving ability, the maximum number of steps is divided into 6 steps. The higher the step, the less the involvement of the person in the running, and the person does not need to be involved at the highest stage. Today's autonomous vehicles have been developed high level, but solutions are not clearly defined in case of an accident, so only the test run is possible. Such an accident occurring during traveling is almost inevitable, and it is judged who has made a mistake in case of an accident, which increases the punishment for the accident. Although a black box is used to clarify such a part, it is easy to delete a record, and it is difficult to solve an accident such as a hit-and-run. In this paper, i design a driving record system using black chain to solve accidents.

• Proceedings of the KSR Conference
• /
• 2011.05a
• /
• pp.1695-1700
• /
• 2011

In this paper, we introduce the network infrastructure in an advanced emu test line in Deabul. New technology has been applied to advanced EMU(DMU, integrated broadcasting system, black box and etc). In order to efficient and safely test of new developed train, failure, operation, status of test line and weather information should be monitored in real time. We has implemented a wireless and optical network infrastructure for reliability and scalability. The wireless communication capability between a car and ground is 20Mbps and back-hole network has 50Mbps of the communication performance. The network between test tracks and control office was established in the optical network. That can improve communication reliability.

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

• The Journal of Korean Association of Computer Education
• /
• v.7 no.6
• /
• pp.129-139
• /
• 2004

In developing highly reliable systems such as C4I systems formal methods provide both developers and clients with assurance that they are in the right development processes. This paper investigates into techniques for formal specifications and tests for software components where rigorous verification is required. In particular, the paper suggests decomposition techniques for state-model based specifications using the weakest precondition, and suggests test methods for the specification by generating black box test-cases.

• Journal of Applied Reliability
• /
• v.2 no.1
• /
• pp.23-32
• /
• 2002

As the function of digital products gets diverse and complex, more than 30~40% job of software developing and testing group within its development cycle, concentrates on the software testing[1]. To cope with consumers'quickly changing needs, development cycle time gets short, and the number of model and test items increase steadily This is why automating software basic function and UI(User Interface) verification is needed [4][5][6]. This paper draws many strength and weakness defines Input/Output through integrating mobile phone, DVDP, PDA, and Black-Box (Intrusive (mobile) or Non-Intrusive(DVDP, PDA)) testing systematically, which brought above the 64% average of automation rate, and ensure 80% of test coverage [4][5][6].

• Journal of Software Engineering Society
• /
• v.25 no.1
• /
• pp.1-9
• /
• 2012

RFID systems have been widely used in various fields such as logistics, distribution, food, security, traffic and others. A RFID middleware, one of the key components of the RFID system, perform an important role in many functions such as filtering, grouping, reporting tag data according to given user specifications and so on. However, manual test data generation is very hard because the inputs of the RFID middleware are generated according to the RFID middleware standards and complex encoding rules. To solve this problem, in this paper, we propose a black box test technique based on RFID middleware standards. Firstly, we define ten types of input conversion rules to generate new test data from existing test data based on the standard specifications. And then, using these input conversion rules, we generate various additional test data automatically. To validate the effectiveness of generated test data, we measure coverage of generated test data on actual RFID middleware. The results show that our test data achieve 78% statement coverage and 58% branch coverage in the classes of filtering and grouping, 79% statement coverage and 64% branch coverage in the classes of reporting.

• Journal of KIISE:Computing Practices and Letters
• /
• v.9 no.2
• /
• pp.123-132
• /
• 2003

The quality certification test is usually conducted by a certifying organization to determine and guarantee the quality of software after the software development phase, commonly without the actual source code, but with by going against the product's manual. In this paper, we implement a Manual-based Automatic Test data generating tool: MaT, the test technique based on manual, that automatizes producing the test data from analysis data of software package and manual. The input data of MaT are the result of the analysis of software and manual. We propose 'menu-based test analysis model' in order to generate the input data. We believe that the proposed technique and tool he]p improving quality and reliability of the software.