Abstract: An apparatus for locking a portable computer includes an apparatus body, a first clamping member rotatably coupled to the apparatus body, configured to support a first side of a computer body of the portable computer, and configured to be fitted over a first edge of a display of the portable computer, a slider coupled to the apparatus body to be reciprocally movable, a second clamping member rotatably coupled to the slider while being spaced apart from the first clamping member, configured to support a second side of the computer body of the portable computer, and configured to be fitted over a second edge of the display of the portable computer, and a locking and unlocking unit installed on the apparatus body and configured to selectively restrict or allow movement of the slider.

Abstract: An embodiment device includes an input module including a motor configured to generate a rotational force, an output module configured to receive power from the input module to be rotatable, and a connection module having a first side coupled to the input module and a second side, opposite the first side, coupled to the output module, wherein the connection module is configured to transmit the power from the input module to the output module.

Abstract: A static analysis performing method based on voice information may be provided that includes: receiving voice information from a user; determining user's intention to perform static analysis on the basis of the voice information; acquiring history information on static analysis performed in the past in accordance with the user's intention; determining a static analysis target on the basis of the history information; and performing the static analysis on the static analysis target.

Abstract: A test case management system includes an input and output (I/O) interface for receiving a first test case, a database (DB) for storing a second test case, and a controller for comparing the first test case with the second test case based on a similarity score between a string of the first test case and a string of the second test case.

Abstract: The present disclosure relates to a method and apparatus for testing software and a computer readable recording medium having a program for performing the same, and more particularly to a method for quickly testing software by using static analysis results and for quickly achieving a desired quality objective and a computer readable recording medium having a program for performing the same. The method for testing software in accordance with the embodiment of the present invention includes a step of statically analyzing a source code of software and extracting pieces of source code information; a step of extracting a unit-based code index from the extracted pieces of source code information; and a step of evaluating testing effort of each unit on the basis of the extracted unit-based code index.

Abstract: A source code display device includes a visualizer including a screen. A source code is displayed on the screen including a first and second section. An original of a predetermined code unit of the source code is displayed in the first section. At least one code unit other than the predetermined code unit of the source code is displayed in the second section, and each of the at least one code unit is displayed by representative strings of the code unit in the second section. The source code display device may include a memory which stores the source code; an indexer which receives the source code and extracts the representative strings for each code unit of the source code; and an analyzer which determines the predetermined code unit that should be displayed in the first section and determines a ratio of the first section and the second section.

Abstract: A fault injection testing apparatus can include: a communication module communicating with an electronic control device; a test scenario management module creating a test scenario for performing a fault injection test on the electronic control device; a test run module running the fault injection test according to the test scenario and transmitting fault data to the electronic control device; a fault detection module determining whether the fault data is normally transmitted to the electronic control device from the test run module; and a recovery determination module determining whether the electronic control device recovers from a fault introduced to the electronic control device through the fault data transmitted from the test run module.

Abstract: The present disclosure relates to a method and apparatus for testing software and a computer readable recording medium having a program for performing the same, and more particularly to a method for quickly testing software by using static analysis results and for quickly achieving a desired quality objective and a computer readable recording medium having a program for performing the same. The method for testing software in accordance with the embodiment of the present invention includes a step of statically analyzing a source code of software and extracting pieces of source code information; a step of extracting a unit-based code index from the extracted pieces of source code information; and a step of evaluating testing effort of each unit on the basis of the extracted unit-based code index.

Abstract: A source code display device includes a visualizer including a screen. A source code is displayed on the screen including a first and second section. An original of a predetermined code unit of the source code is displayed in the first section. At least one code unit other than the predetermined code unit of the source code is displayed in the second section, and each of the at least one code unit is displayed by representative strings of the code unit in the second section. The source code display device may include a memory which stores the source code; an indexer which receives the source code and extracts the representative strings for each code unit of the source code; and an analyzer which determines the predetermined code unit that should be displayed in the first section and determines a ratio of the first section and the second section.

Abstract: A static analysis performing method based on voice information may be provided that includes: receiving voice information from a user; determining user's intention to perform static analysis on the basis of the voice information; acquiring history information on static analysis performed in the past in accordance with the user's intention; determining a static analysis target on the basis of the history information; and performing the static analysis on the static analysis target.

Abstract: A test case management system includes an input and output (I/O) interface for receiving a first test case, a database (DB) for storing a second test case, and a controller for comparing the first test case with the second test case based on a similarity score between a string of the first test case and a string of the second test case.

Abstract: The present disclosure relates to a method for correcting violation of a source code and a computer readable recording medium having a program performing the same, and more particularly to a method for correcting violation of a source code, which automatically corrects the defect of a source code and a computer readable recording medium having a program performing the same. The method for correcting violation of a source code includes: a violation detection step in which a source code is analyzed and one or multiple violations are detected; a correction information generation step in which multiple pieces of the correction information for correcting the detected violation are generated; a correction information merging step in which the multiple pieces of the generated correction information are merged; and a correction step in which the source code is corrected on the basis of the merged correction information.

Abstract: The present disclosure relates to a method for correcting violation of a source code and a computer readable recording medium having a program performing the same, and more particularly to a method for correcting violation of a source code, which automatically corrects the defect of a source code and a computer readable recording medium having a program performing the same. The method for correcting violation of a source code includes: a violation detection step in which a source code is analyzed and one or multiple violations are detected; a correction information generation step in which multiple pieces of the correction information for correcting the detected violation are generated; a correction information merging step in which the multiple pieces of the generated correction information are merged; and a correction step in which the source code is corrected on the basis of the merged correction information.

Abstract: A method for easily detecting a memory error that may occur when a memory is accessed or an allocated memory is freed in the process of developing software is disclosed. The memory error detecting method includes: (a) generating an original block indication variable for indicating a starting memory block of a memory region allocated with respect to a variable included in a computer program; (b) detecting a memory error that may occur when the allocated memory region is accessed, by performing a certain operation (computing or arithmetic operation), before the allocated memory region is accessed, using a target block indication variable indicating memory block to be accessed in the allocated memory region and/or the original block indication variable; and (c) outputting information about a detected memory error.

Abstract: A method for easily detecting a memory error that may occur when a memory is accessed or an allocated memory is freed in the process of developing software is disclosed. The memory error detecting method includes: (a) generating an original block indication variable for indicating a starting memory block of a memory region allocated with respect to a variable included in a computer program; (b) detecting a memory error that may occur when the allocated memory region is accessed, by performing a certain operation (computing or arithmetic operation), before the allocated memory region is accessed, using a target block indication variable indicating memory block to be accessed in the allocated memory region and/or the original block indication variable; and (c) outputting information about a detected memory error.

Abstract: The invention provides a novel compound of Formula II which is useful in the preparation of imipenem monohydrate of Formula I, wherein R1 is a p-nitrobenzyl or p-methoxybenzyl group; and R2 and R3 may be identical to or different from each other and are each independently a C1-6alkyl or aryl group, or a derivative thereof, and a process for preparing the compound of Formula II by coupling (5R,6S) p-nitrobenzyl-3-(diphenylphosphono)-6-[(1R)-1-hydroxyethyl]-1-azabicyclo[3.2.0]hept-2-ene-7-one-2-carboxylate with 2-aminoetahnethiol hydrocloride in the presence of a base, followed by a reaction with a ketone. Further, the invention provides a process for preparing the compound of Formula I by reacting a compound of Formula II with isopropylformimidate or benzylformimidate in the presence of a base, followed by hydrogenation, separation and crystallization.

Abstract: A method for easily detecting a memory error that may occur when a memory is accessed or an allocated memory is freed in the process of developing software is disclosed. The memory error detecting method includes: (a) generating an original block indication variable for indicating a starting memory block of a memory region allocated with respect to a variable included in a computer program; (b) detecting a memory error that may occur when the allocated memory region is accessed, by performing a certain operation (computing or arithmetic operation), before the allocated memory region is accessed, using a target block indication variable indicating memory block to be accessed in the allocated memory region and/or the original block indication variable; and (c) outputting information about a detected memory error.

Abstract: A software test system includes: a terminal device in which software to be tested is installed; and a software test device that stores a test driver for testing the test-target software according to test data and a test procedure of the test-target software, wherein the test driver is transmitted to the terminal device and tests the test-target software by combining the test data and the test procedure within the terminal device. A test-target program can be tested within a short time at a relatively low cost, and the reliability of the testing can be improved.