• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.11
• /
• pp.1061-1065
• /
• 2010

AUTOSAR, a standard software platform for automotive, has been developed to manage software complexity and improve software reuseability. However Automated and standardized testing is needed to improve reliability and reduce time and effort on testing. Fundamental functionality of AUTOSAR RTE and basic software modules is guaranteed by using an AUTOSAR tool, but application software components have to be tested thoroughly. In this paper, we suggest a test system for the AUTOSAR software component using TTCN-3, a standardized testing language. Test execution system and test cases for the software component are generated automatically from AUTOSAR XML containing software design information. With the proposed testing techniques we can reduce time and effort to build the testing system.

• Korea Information Processing Society Review
• /
• v.3 no.5
• /
• pp.61-73
• /
• 1996

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2009.01a
• /
• pp.404-407
• /
• 2009

Bluetooth Video Distribution Profile (VDP) defines the protocol and procedures that realize the distribution of video content compressed in a specific format for the efficient use of the limited bandwidth. In this paper, we describe the design of VDP tester based on TTCN-2 (Tree and Tabular Combined Notation), a language standardized by ISO for the specification of tests for real-time and communicating systems. Our work was carried out as a part of supporting a new profile testing module for VDP in PTS (Profile Tuning Suite), a reference test system for Bluetooth interoperability testing. Test demonstration for the interoperability with various VDP solutions at the PTS session in UPF30 (Unplug Fest) showed the validity of the developed tester. Eventually, we introduce the PTS architecture, and show the design and implementation of VDP tester included in the released PTS 3.0 in this paper.

• Information and Communications Magazine
• /
• v.28 no.4
• /
• pp.11-17
• /
• 2011

본고에서는 국방 무기체계 상호운용성 시험을 위한 표준 기술 중 하나인 TTCN-3(Testing and Test Control Notation version 3)에 대해 소개하고, 국방 분야 적용 방안을 제시한다.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.64 no.3
• /
• pp.138-142
• /
• 2015

Most of the existing studies on functional safety testing for the railway signaling system software have focused on verifying the functional safety through the monitoring of internal memory embedded railway signaling system. However, the railway signaling system is one of the typical embedded control system in the railway sector, and the embedded software has a characteristic of generating an appropriate outputs through the combination of internal processing in consideration of the current internal status and external input. Therefore, the test approach of using the interface communication channel can be effective way for the functional testing for railway signaling system software in consideration of these characteristic. Since a communication interface specification of the railway signal system has a the properties of the sequence input and output signals, test-case for software testing is the most effective methodology by MSC (Message Sequence Chart) language, one of the graphic language. The MSC-based test-case generating methodology for signaling system software was proposed in this paper.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.16 no.9
• /
• pp.5802-5809
• /
• 2015

Railway signaling system is the vital control system in charge of the core for safely train operation, its functional safety must be checked through sufficient verification. Until now, to verify the interoperability of developed railway signaling system, the on-site testing approaches have been applied after testing in laboratory with simulator. This approaches are some limited range of interoperable verification, so more systematic verification interoperability is required. In this paper, the three phases of interoperability verification for railway signaling system was proposed, and methodology for each phases are represented. And also The interoperability validation methodology and supported testing tool for railway signaling system is represented in this paper

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

Most of prior works on testing parallel programs have concentrated on how to guarantee the reproducibility by employing event traces exercised during executions of a program. Consequently, little work has been done to generate test cases, especially, from specifications produced from software development process. In this research work, we devise the techniques for deriving test cases automatically from the specifications written in Message Sequence Charts(MSCs) which are widely used in telecommunication areas and develop the testing environment for performing module testing of parallel programs with derived test cases. For deriving test cases from MSCs, we have to uncover the causality relations among events embedded implicitly in MSCs. For this, we devise the methods for adapting vector time stamping to MSCs, Then, valid event sequences, satisfying the causality relations, are generated and these are used as test cases. The generated test cases, written in TTCN, are translated into CHILL source codes, which interact with a target module to be tested and test the validity of behaviors of the module. Since the testing method developed in this research work extracts test cases from the MSC specifications produced front telecommunications software development process, it is not necessary to describe auxiliary specifications for testing. In audition adapting vector time stamping generates automatically the event sequences, the generated event sequences that are ones for whole system can be used for individual testing purpose.