Method for the computer-assisted analysis of software source code
First Claim
Patent Images
1. A method for computer-assisted analysis of software source code, the method comprising:
- analyzing, by a computer processor, the software source code, taking into account parameters including at least one of coding rules and coding metrics, with errors detected in the software source code being determined as a result of the analyzing; and
classifying, by the computer processor, the detected errors by assigning each of the detected errors respectively to at least one error class from a plurality of error classes, with each error class being assigned a specification, the specification for each error class describing the error of the respective error class, the plurality of error classes including,a class relating to notation conventions,a class relating to a type of at least one of declarations and definitions,a class relating to program instructions,a class relating to memory problems,a class relating to software protocols,a class relating to at least one of design and architecture of the software source code,a class relating to the correctness of the software source code, anda class relating to the timing behavior in the execution of the software source code;
outputting the error classes to which detectable errors are assigned via the user interface,wherein the specification includes,a description of a development goal to be achieved by rectifying the error of the corresponding error class,a description of a violation of the development goal which specifies the error type in the respective error class for which the development goal is not reached,a description of the reasons for missing the development goal,a description of the possible corrections needed in the software source code in order to achieve the development goal,a description of the detection mechanisms which specifies how errors in the respective error class will be detected, anda description of the effects of missing the development goal.
1 Assignment
0 Petitions
Accused Products
Abstract
A method is disclosed for the computer-assisted analysis of a software source code. According to at least one embodiment of the method, the software source code is analyzed in consideration of parameters comprising encoding rules and/or encoding metrics, wherein as the analysis result errors detected in the software source code are calculated. The errors detected are classified by way of associating them with at lest one error category from a plurality of error categories. To this end, a specification that can be output via a user interface is associated with each error category, which describes the errors of the respective error category. The error categories with which the detected errors are associated are then output via a user interface.
-
Citations
5 Claims
-
1. A method for computer-assisted analysis of software source code, the method comprising:
-
analyzing, by a computer processor, the software source code, taking into account parameters including at least one of coding rules and coding metrics, with errors detected in the software source code being determined as a result of the analyzing; and classifying, by the computer processor, the detected errors by assigning each of the detected errors respectively to at least one error class from a plurality of error classes, with each error class being assigned a specification, the specification for each error class describing the error of the respective error class, the plurality of error classes including, a class relating to notation conventions, a class relating to a type of at least one of declarations and definitions, a class relating to program instructions, a class relating to memory problems, a class relating to software protocols, a class relating to at least one of design and architecture of the software source code, a class relating to the correctness of the software source code, and a class relating to the timing behavior in the execution of the software source code; outputting the error classes to which detectable errors are assigned via the user interface, wherein the specification includes, a description of a development goal to be achieved by rectifying the error of the corresponding error class, a description of a violation of the development goal which specifies the error type in the respective error class for which the development goal is not reached, a description of the reasons for missing the development goal, a description of the possible corrections needed in the software source code in order to achieve the development goal, a description of the detection mechanisms which specifies how errors in the respective error class will be detected, and a description of the effects of missing the development goal. - View Dependent Claims (2)
-
-
3. A method for computer-assisted analysis of software source code, the method comprising:
-
analyzing, by a computer processor, the software source code, taking into account parameters including at least one of coding rules and coding metrics, with errors detected in the software source code being determined as a result of the analyzing; classifying, by the computer processor, the detected errors by assigning each of the detected errors respectively to at least one error class from a plurality of error classes, with each error class being assigned a specification, the specification for each error class describing the error of the respective error class, the plurality of error classes including, a class relating to notation conventions, a class relating to a type of at least one of declarations and definitions, a class relating to program instructions, a class relating to memory problems, a class relating to software protocols, a class relating to at least one of design and architecture of the software source code, a class relating to the correctness of the software source code, and a class relating to the timing behavior in the execution of the software source code; outputting the error classes to which detectable errors are assigned via the user interface, wherein, the class relating to notation conventions takes into account names for symbols and artifacts, style of programming language, and documentation about the software source code, the class relating to the type of at least one of declarations and definitions takes into account identifiers and the context in which the identifiers are used, the class relating to program instructions takes into account complexity of expression within the software source code, the class relating to memory problems takes into account allocation and release of memory resources, the class relating to software protocols takes into account a sequence in which processes are defined, the class relating to at least one of design and architecture of the software source code takes into account product-specific requirements, the class relating to the correctness of the software source code takes into account parts of the software source code which are incorrect, and the class relating to the timing behavior in the execution of the software source code takes into account synchronization mechanisms.
-
-
4. A system for computer-assisted analysis of software source code, comprising:
-
a non-transitory computer readable medium including executable instructions, and at least one processor configured to execute the executable instructions to, analyze the software source, taking into consideration parameters comprising at least one of coding roles and coding metrics, with errors detected in the software source code being determined as a result of the analysis, and classify the detected errors, the detected errors being assigned to at least one error class in each case from a plurality of error classes, with the specification of each error class describing the error of the respective error class, the plurality of error classes including, a class relating to notation conventions, a class relating to a type of at least one of declarations and definitions, a class relating to program instructions, a class relating to memory problems, a class relating to software protocols, a class relating to at least one of design and architecture of the software source code, a class relating to the correctness of the software source code, and a class relating to the timing behavior in the execution of the software source code, the specification including, a description of a development goal to be achieved by rectifying the error of the corresponding error class, a description of a violation of the development goal which specifies the error type in the respective error class for which the development goal is not reached, a description of the reasons for missing the development goal, a description of the possible corrections needed in the software source code in order to achieve the development goal, a description of the detection mechanisms which specifies how errors in the respective error class will be detected, and a description of the effects of missing the development goal, and perform quality analyses for the plurality of error classes based on the detected errors, the quality analyses indicating a severity of detected errors in the plurality of error classes, and output the error classes to which detected errors are assigned and the quality analyses via the user interface. - View Dependent Claims (5)
-
Specification
-
- Resources
Litigation Campaign Assessment
Thank you for your request. You will receive a custom alert email when the Litigation Campaign Assessment is available.
×
-
Current AssigneeSiemens AG
-
Original AssigneeSiemens AG
-
InventorsKrner, Christian, Schiffer, Stefan, Storck, Stephan, Hentschel, Anja, Plsch, Reinhold
-
Primary Examiner(s)Louie, Jue
-
Assistant Examiner(s)CURBELO III, SERGIO JOSE
-
Application NumberUS12/311,347Publication NumberTime in Patent Office3,079 DaysField of Search717124-131, 702/119, 702/123, 702176-178, 703 23- 28US Class Current1/1CPC Class CodesG06F 11/3604 Software analysis for verif...G06F 8/70 Software maintenance or man...
