Configurable Web Services System and a Method to Detect Defects in Software Applications

• US 20090089757A1
• Filed: 10/01/2007
• Published: 04/02/2009
• Est. Priority Date: 10/01/2007
• Status: Abandoned Application

• Current Assignee: Fujitsu Limited
• Original Assignee: Fujitsu Limited
• Inventors: Uehara, Tadahiro, Oki, Kenji, Munakata, Kazuki, Rajan, Sreeranga P., Prasad, Mukul R., Ghosh, Indradeep, Tkachuk, Oksana I.
• Application Number:
  US11/865,610
• Publication Number:
  US 20090089757A1
• Time in Patent Office: Days
• US Class Current: 717/124
• CPC Class Codes: G06F 11/3684 for test design, e.g. generating new test cases
• CPC Class Codes: G06F 8/10 Requirements analysis; Specification techniques

Abstract

In accordance with a particular embodiment of the present invention, a method is offered that includes detecting one or more defects in a software application composed of heterogeneous languages using a configurable web services architecture. The detecting step further includes: capturing use cases associated with the software application and checking their validity; providing an automatic invocation of property monitors for model checking; and visualizing one or more defects in the software application for diagnosis. The detecting can further include transforming a heterogeneous software application into a homogeneous application. In more specific embodiments, the detecting further includes providing an automatic test generation for a presentation layer associated with the software application. The configuration associated with the software application can be a simple properties file. The detecting further includes simulating user behavior and generating drivers to test business logic from the use cases or scenarios.

Claims

1. A method, comprising:

detecting one or more defects in a software application composed of heterogeneous languages using a configurable web services architecture, wherein the detecting step further includes;

capturing use cases associated with the software application and checking their validity;

providing an automatic invocation of property monitors for model checking; and

visualizing one or more defects in the software application for diagnosis.

2. The method of claim 1, wherein the detecting further includes transforming a heterogeneous software application into a homogeneous application.

3. The method of claim 1, wherein the detecting further includes providing an automatic test generation for a presentation layer associated with the software application.

4. The method of claim 1, wherein configuration associated with the software application is a simple properties file.

5. The method of claim 1, wherein the detecting further includes simulating user behavior.

6. The method of claim 1, wherein the detecting further includes generating drivers to test business logic from the use cases or scenarios.

7. The method of claim 1, wherein the detecting further includes replacing a database by empty or user-supplied stubs.

8. The method of claim 1, wherein the detecting further includes verifying business logic for the software application.

9. A method, comprising:

classifying properties or requirements into a small number of categories based on a domain of a software application;

scanning source code of a Java application;

creating a set of events that an end user can choose from when specifying the properties or requirements;

matching a selected set of requirements or properties that need to be satisfied with one or more categories; and

invoking monitors or property checkers corresponding to an instantiated property category after a successful match of the category to the monitors or the property checkers.

10. The method of claim 9, wherein the classification is done a priori for each domain of the software application.

11. Logic embedded in a computer medium and operable to:

detect one or more defects in a software application composed of heterogeneous languages using a configurable web services architecture, wherein the detect operation further includes;

capturing use cases associated with the software application and checking their validity;

providing an automatic invocation of property monitors for model checking; and

visualizing one or more defects in the software application for diagnosis.

12. The logic of claim 11, wherein the detect operation further includes transforming a heterogeneous software application into a homogeneous application.

13. The logic of claim 11, wherein the detect operation further includes providing an automatic test generation for a presentation layer associated with the software application.

14. The logic of claim 11, wherein configuration associated with the software application is a simple properties file.

15. The logic of claim 11, wherein the detect operation further includes simulating user behavior.

16. The logic of claim 11, wherein the detect operation further includes generating drivers to test business logic from the use cases or scenarios.

17. The logic of claim 11, wherein the detect operation further includes replacing a database by empty or user-supplied stubs.

18. The logic of claim 11, wherein the detect operation further includes verifying business logic for the software application.

19. The logic of claim 11, wherein drivers are generated automatically to test business logic from tester supplied use cases, the business logic being verified, whereby a property is automatically verified by model checking.

20. The logic of claim 11, wherein the software application relates to an e-Commerce application.