Printer Friendly
The Free Library
22,741,889 articles and books

Fujitsu Develops Software Verification Technology for Practical-use Web Applications.

Kawasaki, Japan and Sunnyvale, CA, Apr 4, 2008 - (JCN JCN Japan Corporate News
JCN Journal of Cognitive Neuroscience
JCN Journal of Cardiovascular Nursing
JCN Journal of Christian Nursing
JCN Job Control Number
JCN Journal of Child Neurology
JCN joint communications network (US DoD) 
 Newswire) - Fujitsu Laboratories Ltd. and Fujitsu Laboratories of America, Inc. announced today their joint development of the world's first core technology for automatic verification of Java-based practical-use web applications. It is used to automatically verify if a web application can operate properly to process specified task transactions - referred to as "business specifications", without the need for manually preparing detailed test procedures or test data.

This new technology has been developed based on verification technology called "model checking", that has been conventionally used for small-scale embedded software Instructions that permanently reside in a ROM or flash memory chip. Embedded software may be immediately available to the CPU or, for faster execution, may be transferred to RAM first and then executed. . It enables exhaustive and automatic testing that completely covers various scenarios and input data by users, for practical-use web applications such as purchase order systems, and can thereby contribute significantly to the development of high-quality systems.

As Internet technology is becoming more widespread, increasingly more companies are utilizing web applications to create internal mission-critical systems, such as purchase order systems or inventory management systems. Furthermore, in conjunction with the highly dynamic nature of businesses, enterprise systems are becoming larger and more complex, thus requiring more aggressive lead-times for development and testing. Given these circumstances, there is a need for technology capable of ensuring software quality to satisfy customer requirements.

Technological Challenges

In order to assure quality of web applications, testing is conducted to verify that the developed web application functions properly in accordance with its business specifications. Conventional testing necessitated significant manual effort, as a developer needed to review business specifications and determine which parameters to verify, then create test scenarios A set of test cases that ensure that the business process flows are tested from end to end. They may be independent tests or a series of tests that follow each other, each dependent on the output of the previous one. The terms "test scenario" and "test case" are often used synonymously.  and test data in order to test those parameters, and then finally perform rigorous testing. It is generally known that even if such testing is conducted, 0.122 errors per 1,000 steps(1) will remain. This is attributable to the fact that it is highly difficult to avoid errors when depending solely on manual efforts, as it is extremely difficult to thoroughly cover all conceivable test scenarios.

Newly Developed Technology

In order to overcome these difficulties, building on formal verification
"Verifiability" redirects here. For the Wikipedia policy, see Wikipedia:Verifiability.

In the context of hardware and software systems, formal verification
 that had been conventionally used for small-scale programs, Fujitsu Laboratories developed new technology that enables automatic and exhaustive testing (programming) exhaustive testing - Executing a program with all possible combinations of inputs or values for program variables.  of large practical-use Java-based web applications to verify their functionality with respect to the transaction specifications.

Key features of this new technology are as follows:

1. Automatic verification of business specifications for Java programs

A business specification is described using a simple specification language, that covers a large number of conceivable test scenarios and test data. Following the specification, an engine based on this new technology automatically verifies whether the program operates according to according to
1. As stated or indicated by; on the authority of: according to historians.

2. In keeping with: according to instructions.

 its transaction specifications. As a result, program developers are freed from the burden of developing detailed test scenarios or test data.

2. Verification of practical-use web applications

The new technology divides the web application into three parts: screen processing, transaction processing Updating the appropriate database records as soon as a transaction (order, payment, etc.) is entered into the computer. It may also imply that confirmations are sent at the same time.

Transaction processing systems are the backbone of an organization because they update constantly.
, and database processing; then it extracts just the transaction processing part and verifies it. This enables efficient verification of practical-use web applications, by limiting the scope of verification.

3. Enables thorough, exhaustive verification

By executing tests on variables, without instantiating concrete test data for those variables, the new technology enables exhaustive verification that is equivalent to testing all input variations, thereby making it possible to detect errors that were previously hard to detect through conventional testing methods.

As a world's first, Fujitsu Laboratories applied formal verification(2) to business specifications of practical-use Java-based web applications written. The verification system is based on Java PathFinder Java Pathfinder is a tool for model checking developed by NASA. It has been opensourced recently. You can find the SourceForge page here [1] (3), the open source verification tool developed by NASA Ames Research Center NASA Ames Research Center (ARC) is a NASA facility located at Moffett Federal Airfield, which covers 43 acres at the borders of the cities of Mountain View and Sunnyvale in California. This research center is most commonly called NASA Ames. (4). Collaborating with NASA Ames Research Center, Fujitsu Laboratories has enhanced the functionality of Java PathFinder in order to develop this verification system.


In an experiment in which this technology was used, it was verified that over 1,000 test scenarios were exhaustively generated for each function of a web application, compared to just approximately 30 test scenarios that had been created when using conventional manual test methods. It was also confirmed that 30% to 50% of the testing process could be automated. Furthermore, this technology offers consistent and high-quality results for practical-use web applications, as there is no need for program developers to manually create test scenarios for each function.

Future Developments

Fujitsu Laboratories plans to conduct testing for an actual project, and will continue with research targeting practical use of this technology.

[1] 0.122 errors per 1,000 steps: Source: "Software Development Data White Book 2007", Software Engineer Information Technology Promotion Agency, Japan. "Step" refers to a figure used to measure program size.

[2] Formal Verification: A verification method to prove the accuracy of software by mathematical means.

[3] Java PathFinder: A verification tool (model checking) for Java.

For more information:

[4] NASA Ames Research Center: As one of NASA's research centers, Ames Research Center provides research leadership in space-related technologies including astrobiology astrobiology: see exobiology. , robotic lunar exploration lunar exploration: see space exploration. , technologies for manned space flight, the search for habitable habitable adj. referring to a residence that is safe and can be occupied in reasonable comfort. Although standards vary by region, the premises should be closed in against the weather, provide running water, access to decent toilets and bathing facilities, heating,  planets, supercomputing, intelligent/adaptive systems, advanced thermal protection, and airborne astronomy astronomy, branch of science that studies the motions and natures of celestial bodies, such as planets, stars, and galaxies; more generally, the study of matter and energy in the universe at large. . For more information: http://www.nasa NASA: see National Aeronautics and Space Administration.
 in full National Aeronautics and Space Administration

Independent U.S.

About Fujitsu Laboratories

Founded in 1968 as a wholly owned subsidiary Wholly Owned Subsidiary

A subsidiary whose parent company owns 100% of its common stock.

In other words, the parent company owns the company outright and there are no minority owners.
 of Fujitsu Limited, Fujitsu Laboratories Limited is one of the premier research centers in the world. With a global network of laboratories in Japan, China, the United States United States, officially United States of America, republic (2005 est. pop. 295,734,000), 3,539,227 sq mi (9,166,598 sq km), North America. The United States is the world's third largest country in population and the fourth largest country in area.  and Europe, the organization conducts a wide range of basic and applied research in the areas of Multimedia, Personal Systems, Networks, Peripherals, Advanced Materials Advanced Materials is a leading peer-reviewed materials science journal published every two weeks. Advanced Materials includes Communications, Reviews, and Feature Articles from the cutting edge of materials science, including topics in chemistry, physics,  and Electronic Devices. For more information, please see:

About Fujitsu Laboratories of America

Fujitsu Laboratories of America, Inc. is a wholly owned subsidiary of Fujitsu Laboratories Ltd. (Japan), focusing on research on advanced VLSI VLSI: see integrated circuit.

(1) (Very Large Scale Integration) Between 100,000 and one million transistors on a chip. See SSI, MSI, LSI and ULSI.

(2) (VLSI Technology, Inc., Tempe, AZ, www.semiconductors.
 CAD, Internet, and interconnect technologies. Conducting research in an open environment, it contributes to the global research community and the working IT industry. It is headquartered in Sunnyvale, CA. For more information, see:

Source: Fujitsu Ltd

Press Contacts
Fujitsu Limited
Public and Investor Relations

Technical Contacts
Fujitsu Laboratories Ltd.
Software & Solutions Laboratories
Software Innovation Lab.
Tel: +81-44-754-2675

Japan Corporate News Network. All rights reserved.
COPYRIGHT 2008 Japan Corporate News Network K.K.
No portion of this article can be reproduced without the express written permission from the copyright holder.
Copyright 2008 Gale, Cengage Learning. All rights reserved.

 Reader Opinion




Article Details
Printer friendly Cite/link Email Feedback
Publication:JCN Newswires
Date:Apr 4, 2008
Previous Article:Panasonic Ships Over 100 million Units of Mobile Communication Terminals to Japanese Phone Carriers.
Next Article:Marubeni Oil & Gas (USA) Inc. Announces Oil Discovery in the Deepwater Gulf of Mexico.

Related Articles
Fujitsu Launches Worldwide Sales of New Compact, High-Performance Palm Vein Biometric Authentication Device.
Fujitsu and Denali Software Collaborate to Develop DFI Compatible DDR PHY Macro.
OKI and Fujitsu Collaborate in Developing Next-Generation ATM Software.
Fujitsu Launches SaaS Solutions in Collaboration with Partners; SaaS Partner Program to Stimulate Development of Web-based Services Model.
Fujitsu Wins Major Server, Storage Order from China Mobile Communications; Building 24 x 7 Support Infrastructure Covering All of Mainland China.

Terms of use | Copyright © 2014 Farlex, Inc. | Feedback | For webmasters