Fujitsu Laboratories America, Inc. and Fujitsu Laboratories Ltd., Friday, announced the development of high-speed exhaustive verification of the Java software technology for parallel processing. Ensure the quality of the ICT systems, it is essential that programs be adequately tested. By using this new technology that leverages the power of computing clouds on previous technology for comprehensive audit programs developed by Fujitsu Laboratories, time required for the purposes of verification can be considerably shortened, leading to expectations that technology will result in improving the quality of the program.
On the audit program
Ensuring the quality of ICT systems today are at the heart of business requires thorough tests to check whether programs that provide features of the system are functioning as intended. Test the underlying software for a commercial site, for example, is to generate many test cases (test scenario generation) representing the permutations different user actions and circumstances, as if yes or no ID product or the exact amount has been entered, and generate data for each permutation (test data generation) be fed, one at a time in the software. Using these data, programmers must verify if the program is really (check for testing).
Java PathFinder, a verification tool developed by the National Aeronautics and Space Administration (NASA) (1) in the United States provides functions for automatically running tests on the Java programs using a technique called execution (2) symbolic, without having to enter in the case of test manually or test data. Fujitsu Laboratories worked to develop these functions, making it possible to process, string that represents a data character string much data generally treated by the company, thus enabling enterprise applications that result in data type checking applications.
Technological challenges
With existing technologies involved in audit programs containing tens of thousands of lines of code, even with a restricted set data input, processing time may take several hours. As a result, it became a challenge to develop technology that shortens the time of this audit.
Newly developed technology
Fujitsu Laboratories has developed a technology that performs verification of Java software in parallel. This allows to speed up the verification process by taking advantage of the computing power of cloud computing. In an experience of ten nodes processing new software reaches approximately ten times the performance of existing technologies.
Main features of the new technology are as follows:
1 Technology parallelization divides the symbolic processing execution and it allocates on multiple nodes processing
Symbolic execution research process is carried out on tree a program that tracks the conditional branches in the program. New Fujitsu technology divides this tree and affected parties to multiple nodes processing, accelerating piloted by the treatment of these branches in parallel (figure 3-1).
2 Dynamic reallocation overloaded inactive nodes nodes processing load balancing
Depending on the content of the programme, an imbalance may occur in loads of crossing which are assigned to each node, making it impossible reduce processing, same time via parallel execution. New technology monitors the passage of each node, and if treatment is not completed within a specified time, the function of monitoring seeding heavy calculating this node and reassigns the partitions of other nodes that are finite and lie idle. This balances the load of processing of each node, thereby accelerating obtained by parallel processing.
Results
Increase the number of nodes in treatment by methods such as cloud computing allows you to quickly check programmes on a large scale. This should greatly contribute to the improvement of the quality of the software.
Future developments
Fujitsu Laboratories continue to improve this technology in internal tests and aims to commercialize it to FY 2011 (April March 2011-2012). The company is also considering offering the technology as a cloud-based service.
(1) The National Aeronautics and Space Administration (NASA): A U.S. Aerospace Research Agency.
(2) Method of execution symbolic execution: A program in which all test data are represented in symbolic form. Executing, the program performs business program within the framework of the symbols, based on its ramifications, conditions for each path must be executed.
Elizabeth is an editor Assistant to the SYS-CON events, Inc. where the annual conferences of high energies are created with the players in the industry. Elizabeth has worked on the SYS-CON events behind Cloud Computing Conference & Expo Conference & Expo, GovIT Expo and the UlitzerLive virtualization team! New-Media Conference & Expo.
No comments:
Post a Comment