• Journal of Information Processing Systems
• /
• v.15 no.6
• /
• pp.1462-1471
• /
• 2019

Real-time embedded systems have become pervasive in general industry. They also began to be applied in such domains as avionics, automotive, aerospace, healthcare, and industrial Internet. However, the system failure of such domains could result in catastrophic consequences. Runtime software testing is required in such domains that demands very high accuracy. Traditional runtime software testing based on handwork is very inefficient and time consuming. Hence, test automation methodologies in runtime is demanding. In this paper, we introduce a software testing system that translates a real-time software into a monitorable real-time software. The monitorable real-time software means the software provides the monitoring information in runtime. The monitoring target are time constraints of the input real-time software. We anticipate that our system lessens the burden of runtime software testing.

• Journal of the Korean Society of Systems Engineering
• /
• v.14 no.2
• /
• pp.83-88
• /
• 2018

Software has become an integral part of almost any system, triggered by the ever-growing demand for automation and artificial intelligent throughout engineering domains. The complexities of software-centric systems are also increasing, which make software test efforts become essential in software development projects. In this study, we applied systems engineering methodology in generating software test cases. We found out the similarities between requirements analysis and traceability concept of systems engineering and test specification contents of software test. In terms of acceptance test, software test cases could be considered as validation requirements. We also suggested a method to determine test order using a SysML modeling tool.

• The KIPS Transactions:PartD
• /
• v.13D no.2 s.105
• /
• pp.215-222
• /
• 2006

The importance of mobile software test is being addressed to improve the productivity and reliability of the software. Test automation technique based on mobile platform is required for effective application of mobile software test. That is, a technique is needed to generate test case for mobile platform API. When test case generated, software productivity and reliability are improved, while test duration and cost are decreased. In this paper, we identified test case generation scope through previous works about test automation, suggested keyword driven method, a test case generation technique on J2ME platform, and recognized that proposed method can be applicable to generating test case based on J2ME platform.

• Journal of Software Engineering Society
• /
• v.23 no.4
• /
• pp.141-149
• /
• 2010

Agile development is mentioned a lot by developers these days. XP or Scrum is one of the popular development processes, and it says that unit test automation would drive an agile development successful. The success of unit test automation depends on how well to compare an execution result to its own expected result. that is why this paper focuses on the comparison part. This paper introduces how to build test codes for unit testing, and then concludes with mentioning two considerations of unit testing automation. First, test codes for void-typed methods need Mock Framework to monitor their behavior. Second, the comparison of execution results and expected results is hard to implement in case of testing void-typed methods. We check every sentences of a test path to decide if the testing is fail or pass.

• Journal of Software Engineering Society
• /
• v.26 no.1
• /
• pp.17-29
• /
• 2013

Software System Evolution is more planned and systematic maintenance process as well as a type of maintenance. The research of software evolution provides basis of decisions for maintenance value through cost-benefit analysis of legacy system and architecture-based software evolution enables engineers to reduce maintenance cost by automation of repetitive evolution tasks. This paper proposes a framework for software system evolution using architectural transformation pattern.

• Advances in Energy Research
• /
• v.2 no.2
• /
• pp.61-72
• /
• 2014

This paper's aim is to do a global evaluation (considering four dimensions: technical-economic, environmental, social and political) in the ways of natural gas transportation (gas pipelines, GNL and GTL) and electric transmission, in order to supply the energy demands of Mato Grosso do Sul, a brazilian state. The transport ways had been compared between itself using a software of decision taking (Decision Lens Suite), which determined a better way for transporting natural gas in this case. In a generalized manner the gas pipeline is the best way of transporting natural gas, therefore it takes advantage in the majority of the analyzed dimensions.

• Journal of Korean Library and Information Science Society
• /
• v.33 no.3
• /
• pp.173-192
• /
• 2002

This study purposes to identify the current problems of academic library automation and analyze causes for the problems. The problems on library automation include : absence of systematic and long-term planning, inconsistent policy, lack of competent and qualified manpower, hardware and software constraints, effects of library network financial limitations to system developers, lack of co-operation among libraries, insufficient user services. In order to improve these matters, suggest several recommendations. This paper gives basis to approach the library automation systematically.

• Korean Journal of Computational Design and Engineering
• /
• v.15 no.5
• /
• pp.393-402
• /
• 2010

Existing construction industry is composed of several processes with various characteristics. The tendency of current construction industry is getting complicated and diversified; it has limitation to solve problems through existing processes. As a problem-solving method, BIM (Building Information Modeling), environment to manage building life cycle from design and construction to management, is being suggested. Currently, BIM is only focused on technology development by engineers, and the automation of architectural theories is insufficiency except architectural design modeling. Therefore, this research aims to back up theses drawbacks through intellectual curtain wall arrangement by using musical proportions. In order to apply to construction automation, analysised of musical proportions method are performed. The BPMN-based Process Map is listed to develop IDM for the application to BIM Software.

• Proceedings of the KSME Conference
• /
• 2003.11a
• /
• pp.1752-1756
• /
• 2003

Welding automation in shipbuilding process, especially in the assembly line is considered to be a difficult job because welding part is too huge , various and unstructured for a welding robot to weld the whole part automatically. We developed an automatic welding robot to improve those difficult process. This paper show how to systematically operate the integrated automation system which consists of several robots. We introduce our software and system integration method. Specially we focus that network communication and operating process. The developed system visualizes the operation environment using Open Inventor and communicates with the entire system via TCP/IP and FTP.

• Proceedings of the Korea Technical Association of the Pulp and Paper Industry Conference
• /
• 1999.11b
• /
• pp.130-139
• /
• 1999

In order to manage the wet end chemistry on paper machines, our goal is to control sub-processes through which we can influence the entire wet end operations with maximum effect. The most important sub-processes are: consistency, ash, and chemistry. The management of these three main groups is based on on-line maesurements and automatic control. This paper presents a new wet end management platform, a new analyzer. This new analyzer utilizes a modular structure and modem software. It is part of a new paper machine concept. The controls of this concept are feedback and feedforward solutions that control retention, consistencies, ash, and charge, resulting in a more stable wet end (30...80%), more uniform paper, and better rnnability.