CN103443766A - Apparatus for setting affecting extent of program, and method of specifying affecting extent and method of extracting affecting program using same - Google Patents
Apparatus for setting affecting extent of program, and method of specifying affecting extent and method of extracting affecting program using same Download PDFInfo
- Publication number
- CN103443766A CN103443766A CN2012800169076A CN201280016907A CN103443766A CN 103443766 A CN103443766 A CN 103443766A CN 2012800169076 A CN2012800169076 A CN 2012800169076A CN 201280016907 A CN201280016907 A CN 201280016907A CN 103443766 A CN103443766 A CN 103443766A
- Authority
- CN
- China
- Prior art keywords
- expression formula
- program
- dependence
- affecting
- coverage
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
- 238000000034 method Methods 0.000 title claims abstract description 65
- 238000004458 analytical method Methods 0.000 claims description 29
- 230000015572 biosynthetic process Effects 0.000 claims description 10
- 238000013459 approach Methods 0.000 claims description 7
- 238000011835 investigation Methods 0.000 description 18
- 238000012545 processing Methods 0.000 description 10
- 230000008569 process Effects 0.000 description 7
- 239000000284 extract Substances 0.000 description 6
- 230000008859 change Effects 0.000 description 4
- 238000004364 calculation method Methods 0.000 description 2
- 238000013461 design Methods 0.000 description 2
- 238000000605 extraction Methods 0.000 description 2
- 230000006870 function Effects 0.000 description 2
- 238000012937 correction Methods 0.000 description 1
- 238000005516 engineering process Methods 0.000 description 1
- 238000009472 formulation Methods 0.000 description 1
- 238000004519 manufacturing process Methods 0.000 description 1
- 239000000203 mixture Substances 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 230000008520 organization Effects 0.000 description 1
- 238000012360 testing method Methods 0.000 description 1
- 238000012795 verification Methods 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/70—Software maintenance or management
- G06F8/75—Structural analysis for program understanding
Abstract
The present invention discloses an apparatus for setting affecting extent of program, and a method of specifying affecting extent and method of extracting affecting program using same. The apparatus for setting affecting extent of program is able to set an affecting extent mechanically without extracting non-affecting classes and methods, and is able to improve precision in examination of effects and improve working efficiency, upon revision of a large-scale system. In the present invention, source code of a program is parsed and analyzed into an abstract syntax tree, a search for statements forming the abstract syntax tree is carried out from among command terms, links between the statements are formed according to the dependency relationship between the statements for which the search was carried out, a dependency relationship graph of the source code according to the links between the statements is formed, and an affecting extent with a dependency relationship is set.
Description
Technical field
The present invention relates to the coverage setting device of program, and utilize the ad hoc approach of coverage of this device and the extracting method of influenced program.
Background technology
When the wholesale revision system, follow the modification of program, require to improve precision and the operating efficiency of investigation for other the impact of program.
In the past, in order to investigate impact, adopt the investigation method of the impact centered by " call relation of method ".
No. 2006-277127, patent documentation 1(JP JP) in be logged into, for the module of the logical organization as in design, file, function, each of the hierarchical structure of source code and the project that should compare, defined, relatively.
No. 2009-157505, patent documentation 2(JP JP) in be logged into, in the past, the provision discussion rule, according to it, the impact analysis of being changed; Due in the method, the formulation of rule needs spended time, therefore be stored with the impact analysis figure of all verification methods of supposing for each change object project of source code.
Summary of the invention
In the call relation investigation impact based on method in the past, have and must extract a large amount of influential class/methods that do not have, specify the problems such as level of following the tracks of call relation.
In addition, in the method for storage impact analysis figure, there is this impact analysis of structure figure and need to spend many problems such as time.
The object of the invention is to for the problems referred to above, need not extract class and method without impact, just can set the scope of impact by mechanical system, when the wholesale revision system, can seek to improve precision and the operating efficiency of impact investigation.
The invention provides a kind of coverage setting device of program, it is characterized in that:
Source code to program carries out syntactic analysis, analyzes as abstract syntax tree, and retrieval forms the expression formula of this abstract syntax tree;
According to the expression formula of having retrieved, according to the dependence of expression formula, form the connection of expression formula;
Formation is for the dependence chart be connected of expression formula with the expression formula of source code, and the impact of setting in dependence involves scope.
The impact that the invention provides a kind of program involves range setting device, it is characterized in that:
Source code to program carries out syntactic analysis, analyzes as abstract syntax tree;
Retrieval forms the expression formula of abstract syntax tree;
According to the expression formula of having retrieved, according to the dependence of expression formula, form the connection of expression formula;
For a plurality of source codes, form respectively the connection of the expression formula of having retrieved;
When the expression formula of the retrieval had at a plurality of source codes is identical, this expression formula forms the shared expression formula of source code separately;
Comprise the combination of the connection of expression formula that this is shared and expression formula, form and share the dependence chart be connected for expression formula with the expression formula of a plurality of source codes, the impact of setting in dependence involves scope.
In addition, the ad hoc approach that the present invention also provides a kind of impact of program to involve scope, the method relates to the ad hoc approach that the impact that adopts said procedure involves the coverage of range setting device, it is characterized in that:
If on above-mentioned dependence chart, specify the expression formula that forms basic point,, by following the tracks of the dependence that relatively forms the expression formula of basic point, specify specific effect to involve scope.
The present invention also provides a kind of influenced extracting method that involves program, and the method relates to the influenced extracting method that involves program that the impact that adopts said procedure involves range setting device, it is characterized in that:
Be on above-mentioned dependence chart, while specify forming the expression formula of basic point, the dependence of the expression formula by following the tracks of relative formation basic point, the program that will have the connection of expression formula and expression formula extracts as the influenced program involved.
In addition, in the present invention, the input source code, still, here, used according to the concept that comprises syllabified code.Syllabified code refers to by according to not relying on specific operating system (OS), hardware and the order that defines and the executable program described, form for the centre of the source code that is arranged in the design drawing of drawing as the people and the local code that in fact can move at computing machine, here, as source code, treating, is what it doesn't matter.
The present invention has the following advantages: according to the present invention, due to as above, syntactic analysis by source code, give the dependence between expression formula, affect the setting and the appointment that involve scope, therefore need not extract, do not have influential class (class)/method (method), just can be according to expression formula, mechanically set the scope that impact involves, when the wholesale revision system, can seek to improve precision and the operating efficiency of impact investigation.
The accompanying drawing explanation
Fig. 1 is by the structural drawing of box indicating embodiments of the invention;
Fig. 2 is for meaning the structural drawing of the engine that the present embodiment adopts;
Fig. 3 is for meaning the processing flow chart of the present embodiment;
Fig. 4 is the figure of the analysis example of expression syntax;
Fig. 5 is the figure that the example of the dependence between expression formula is given in expression;
Fig. 6 is for meaning to involve based on impact the figure of dependence chart of the setting of scope;
Fig. 7 adds the figure of class and method relation in Fig. 6;
The figure of the object lesson of the connection that Fig. 8 is the expression formula shown in presentation graphs 6 and expression formula;
Fig. 9 means that the impact of tracking dependence involves the figure of the example of investigation;
Figure 10 involves the figure of the result of scope for meaning impact;
The figure of the result that the impact that Figure 11 is the existing example of expression involves;
The figure of the result that the impact that Figure 12 is the existing example of expression involves;
The figure of the result that the impact that Figure 13 is the existing example of expression involves;
The figure of the result that the impact that Figure 14 is expression the present embodiment involves.
the explanation of label:
Label 2 means operation processing unit;
Label 3 means output unit;
Label 4 means database;
Label 7 presentation video displays;
The impact of label 100 representation programs involves range setting device.
Embodiment
Below in conjunction with accompanying drawing and embodiments of the invention, the present invention is further detailed explanation.
Fig. 1 is the coverage setting device structural drawing of the program of the embodiments of the invention by box indicating.
In Fig. 1, the coverage setting device 100 of program is by input block 1, operation processing unit 2, and output unit 3 and database 4 form.
In input block 1, from outside, input, when the wholesale revision system, forms the program 5 of revising object and the expression formula 6 that forms basic point.
Operation processing unit 2 comprises following processing unit (function):
The syntactic analysis of source code (that is, grammatical analysis)
Abstract syntax tree is analyzed
The expression formula retrieval
The formation that expression formula connects
Share the extraction of expression formula
The dependence of expression formula
The formation of chart
The setting of coverage
Coverage specific
Output unit 3 outputs:
The tracking of dependence
The coverage of having set
Specifically coverage, be shown in it in picture 8 of view display 7.
The dependence chart (that is, data) of the expression formula that database 4 mode by calculate processing by operation processing unit 2 of preserving forms.
Operation processing unit 2 is described.
The syntactic analysis unit of source code carries out syntactic analysis to the source code of program.
The abstract syntax tree analytic unit, according to syntactic analysis, is analyzed it for the abstract syntax tree as hierarchical structure.
The expression formula retrieval unit is retrieved the expression formula that forms abstract syntax tree.For the whole annotation that shows as abstract syntax tree (OK, expression formula), analyze dependence, expression formula for search.
Expression formula connects production unit according to the expression formula of having retrieved, and according to the dependence of expression formula, forms the connection of expression formula.The connecting needle of expression formula forms a plurality of source codes.
Share the extraction unit of expression formula when identical, using this expression formula as each source code shared source code and extracting.
The formation unit of the dependence chart of expression formula, according to the relation of the program with other, for a plurality of source codes of the combination that comprises shared expression formula and the expression formula be connected according to dependence, forms the dependence chart of expression formula.
The coverage setup unit, according to the dependence chart, is set the coverage in dependence.
The coverage discrete cell is according to the coverage of having set, specific effect scope.
Fig. 2 means to adopt the structure of the engine of the present embodiment.
Engine consists of language dependant part and the non-dependant part of language.(1) when syntactic analysis, adopt various plug-in units, such as, A analyzes plug-in unit, and B analyzes plug-in unit, and C analyzes plug-in unit.Also can be 1 plug-in unit.
As shown in Fig. 2, carry out syntactic analysis, the syntax tree extracted is resolved, (2) carry out the dependence analysis.By this analysis, form dependence, then, (3) carry out impact analysis.By this analysis, form and affect result.
Fig. 3 means the flow process of processing.
For source code, (1) carries out grammatical analysis (S1).The type information lacked only using source code, also can be supplemented by the side information of bar code etc.The information that here said supplementary finger only lacks using source code is carried out supplementary information.Finger is such as, the information of the class of Java language or jar file.
(1) according to syntactic analysis, form abstract syntax tree (S2), (2) carry out dependence analysis (S3).By this analysis result, form dependence (S4), according to the basic point of impact, (3) carry out impact analysis (S5).By this analysis result, form and affect result (S6).
Fig. 4 means by the syntactic analysis unit of source code and abstract syntax tree analytic unit, analyzes the grammer of source code, analyzes and the formation abstract syntax tree., in order to approach the situation of following the trail of by personnel's eyes, analyze the meaning of each expression formula of source code here, its result is transformed to abstract syntax tree.Analyze abstract syntax tree, according to expression formula term, expression formula for search.
Dependence between Fig. 5 expression.
Such as, the method call sentence is relevant with the method declaration of called side.Like this, be not only method call, and, for whole expression formula of the utilization of variable and declaration etc., provide connection.Be referred to as dependence.
Dependence is as the route of following the tracks of impact.
Fig. 6 is specific for the setting that means coverage and coverage.
In Fig. 6, record and take the connection of a series of expression formula of the source code that expression formula 1 and expression formula 2 be basic point.
The source code that the source code that the expression formula 1 of take is starting point and the expression formula 2 of take are starting point, IF expression 5 is identical, forms the shared expression formula of source code separately.
As shown in figure, expression formula 5, expression formula 7, expression formula 9 fastens in the pass of the program with other, forms the connection of the shared expression formula of source code separately.
Comprise the combination of shared expression formula and the expression formula be connected according to dependence, form the dependence chart for the expression formula of a plurality of source codes, set coverage.The investigation of coverage is undertaken by the dependence of following the tracks of expression formula.At present, in the inside of the source code that forms starting point, the source code that to form the source code of take for expression formula 2 be basic point.The specific expression formula 2 that forms basic point by appointment, the coverage that the mode of the dependence of the expression formula of tracking formation basic point is set.
Fig. 7 be illustrated in shown in Fig. 6 state, class, the figure of method relation.
In Fig. 7, expression formula belongs to class, method.
So, can be by following the tracks of expression formula, specific affiliated class, method.Such as, expression formula 1 belongs to the method α of class A.
Fig. 8 connection of the expression formula shown in presentation graphs 6 and expression formula by object lesson.
In Fig. 8, according to the expression formula unit of source code, mean the path of impact, from the expression formula term, automatically extract the expression formula that affects object.
Fig. 9 means to follow the tracks of the example of the impact investigation of dependence.
Fig. 9 means the example of the coverage that the specific characteristic of the name according to the Uselnfo class definition involves.In the present example, the change of the value of following the name characteristic to have, the specific scope that must revise or test.Such as, for according to the occasion by the value of 3 bit representations of passing by by 10 mode corrections that mean.
Being described as follows of Fig. 9 stated.
The impact of the change of the name characteristic that investigation defines according to the zone of Uselnfo class.
(impact of Uselnfo class)
1. the name characteristic is at getName() method and setName(String) use in method.
Owing to passing through getName() the return sentence of method, the name characteristic is return, therefore affect getName() calling program of method.
MakeKey(Date, the String of Utility class) method.
2. due at setName(String) in method, by setName(String) value of the parameter of method is rewritten as the name characteristic, therefore, on the not impact of change of name characteristic, do not involved.
(impact of Utility class)
1. due to userInfo.getName() value exert an influence, therefore have influence on the string variable of preserving the result of calculation that adopts this value.
2. because the string variable is transitioned into encryption.encrypt(String) method, thus have influence on the encryptedString variable as its result of calculation, with encrypt(String) method.
The encrypt(String of encryption class) method.
3. because the encryptedString variable is makeKey(Date, String) rreturn value of method, therefore have influence on makeKey(Date, String) calling program of method.
The logic(of Logic class) method.
(impact of encryption class)
1. due to encrypt(String) the string parameter of method, exert an influence, therefore the expression formula (process(string) to adopting this value) parameter, exert an influence.
2. due to process(String) parameter of method string, exert an influence, therefore (return string) expression formula that adopts this value is exerted an influence.Due to the return sentence, exert an influence, therefore to process(String) rreturn value of method, exert an influence, have influence on process(String) calling program of method.
The encrypt(String of Encryption class) method (3).
3. by the return sentence, encrypted String variable is returned, therefore have influence on encrypt(String) calling program of method.
MakeKey(Date, the String of Utility class) method.
(impact of Logic class)
Due to makeKey(Date, the String to the Utility class) rreturn value exert an influence, therefore the key variable of setting this value is exerted an influence.
Because after this Key variable is not being used, therefore here, impact finishes.
Figure 10 means the result of the coverage investigation of the present embodiment by the comparison of the investigation of the impact in call relation.Call relation affect investigation method, owing to extracting and not having influential class/method in large quantities, therefore need the people to judge, where trace into, must focus on.Relative this situation, in the present embodiment, the result that the result of investigating due to the process impact is necessity and sufficiency, therefore needn't judge where trace into.
According to the present embodiment, by expression formula unit, grammer is analyzed, can obtain
But the dependence between analysis expression
But the flow process of analyzing and processing
Feature.Thus, can follow the tracks of affected expression formula, such as, the problem of the impact investigation centered by " call relation " can be solved.In addition, resemble Fig. 6, shown in Fig. 7 like that, can mechanically judge the termination point of impact.Even in the situation that such without the main threads code, still can extract necessary expression formula relation.
Figure 11～Figure 14 means the comparison of result and impact investigation in call relation of the coverage investigation of the present embodiment particularly.
Figure 11～Figure 13 means the result of the impact investigation based on existing call relation.Particular content is described in these accompanying drawings.
Figure 14 is for meaning the result of the impact investigation based on the present embodiment.
Therefore, according to these, compare, according to the present embodiment, without extracting in a large number class and the methods without impact, just can pass through the dependence of the connection of tracking expression formula and expression formula, the specific effect scope.
Like this, the present embodiment can improve precision and the operating efficiency of the impact investigation of implementing when the wholesale revision system.
The above, be only preferred embodiment of the present invention, is not intended to limit protection scope of the present invention.
Claims (4)
1. the coverage setting device of a program is characterized in that:
Source code to program carries out syntactic analysis, analyzes as abstract syntax tree, and retrieval forms the expression formula of this abstract syntax tree; According to the expression formula of having retrieved, according to the dependence of expression formula, form the connection of expression formula; The dependence chart that formation is connected with expression formula for the expression formula of source code, set the coverage in dependence.
2. the coverage setting device of a program is characterized in that:
Source code to program carries out syntactic analysis, analyzes as abstract syntax tree;
From the expression formula term, retrieval forms the expression formula of abstract syntax tree;
According to the expression formula of having retrieved, according to the dependence of expression formula, form the connection of expression formula;
For a plurality of source codes, form respectively the connection of the expression formula of having retrieved;
When the expression formula of the retrieval had at a plurality of source codes is identical, this expression formula forms the shared expression formula of source code separately;
Comprise the combination of the connection of expression formula that this is shared and expression formula, form and share the dependence chart be connected for expression formula with the expression formula of a plurality of source codes, the coverage of setting in dependence.
3. the ad hoc approach of the coverage of a program, the method relates to the ad hoc approach of the coverage of the coverage setting device that adopts claim 1 or 2 described program, it is characterized in that:
If on above-mentioned dependence chart, specify the expression formula that forms basic point, by following the tracks of the dependence that relatively forms the expression formula of basic point, specific effect scope.
4. the extracting method of an influenced program, the method relates to the extracting method of the influenced program of the coverage setting device that adopts claim 1 or 2 described program, it is characterized in that:
Be on above-mentioned dependence chart, during the expression formula of specific formation basic point, the dependence of the expression formula by following the tracks of relative formation basic point, the program that will have the connection of expression formula and expression formula is extracted as influenced program.
Applications Claiming Priority (3)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2011077018A JP2012212281A (en) | 2011-03-31 | 2011-03-31 | Range of influence setting device for program and range of influence specification method using the same and extraction method for program with ripple of influence |
| JP2011-077018 | 2011-03-31 | ||
| PCT/JP2012/058288 WO2012133606A1 (en) | 2011-03-31 | 2012-03-29 | Apparatus for setting affecting extent of program, and method of specifying affecting extent and method of extracting affecting program using same |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN103443766A true CN103443766A (en) | 2013-12-11 |
| CN103443766B CN103443766B (en) | 2017-04-05 |
Family
ID=46931308
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201280016907.6A Active CN103443766B (en) | 2011-03-31 | 2012-03-29 | The coverage setting device of program, and using the device coverage ad hoc approach and the extracting method of impacted program |
Country Status (3)
| Country | Link |
|---|---|
| JP (1) | JP2012212281A (en) |
| CN (1) | CN103443766B (en) |
| WO (1) | WO2012133606A1 (en) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN106446163A (en) * | 2016-09-26 | 2017-02-22 | 福建省知识产权信息公共服务中心 | Retrieval method based on advanced assertion decision algorithm and LL recursive descent method |
Families Citing this family (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP7085938B2 (en) * | 2018-08-03 | 2022-06-17 | 三菱電機株式会社 | Change impact analyzer |
Citations (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN101436128A (en) * | 2007-11-16 | 2009-05-20 | 北京邮电大学 | Software test case automatic generating method and system |
Family Cites Families (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH08328904A (en) * | 1995-03-31 | 1996-12-13 | Hitachi Software Eng Co Ltd | Program development supporting device |
| JP2008191963A (en) * | 2007-02-06 | 2008-08-21 | Nec Corp | Source code verification system, source code verification method and source code verification program |
| JP2009080681A (en) * | 2007-09-26 | 2009-04-16 | Hitachi Software Eng Co Ltd | Program structure parsing method and device |
-
2011
- 2011-03-31 JP JP2011077018A patent/JP2012212281A/en active Pending
-
2012
- 2012-03-29 WO PCT/JP2012/058288 patent/WO2012133606A1/en active Application Filing
- 2012-03-29 CN CN201280016907.6A patent/CN103443766B/en active Active
Patent Citations (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN101436128A (en) * | 2007-11-16 | 2009-05-20 | 北京邮电大学 | Software test case automatic generating method and system |
Non-Patent Citations (1)
| Title |
|---|
| 符炜等: "一种基于函数依赖图的构件抽取方法", 《南京邮电大学学报（自然科学版）》 * |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN106446163A (en) * | 2016-09-26 | 2017-02-22 | 福建省知识产权信息公共服务中心 | Retrieval method based on advanced assertion decision algorithm and LL recursive descent method |
Also Published As
| Publication number | Publication date |
|---|---|
| CN103443766B (en) | 2017-04-05 |
| WO2012133606A1 (en) | 2012-10-04 |
| JP2012212281A (en) | 2012-11-01 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN107832229B (en) | NLP-based system test case automatic generation method | |
| Polyzotis et al. | Data management challenges in production machine learning | |
| US11221832B2 (en) | Pruning engine | |
| Baier et al. | Bridging abstraction layers in process mining | |
| Zhong et al. | An empirical study on API usages | |
| CN101908006B (en) | GCC abstract syntax tree-based buffer overflow vulnerability detection method | |
| CN103136107A (en) | Variable debugging method of embedded program dynamic storage allocation | |
| US10534700B2 (en) | Separating test verifications from test executions | |
| Pakonen et al. | User-friendly formal specification languages-conclusions drawn from industrial experience on model checking | |
| Tao et al. | An approach to regression test selection based on hierarchical slicing technique | |
| Gawade et al. | Stethoscope: a platform for interactive visual analysis of query execution plans | |
| US11119899B2 (en) | Determining potential test actions | |
| CN103443766A (en) | Apparatus for setting affecting extent of program, and method of specifying affecting extent and method of extracting affecting program using same | |
| Clarisó et al. | Towards domain refinement for UML/OCL bounded verification | |
| Tengeri et al. | Toolset and program repository for code coverage-based test suite analysis and manipulation | |
| Battle et al. | What Do We Mean When We Say “Insight”? A Formal Synthesis of Existing Theory | |
| Nagy | Static analysis of data-intensive applications | |
| Filipovikj et al. | Analyzing industrial simulink models by statistical model checking | |
| Zhang et al. | Analysis of automatic code generation tools based on machine learning | |
| Konur | Towards light-weight probabilistic model checking | |
| ter Beek et al. | Software product line analysis with mCRL2 | |
| Jeong et al. | VIS analyzer: A visual assistant for VIS verification and analysis | |
| CN111427761A (en) | Intelligent recommendation of test cases | |
| Wasylkowski | Mining object usage models | |
| Gulan et al. | Graphical modelling meets formal methods |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C06 | Publication | ||
| PB01 | Publication | ||
| CB02 | Change of applicant information | ||
| CB02 | Change of applicant information |
Address after: Japan Tokyo Koto ward Applicant after: HITACHI GOVERNMENT & PUBLIC CORPORATION SYSTEM ENGINEERING, LTD. Address before: Japan Tokyo Koto ward Applicant before: Hitachi Government & Pumblic Operation Syetem Engineering, Ltd. |
|
| COR | Change of bibliographic data |
Free format text: CORRECT: APPLICANT; FROM: HITACHI GOVERNMENT + PUBLIC OPERATION SYSTEM ENGINEERING LTD. TO: HITACHI GOVERNMENT + PUBLIC OPERATION SYSTEM CO., LTD. |
|
| REG | Reference to a national code |
Ref country code: HK Ref legal event code: DE Ref document number: 1187709 Country of ref document: HK |
|
| C10 | Entry into substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| GR01 | Patent grant | ||
| GR01 | Patent grant | ||
| REG | Reference to a national code |
Ref country code: HK Ref legal event code: GR Ref document number: 1187709 Country of ref document: HK |
|
| CP01 | Change in the name or title of a patent holder | ||
| CP01 | Change in the name or title of a patent holder |
Address after: Japan Tokyo Koto ward Patentee after: Hitachi Social Information Service Co., Ltd. Address before: Japan Tokyo Koto ward Patentee before: HITACHI GOVERNMENT & PUBLIC CORPORATION SYSTEM ENGINEERING, LTD. |
|
| CP02 | Change in the address of a patent holder |
Address after: No. 3, 26fan, 6-D, nandaji, Pinchuan District, Tokyo, Japan Patentee after: Hitachi Social Information Service Co.,Ltd. Address before: Japan Tokyo Koto ward Patentee before: Hitachi Social Information Service Co.,Ltd. |
|
| CP02 | Change in the address of a patent holder |