Abstract: A computer-readable recording medium storing therein a test data generating program to be executed by a computer, the program causing the computer to: generate, for each of a plurality of path conditions obtained by repeatedly performing symbolic execution, a simplified path condition by substituting a fixed value for a first symbolic variable included in the path condition; calculate, for each the simplified path condition, a value of the symbolic variable that satisfies the simplified path condition; generate test data including the values of the symbolic variable, the fixed values, and path conditions not subjected to simplification; and remove duplicative data from the test data that corresponds to a same path condition.

Abstract: A computer-readable recording medium storing therein a test data generating program to be executed by a computer, the program causing the computer to: generate, for each of a plurality of path conditions obtained by repeatedly performing symbolic execution, a simplified path condition by substituting a fixed value for a first symbolic variable included in the path condition; calculate, for each the simplified path condition, a value of the symbolic variable that satisfies the simplified path condition; generate test data including the values of the symbolic variable, the fixed values, and path conditions not subjected to simplification; and remove duplicative data from the test data that corresponds to a same path condition.

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.

Abstract: A computer-readable recording medium having recorded a system development support program for supporting the creation of a business process flow so that a highly flexible service can be provided. A first function classifying section generates first function classification information indicating the association between each execution entity included in the business process flow and functions included in a group corresponding to the entity. A second function classifying section classifies functions that at least create or update data in the same internal data definition into the same group and generates second function classification information indicating the association between the entity corresponding to an internal data diagram and functions included in a group generated in accordance with the data included in the internal data diagram. A classification result comparison section compares the first function classification information and the second function classification information.

Abstract: A computer-readable recording medium recording a part flow definition generation program whereby service flow definitions of automatically executable processes and work flow definitions of processes involving input operation by humans can be automatically generated on the basis of a business process flow reflecting items approved by an operator side in respect of system construction. A business process flow storage stores a business process flow in which a subject of execution is set with respect to each of nodes associated with respective processes. A specific condition storage stores a specific condition including a subject of execution-based criterion as a criterion for identifying nodes that are to constitute a part flow definition, from among those in the business process flow. A target part extractor extracts, from the business process flow, the nodes satisfying the specific condition stored in the specific condition storage. A part flow definition generator generates a part flow definition.