Abstract: Provided is a test facility management system that can evaluate, in a software development process requiring use of test facilities, progress of a process caused by increasing or decreasing a count of the test facilities. The test facility management system can include: a project progress forecast unit that stores a process information database, a facility reservation information database, a process progress history information database, and facility count proposed change information, calculates facility usage remaining time period for the software development process based on process progress history information, specifies a time range during which facilities of the count of proposed change are available, and forecasts, based on the available time range, the progress of the software development process when work for the facility usage remaining time period is carried out by the facilities of the count of the proposed change; and a user interface that outputs the forecasted progress information.

Abstract: Provided is a system that enables a user to easily analyze software. A software analysis support system 1 that supports analysis of a structure of software includes at least one computer. The computer acquires software component information 12 indicating a relationship and an attribute of each software component, acquires display element setting information 13 in which a first display element 41 corresponding to an attribute of each software component and a second display element 42 corresponding to a relationship between the respective software components are set, the display element setting information 13 being editable, and arranges each of the first display element and the second display element at a predetermined position of a virtual space 40 that displays the relationship of each software component on the basis of a plurality of predetermined attributes selected in advance among attributes of each software component.

Abstract: Provided is a system that enables a user to easily analyze software. A software analysis support system 1 that supports analysis of a structure of software includes at least one computer. The computer acquires software component information 12 indicating a relationship and an attribute of each software component, acquires display element setting information 13 in which a first display element 41 corresponding to an attribute of each software component and a second display element 42 corresponding to a relationship between the respective software components are set, the display element setting information 13 being editable, and arranges each of the first display element and the second display element at a predetermined position of a virtual space 40 that displays the relationship of each software component on the basis of a plurality of predetermined attributes selected in advance among attributes of each software component.

Abstract: A risk evaluation system includes a processor unit and a storage unit. In the risk evaluation system, the storage unit stores: demand information indicating a demand for software to be developed in a software development project that is a risk evaluation target; past demand information indicating a demand for software developed in a past software development project; and a source code change history in the past software development project, and the processor unit is configured to: calculate a similarity between the demand information and the past demand information; extract a change history of a source code corresponding to the past demand information based on the past demand information and the source code change history; and evaluate a risk in software development for realizing the demand information based on the similarity and the change history of the source code corresponding to the past demand information.

Abstract: When any one or a combination of a ticket, a source code change history, and a source code is input, a source code analysis apparatus generates information of a factor pattern from the information, and a factor metrics calculation unit calculates factor metrics regarding the factor pattern as measured information regarding the factor pattern. In addition, the QCD measurement value is acquired from the information, the QCD index is calculated based on the QCD measurement value, and the correlation calculation unit calculates a correlation coefficient for a pair of the factor metrics and the QCD index, stores the correlation coefficient in the correlation list, calculates a score for the pair of the factor pattern and the QCD measurement value, and generates the important factor pattern information table in which the score is assigned to the pair of the factor pattern and the QCD measurement value.

Abstract: Provided is a system that enables a user to easily analyze software. A software analysis support system 1 that supports analysis of a structure of software includes at least one computer. The computer acquires software component information 12 indicating a relationship and an attribute of each software component, acquires display element setting information 13 in which a first display element 41 corresponding to an attribute of each software component and a second display element 42 corresponding to a relationship between the respective software components are set, the display element setting information 13 being editable, and arranges each of the first display element and the second display element at a predetermined position of a virtual space 40 that displays the relationship of each software component on the basis of a plurality of predetermined attributes selected in advance among attributes of each software component.

Abstract: Provided is a test facility management system that can evaluate, in a software development process requiring use of test facilities, progress of a process caused by increasing or decreasing a count of the test facilities. The test facility management system can include: a project progress forecast unit that stores a process information database, a facility reservation information database, a process progress history information database, and facility count proposed change information, calculates facility usage remaining time period for the software development process based on process progress history information, specifies a time range during which facilities of the count of proposed change are available, and forecasts, based on the available time range, the progress of the software development process when work for the facility usage remaining time period is carried out by the facilities of the count of the proposed change; and a user interface that outputs the forecasted progress information.

Abstract: When verifying rapidly the equivalence between source codes with respect to refactoring, the present invention performs two types of verification: verification based on structural comparison using structure graphs obtained by analyzing the source codes, and verification based on symbolic execution. If the structural comparison using the structure graphs can verify that the structures are identical with each other, then symbolic execution is not performed. Further, before the verification based on the structural comparison, the structure graphs of the source codes before and after refactoring are normalized on the basis of normalization information, which is defined for each refactoring pattern, and thereby adjusted so that the resulting structures are identical with each other when the refactoring is valid.

Abstract: When verifying rapidly the equivalence between source codes with respect to refactoring, the present invention performs two types of verification: verification based on structural comparison using structure graphs obtained by analyzing the source codes, and verification based on symbolic execution. If the structural comparison using the structure graphs can verify that the structures are identical with each other, then symbolic execution is not performed. Further, before the verification based on the structural comparison, the structure graphs of the source codes before and after refactoring are normalized on the basis of normalization information, which is defined for each refactoring pattern, and thereby adjusted so that the resulting structures are identical with each other when the refactoring is valid.

Abstract: An object is to assist analysis work on a program in software development and improve program development efficiency. A program analysis apparatus performs symbolic-execution on a program stored in a storage device, receives an input of a change point of the program, and based on a result of the symbolic-execution, identifies an influenced segment of the program when the program is changed for the change point. The program analysis apparatus receives the change point by receiving a change operation on any one of a symbolic summary which is a terminal node of an execution tree obtained by the symbolic-execution, a decision table based on the symbolic summary, and a source code. The program analysis apparatus visualizes the influenced segment of the identified program in any mode of the symbolic summary, the source code, and the decision table.

Abstract: A method of converting a source code for converting a source code of software to an inspection code by using a computer, including the steps of: inputting a source code of software; inputting a plurality of different conversion rules; inputting a nonfunctional rule that is a constraint relating to process performance; and converting the source code to a nonfunctional inspection code written in an input language of a validation tool by the plurality of different conversion rules and the nonfunctional rule.

Abstract: A method of converting a source code for converting a source code of software to an inspection code by using a computer, including the steps of: inputting a source code of software; inputting a plurality of different conversion rules; inputting a nonfunctional rule that is a constraint relating to process performance; and converting the source code to a nonfunctional inspection code written in an input language of a validation tool by the plurality of different conversion rules and the nonfunctional rule.

Abstract: In checking a model of software, there is an approach of transforming a source code of software into a checking code in order to reduce a cost required to describe the checking code by an input language of a model checker. Since a user may select only a single transformation method, there are problems in that an abstraction-level change is difficult, a rule modification cost for following up a design and a change of the source code is high, and a rule modification cost for checking using another checking tool is high. In the present invention, when the source code is transformed into the checking code, a unit that selects a plurality of transformation rules is provided to allow the user to easily change an abstraction level. Further, the plurality of transformation rules include a transformation rule of transforming the source code into an intermediate format, a transformation rule of abstracting the intermediate format, and a transformation rule of transforming the intermediate format into the checking code.

Abstract: A cryogenic heat insulating structure comprises: a wall coated with a plurality of superposed rigid foam layers each of the layers having a skin and each layer containing fibers oriented parallel to the wall.