CN102436415A - Maintenance support device for built-in system - Google Patents
Maintenance support device for built-in system Download PDFInfo
- Publication number
- CN102436415A CN102436415A CN2011102525142A CN201110252514A CN102436415A CN 102436415 A CN102436415 A CN 102436415A CN 2011102525142 A CN2011102525142 A CN 2011102525142A CN 201110252514 A CN201110252514 A CN 201110252514A CN 102436415 A CN102436415 A CN 102436415A
- Authority
- CN
- China
- Prior art keywords
- test
- variable
- built
- information
- trooping
- 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
Images
Landscapes
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
Abstract
The invention provides a maintenance support device for a built-in system, wherein even the built-in system consisting of a plurality of modules is large in scale and relatively complex in structure, the testing workload can be reduced. Meanwhile, even operators are not skillful, the cause of faults can be conveniently found. The built-in system is provided with a built-in computer system consisting of a plurality of modules. Due to the adoption of the maintenance support device for a built-in system, the information of modules aiming to the series of instructions of the computer system can be input through a source code storage portion (20).
Description
Technical field
The present invention relates to a kind of maintenance and support device that is built-in with the built-in system of computer system in order to realize housed device, industry need carry out the specific function of electronically controlled product with equipment and medical device etc., the present invention especially is fit to transit equipments such as mobile phone, digital household appliances and automobile, railway, elevator etc. are had the system of various required functions and developed, verify and safeguarded by the large scale system that a plurality of hardware and a plurality of software (module) combine.
Background technology
In the life cycle of the software product of computer system, when developing, verifying and safeguarding, software improved with optimized operation of simultaneously leak (bug) being repaired having great importance.In recent years, along with extensiveization of source code and complicated, the workload of software maintenance constantly increases, and therefore is starved of the efficient that improves upkeep operation.
Especially aspect elevator; Because extensiveization of elevator control specification and complicated; Most program all adopts higher level lanquage to work out; Iff relies on existing logical analysis method to resolve, and then is difficult to from the causal variable that directly causes fault, find the causal variable as the fault cause.
In order to improve the testing efficiency of software monomer test; A kind of technology is for example disclosed in patent documentation 1; Input and output I/F between the function of its extraction tested object and the following bit function that function called of tested object; And generate pile function that interface is installed (stub function, the small routine that when the computer program (software test) that inspection is made up of a plurality of modules, uses) as the next module according to analysis result.
In addition; In order to help the personnel that are not proficient in programming language when parsing is built-in with the equipment of software, to understand software; A kind of technology is for example disclosed in patent documentation 2; The source code information of its software for display and the control signal of analysis object device and circuit diagram information, pay close attention to part from these information selected after, will with the control signal of selecting part correlation as paying close attention to control signal; Simultaneously according to the dependence of source code being resolved the control signal that obtains; Will with pay close attention to control signal that control signal has dependence also as paying close attention to control signal, differentiate and pay close attention to the relevant part of control signal, and show the part that this is correlated with eye-catching mode.
Again; In the monomer test of the program that comprises a plurality of modules; In order under the situation of the pre-treatments such as setting of the generation of not carrying out pile function and external variable, to begin test, a kind of technology is for example disclosed in patent documentation 3, its be provided with program to be tested in the relevant variable reference admin table of variablees such as global variable that do not have; And at every turn with reference to these variablees the time, with reference to this admin table.
The patent documentation 1 open patent 2008-140263 of Japan communique
The patent documentation 2 open patent 2006-323480 of Japan communiques
The patent documentation 3 open patent 2001-229044 of Japan communiques
In patent documentation 1 disclosed above-mentioned prior art; Input and output I/F between the function of extraction tested object and the following bit function that function called of tested object; Carried out structurized software so be merely able to be applicable to the what is called that the source code of source code and the following bit function of tested object is clearly separated, and can not be applicable to and do not carry out structurized software.
In addition, in patent documentation 2 disclosed technology, carry out arbitrarily by the user, so the efficient of upkeep operation is very different because of the difference of user's skill level owing to pay close attention to the selection of part.
Again, in patent documentation 3 disclosed technology, along with software to extensiveization and complicated development, can cause test volume to increase, it is elongated to obtain the required time of test result, thereby causes operating efficiency to reduce.
Summary of the invention
The objective of the invention is to solve existing problem in the above-mentioned prior art; Even make at the software (computer program that constitutes by a plurality of modules as the complicated built-in system of larger and structure; Especially the computer program of electronic security(ELSEC) elevator), also can reduce the test jobs amount, can be applicable to and not carry out structurized software; And the operating personnel is not under skilled person's the situation, can find the cause of fault easily yet.
To achieve these goals; The present invention provides a kind of maintenance and support device of built-in system; Be built-in with computer system in this built-in system by the software description that comprises a plurality of modules; In the maintenance and support device of said built-in system; Is the information that the set of the information of said module and the constituent element of on said computer system, handling that used by said module is promptly trooped as the input of said software to a series of instruction of said computer system; Said trooping tested, and show test coverage (it is first-class to be presented at the paper that perhaps is printed on regulation on the monitor), this test coverage is represented the test coverage as the evaluation index of this test result.
The maintenance and support device of above-mentioned built-in system preferably has: source code is resolved part, and this source code is resolved the source code information of the information that partly will represent said module as importing to confirm the tested object part; Test case generates part, and it serves as the test case that input generates the tested object part with said source code parsing result partly that this test case generates part; Test case storage area, this test case storing section stores are generated the information of the said test case of part generation by said test case; The test execution part, this test execution is partly carried out the test of said test case; The variable cluster information is obtained part, and this variable cluster information is obtained part and partly come to confirm to troop to what the variable that uses in this tested object part had carried out classifying according to said information of trooping with by the tested object that said source code parsing part is confirmed; And the eye-catching display part of cluster information, the eye-catching display part of this cluster information shows by said variable cluster information with eye-catching mode and obtains trooping that part confirms.
According to the present invention; The information that the set of the information of load module and the constituent element that used by module is promptly trooped; Test trooping, and data representing is as the test coverage of the test coverage of the evaluation index of this test result, so even in as larger and the software that a plurality of modules is made up of of structure than complicated built-in system; Also can reduce the test jobs amount; Can be applicable to and not carry out structurized software, and not be under skilled person's the situation, also can find the cause of fault easily the operating personnel.
Description of drawings
Fig. 1 is the integrally-built calcspar of an expression embodiment involved in the present invention.
Fig. 2 is the figure of the source code information of expression one embodiment.
Fig. 3 is the figure of the variable cluster information of expression one embodiment.
Fig. 4 is the process flow diagram that the source code of expression one embodiment is resolved the processing of part 11.
Fig. 5 is the figure of the conditional clause information of expression one embodiment.
Fig. 6 is the troop process flow diagram of the processing that obtains part of the variable of expression one embodiment.
Fig. 7 is the figure of the cluster information of expression one embodiment.
Fig. 8 is the process flow diagram that the test case of expression one embodiment generates the processing of part.
Fig. 9 is the figure of the test case of expression one embodiment.
Figure 10 is the figure of the test case of expression prior art.
Figure 11 is the process flow diagram of processing of the test case operating part of expression one embodiment.
Figure 12 is the figure of the test result of expression one embodiment.
Figure 13 is the calcspar of structure of the eye-catching display part of cluster information of expression one embodiment.
Figure 14 is the process flow diagram of processing of the eye-catching display part of attention signal of expression one embodiment.
Figure 15 is result's the picture displayed map of the eye-catching display part of attention signal of expression one embodiment.
Figure 16 is result's the picture displayed map of the eye-catching display part of attention signal of expression prior art.
Figure 17 is the process flow diagram of processing of the test status display part of expression one embodiment.
Figure 18 is result's the picture displayed map of the test status display part of expression one embodiment.
Figure 19 is result's the picture displayed map of the test status display part of expression prior art.
Figure 20 is the picture displayed map of the test result of expression one embodiment.
Figure 21 is the figure that the monitor of expression one embodiment is selected picture.
Figure 22 is the figure of the demonstration of the pointing out example of expression one embodiment.
Figure 23 is the picture displayed map of the process flow diagram of other embodiment.
(symbol description)
The maintenance and support device of 10 built-in systems
11 source codes are resolved part
12 variable cluster information are obtained part
13 test cases generate part
14 test case storage areas
15 test execution parts
The eye-catching display part of 16 cluster information
17 monitors show selects part
20 source code storage areas
30 variable cluster information storage areas
40 monitors
50PC
60 input medias
70 maintainers (user)
Embodiment
Below with reference to accompanying drawing an embodiment of the present invention is described.
In Development of Software, checking and upkeep operation,, need safeguard software with the mode that can not produce omission etc. for reliability and the security that improves software., especially in the built-in system of elevator etc., along with the development of the electronization of safety feature of Traditional use mechanical system etc.; The scale of software increases; It is complicated that structure becomes, and workload becomes very huge, so need safeguard software with the mode that can not produce omission.
In addition; When operation such as safeguarding; From improving the angle of operating efficiency, preferably, the position that defective sneaks into carries out the emphasis checking to taking place continually, but when judging that what position should be carried out the emphasis checking; The experience that on sizable degree, relies on the skilled person is judged, and is very difficult concerning the beginner.
Fig. 1 is the integrally-built calcspar of the maintenance and support device 10 of expression built-in system.Information stores as module in source code storage area 20 has source code; This source code be project software function, comprise this CWinInetConnection (class), assembly (component), object (object) and storehouse (library) etc. to a series of instruction as the built-in system of analysis object, be the information that is used to carry out the module of specific function.
Store group information (group information in the variable cluster information storage area 30 as variable; Be the information of address etc. of the referring-to relation of expression each input variable of trooping, output variable and each variable) the variable cluster information, this variable cluster information is the information that the set of the constituent element of on computer system, handling (constituent element) that used by module is promptly trooped.One of characteristic of the maintenance and support device 10 that to import this variable cluster information be this built-in system.
The major part of the maintenance and support device 10 of built-in system by the source code of analysis source code structure resolve part 11, analysis result and the variable cluster information of resolving part 11 according to source code be reflected in variable cluster information on the source code with cluster information and obtain part 12, test case (test case) and generate part 13, test case storage area 14, test execution part 15, the eye-catching display part 16 of cluster information and monitor and show and select part 17 to constitute.
Test case generates the test case that result's generation that part 13 obtains part 12 according to source code information and variable cluster information is used to measure required test coverage (as the coverage rate of the quality evaluation index of tested object).As the kind of test coverage, comprise once order coverage rate of all processing execution in the source code, all branch's combinations in the source code are carried out branch's coverage rate once and all condition combinations in the source code are carried out condition coverage rate once.
That is to say, test coverage preferably include the Rule of judgment that the many conditions coverage rate, expression of execution ratio of each combination of condition coverage rate (condition coverage), expression branch condition of execution ratio of branch's coverage rate, the combination in the expression branch condition of execution ratio of sentence covering rate, the expression branch of the execution ratio of the statement (statement) of expression in the software exert an influence to branch direction the execution ratio the MC/DC coverage rate and represent at least a coverage rate in the path coverage rate of execution ratio in all paths.
Test case storage area 14 is to be used for being stored in the database that test case generates the test case of part 13 generations.Test execution part 15 is used for carrying out the test of the test case that generates in test case generation part 13 and outputing test result.
The eye-catching display part 16 of cluster information according to source code information and variable cluster information obtain the result of part 12, the result and the monitor of test execution part 15 shows that the result who selects part 17 shows necessary information for maintainer (user) 70.
Maintainer (user) 70 usefulness monitors show selects part 17 to select required information.
As stated; Through using source code information and variable cluster information to generate and implementation of test cases, and test result is illustrated in during each troops, thus be that unit carries out the occasion of testing according to module information and compares with the module; Maintainer (user) can be defective and the variation point that unit discerns source code to troop; Can reduce the quantity of test case, shorten the time till outputing test result, and reduce the upkeep operation amount.
Be elaborated below in conjunction with concrete example.In the present embodiment, used source code, used the set of variable as trooping, used many conditions coverage rate of the execution ratio of each combination of representing branch condition as test coverage as module.
Fig. 2 representes the source code information in the source code storage area 20, and Fig. 3 representes the variable cluster information in the variable cluster information storage area 30.The variable cluster information comprises the number of trooping, input variable, output variable, built-in variable, reference variable total number, more new variables total number, built-in variable total number and variable total number etc.
Fig. 4 is the process flow diagram that the expression source code is resolved the processing of part 11, handles to begin from step S1101.
Step S1102: from the 20 input source code informations of source code storage area.
Step S1103: carry out the initialization of conditional clause (conditional sentence) number.
Step S1104: select the initialization of row number.
Step S1105: whether inspection selects row not equal with EOF.
When being not EOF (be), enter into step S1106, when being EOF (deny), enter into step S1113.
Step S1106: whether the inspection conditional clause is from selecting the row beginning.If conditional clause enters into step S1107 from selecting row beginning (being), if conditional clause is not from selecting row beginning (denying), entering into step S1108.
Step S1107: obtain the conditional information in the conditional clause.
Step S1108: make and select the row number to increase progressively to proceed processing.
Step S1109: obtain the variable information that in selecting row, uses.
Step S1110: whether the inspection conditional clause is selecting row to finish.
If conditional clause enters into step S1111 selecting row to finish (being), if conditional clause enters into step S1112 not selecting row to finish (denying).
Step S1111: the conditional clause number is increased progressively to proceed processing.
Step S1112: make and select the row number to increase progressively to proceed processing.
Step S1113: obtain part 12 output condition sentence information to the variable cluster information, and in step S1114 end process.
Fig. 5 representes above-described conditional clause information of having carried out parsing by source code parsing part 11, and conditional clause information comprises conditional clause number, conditional clause begin column, conditional clause end line, conditional information and variable information.
Fig. 6 is that expression variable cluster information is obtained the process flow diagram of the processing of part 12, and this processing begins from step S1201.
Step S1202: resolve part 11 initial conditions sentence information from source code.
Step S1203: from variable cluster information storage area 30 input variable cluster information.
Step S1204: carry out the initialization of conditional clause number.
Step S1205: obtain the conditional clause variable information.
Step S1206: the initialization of the number of trooping.
Step S1207: obtain the variable information of trooping.
Step S1208: check in the variable of trooping whether include the conditional clause variable.When in the variable of trooping, including the conditional clause variable (be), enter into step S1209, when in the variable of trooping, not comprising the conditional clause variable (denying), enter into step S1210.
Step S1209: with conditional clause information and variable cluster information mutually in addition as cluster information.
Step S1210: the number of trooping is increased progressively to proceed processing.
Step S1211: whether inspection conditional clause number is final conditional clause number.When being final conditional clause number (being), enter into step S1212 at the conditional clause number, when not being final conditional clause number (denying), enter into step S1213 at the conditional clause number.
Step S1212: generate part 13 output cluster information to test case, and in step S1215 end process.
Step S1213: the conditional clause number is increased progressively to proceed processing.
Step S1214: to the eye-catching display part output of cluster information cluster information.
Fig. 7 representes to obtain the cluster information that part 12 obtains by the variable cluster information, and cluster information comprises that conditional clause number, conditional clause begin number, conditional clause and finish number, conditional information, the number of trooping, input variable, output variable, built-in variable, reference variable total number, more new variables total number, built-in variable total number and variable total number.
Fig. 8 is the process flow diagram that the expression test case generates the processing of part 13, and this processing begins from step S1301.
Step S1302: from the 20 input source code informations of source code storage area.
Step S1303: obtain part 12 input cluster information from the variable cluster information.
Step S1304: the initialization of the number of trooping.
Step S1305: the conditional information with reference to cluster information generates test case to be directed against all command in combination.
Step S1306: check whether the number of trooping is the number of finally trooping.At the number of trooping is (being) when finally trooping number, enters into step S1307, is not (denying) when finally trooping number at the number of trooping, and enters into step S1308.
Step S1307: to test case storage area 14 output test case information.
Step S1308: the number of trooping is increased progressively to proceed processing.
Step S1309: to test execution part 15 output test case information, and in step S1310 end process.
Fig. 9 representes to be stored in the test case by 13 generations of test case generation part in the test case storage area 14.Test case comprises the test number, troop number and test case scenario description (test case scenario); Owing to generate test case according to cluster information with order shown in Figure 8; So can judge whether and to separate through cluster information, thereby can make test case scenario describe the combination that is separated into condition A, B and condition C.In addition, owing to can separate,, make it possible to find easily the reason of defective so can reduce the total amount that test case scenario is described to condition.
Figure 10 is different with present embodiment, the test case of condition A, condition B and condition C when expression has generated test case according to module information, because the total amount that test case scenario is described is many, condition is not separated, so be difficult to find the reason of defective.
Figure 11 is the process flow diagram of the details of expression test case operating part 15, and this processing begins from step S1501.
Step S1502: input generates the test case that part 13 generates by test case.
Step S1503: test the initialization of number.
Step S1504: the test of implementation of test cases.
Step S1505: the test result of record test case.
Step S1506: whether the checkout number is the final test number.
When the test number is the final test number (being), enter into step S1507, when the test number is not the final test number (denying), enter into step S1508.
Step S1507: to the execution result of cluster information eye-catching display part 16 output tests.
Step S1508: the test number is increased progressively to proceed processing.
Step S1509: to monitor 40 output test execution results or be printed on the paper of regulation to show.
Figure 12 is illustrated in the test result that obtains in the test execution part 15, and test result comprises troop number and test coverage, is used to calculate the test coverage of trooping.
Figure 13 representes the details of the eye-catching display part 16 of cluster information; The eye-catching display part 16 of cluster information has eye-catching display part 1601 of attention signal and test status display part 1602; Source code storage area 20, variable cluster information are obtained part 12 to the eye-catching display part 1601 of attention signal and monitor shows that selection part 17 is as input; And show maintainer (user) 70 desired attention signals with eye-catching mode; Test status display part 1602 obtains part 12, test execution part 15 and monitor with source code storage area 20, variable cluster information and shows that selecting part 17 is input, and shows current test status.
Figure 14 is a process flow diagram of paying close attention to the detailed process of the eye-catching display part 1601 of signal, and this processing begins from step S160101.
Step S160102: show selection part 17 input display requirements from monitor.
Step S160103: from the 20 input source code informations of source code storage area.
Step S160104: obtain part 12 input cluster information from the variable cluster information.
Step S160105: the initialization of the number of trooping.
Step S160106: whether contain the display requirement signal in the more new variables of inspection cluster information.When in the more new variables of cluster information, containing the display requirement signal (being), enter into step S160107, when in the more new variables of cluster information, not containing the display requirement signal (denying), enter into step S160108.
Step S160107: the output of obtaining part 12 from the variable cluster information is to obtain conditional clause begin column information and conditional clause end line information the cluster information.
Step S160108: check whether the number of trooping is the number of finally trooping.At the number of trooping is (being) when finally trooping number, enters into step S160109, is not (denying) when finally trooping number at the number of trooping, and enters into step S160110.
Step S160109: to monitor 40 output error signals, and end process.
Step S160110: the test number is increased progressively to proceed processing.
Step S160111: to monitor 40 output orders so that it observably is shown to the conditional clause end line from the conditional clause begin column, and in step S160112 end process.
Figure 15 is the figure as a result that is presented at the eye-catching display part 1601 of attention signal on the monitor 40, when having selected variable v7 as attention signal, only the number of trooping that has upgraded variable v7 is carried out eye-catching demonstration, understands to help the user.Thus, maintainer (user) 70 can judge the scope of trooping strong with the attention signal relevance easily.
Figure 16 is different with present embodiment, and it is not to obtain conditional clause begin column information and conditional clause end line information from the variable cluster information, but exports eye-catching demonstration according to module information.So, when having selected variable v7, be merely able to the whole file that uses variable v7 is carried out eye-catching demonstration, thereby be difficult to confirm the coverage of attention signal v7 as attention signal.
Figure 17 is the process flow diagram of the detailed process of expression test status display part 1602, and this processing begins from step S160201.
Step S160202: show selection part 17 input display requirements from monitor.
Step S160203: from the 20 input source code informations of source code storage area.
Step S160204: obtain part 12 input cluster information from the variable cluster information.
Step S160205: from test execution part 15 input test object informations.
Step S160206: the initialization of the number of trooping.
Step S160207: obtain the test result information of trooping.
Step S160208: obtain conditional clause begin column information and conditional clause end line information from cluster information.
Step S160209: check whether the number of trooping is the number of finally trooping.At the number of trooping is (being) when finally trooping number, enters into step S160210, is not (denying) when finally trooping number at the number of trooping, and enters into step S160211.
Step S160210:, show test results simultaneously so that it observably is shown to the conditional clause end line from the conditional clause begin column to monitor 40 output orders, and in step S160212 end process.The number of trooping is increased progressively to proceed processing.
Figure 18 is the figure as a result that is presented at the test status display part 1602 on the monitor 40, its show test coverage as the relevance between the variable strong be the test result of unit to troop.Can be that test coverage is understood by unit thus to troop, the feasible reason that finds fault easily.
Figure 19 is different with present embodiment, and it is not to obtain conditional clause begin column information and conditional clause end line information from cluster information, but exports the demonstration of test coverage according to module information (whole file).Owing to do not use cluster information,, make that the searching of failure cause is very difficult so be merely able to show the test coverage of whole file.
Figure 20 is the test result figure that is presented at the test execution part 15 on the monitor 40, through test coverage is presented on the tables of data, can confirm the test coverage that all are trooped easily.
Figure 21 is that monitor is selected picture figure.Maintainer (user) 70 uses that input medias 60 select that monitor outputs, form, concern are trooped, attention signal and test approaches.Figure 22 representes to have the monitor display frame of the demonstration example that points out.Because the user has selected non-existent attention signal v8 in the source code of tested object, so monitor is selected the demonstration that occurs pointing out on the picture figure.So, troop or during attention signal, occur the demonstration pointed out on the monitor picture, maintainer (user) 70 is learnt when the user has selected non-existent concern.
Figure 23 is the process flow diagram that is presented at the result of the expression test status display part 1602 on the monitor 40.That is to say that display format can not be a source code also,, can maintain easily personnel (user) 70 and understand the corresponding relation of trooping with test coverage through adopting the mode of process flow diagram.
As stated, owing to be that unit generates test case to troop, and show the mensuration result of test coverage, so do not rely on skilled person's experience can analogize the position that defect cause easily yet.And in the present embodiment, the module beyond the source code, trooping beyond the set of variable also can be calculated through identical method with the coverage rate beyond many conditions coverage rate.
When built-in system is elevator; From satisfying the requirement of world security specification; Can become electronic component to improve function from mechanical component replacement through member with elevator; Can satisfy the needs of electronic securityization cheaply; Can fulfil the burden of persuasion of secure context; And can realize that aspects such as remote upgrade set out; With respect to the module of the software section set of a certain particular functionality unit of expression (for example be used to realize floor is stopped control function, maintenance operation function and the software module of operation function when urgent), as the software section set that does not rely on particular functionality unit promptly troop preferably comprise at least expression elevator door zone domain switch, final limit switch, maintenance with the information of the state of any switch in limit switch, direction limit switch and the terminal floor forced deceleration switch as variable, that is to say preferably this decision of trooping is the interior required fixed position of hoist trunk.
Safeguard and use limit switch: clearly expression is used to guarantee that the maintainer implements the switch of the position of the required top clearance of operation safely
Direction limit switch: detect the whether switch of incoming terminal floor of lift car
Terminal floor forced deceleration switch: detect and when lift car has occurred overrunning state for a certain reason, make the switch of lift car with the position of speed below the rated speed and impact damper collision.
Claims (12)
1. the maintenance and support device of a built-in system is built-in with the computer system by the software description that comprises a plurality of modules in this built-in system,
The maintenance and support device of said built-in system is characterised in that,
Is the information that the set of the information of said module and the constituent element of on said computer system, handling that used by said module is promptly trooped as the input of said software to a series of instruction of said computer system; Said trooping tested; And the demonstration test coverage, this test coverage is represented the test coverage as the result's of this test evaluation index.
2. the maintenance and support device of built-in system as claimed in claim 1 is characterized in that,
Said module comprises function, contains at least one in this CWinInetConnection, assembly, object and the storehouse.
3. the maintenance and support device of built-in system as claimed in claim 1 is characterized in that,
Said trooping comprises at least one in variable, function, class, assembly, object and the storehouse.
4. the maintenance and support device of built-in system as claimed in claim 1 is characterized in that,
Said test coverage comprises once order coverage rate of all processing execution to module or in trooping, all branch's combinations is carried out branch's coverage rate once and all condition combinations are carried out at least a coverage rate in the condition coverage rate once.
5. the maintenance and support device of built-in system as claimed in claim 1 is characterized in that,
Said trooping is variable, and said information of trooping comprises cluster number sign indicating number, input variable, output variable, built-in variable, reference variable total number, at least one in new variables total number, built-in variable total number and the variable total number more.
6. the maintenance and support device of built-in system as claimed in claim 1 is characterized in that,
Said built-in system is an elevator, said troop comprise at least expression elevator door zone domain switch, final limit switch, maintenance with the information of the state of any switch in limit switch, direction limit switch and the terminal floor forced deceleration switch as variable.
7. the maintenance and support device of built-in system as claimed in claim 1 is characterized in that,
Said test coverage comprise the Rule of judgment that the many conditions coverage rate, expression of execution ratio of each combination of condition coverage rate, expression branch condition of execution ratio of branch's coverage rate, the combination in the expression branch condition of execution ratio of sentence covering rate, the expression branch of the execution ratio of the statement of expression in the software exerts an influence to branch direction the execution ratio the MC/DC coverage rate and represent at least a coverage rate in the path coverage rate of execution ratio in all paths.
8. the maintenance and support device of built-in system as claimed in claim 1 is characterized in that,
Have:
Source code is resolved part, and this source code is resolved the source code information of the information that partly will represent said module as importing to confirm the tested object part;
Test case generates part, and it serves as the test case that input generates the tested object part with said source code parsing result partly that this test case generates part;
Test case storage area, this test case storing section stores are generated the information of the said test case of part generation by said test case;
The test execution part, this test execution is partly carried out the test of said test case;
The variable cluster information is obtained part, and this variable cluster information is obtained part and partly come to confirm to troop to what the variable that uses in this tested object part had carried out classifying according to said information of trooping with by the tested object that said source code parsing part is confirmed; And
The eye-catching display part of cluster information, the eye-catching display part of this cluster information show by said variable cluster information with eye-catching mode and obtain trooping that part confirms.
9. the maintenance and support device of built-in system as claimed in claim 8 is characterized in that,
The number of the number of the variable that said information of trooping comprises the cluster number sign indicating number, in trooping, upgrade, the variable that upgrades at the variable of internal reference of trooping, the built-in variable of trooping, in trooping, the variable of the institute's reference of trooping, the number of the built-in variable of trooping and troop in the number of whole variablees at least one item.
10. the maintenance and support device of built-in system as claimed in claim 8 is characterized in that,
The eye-catching display part of said cluster information has:
Monitor shows the selection part, and this monitor shows selects part can select said source code information, obtain the definite information of trooping of part and the display packing of the eye-catching display part of said cluster information by said variable cluster information;
The eye-catching display part of attention signal, the eye-catching display part of this attention signal show through said monitor selects part to confirm trooping under the attention signal, and this is trooped is presented on the monitor; And
The test status display part, test result and the said attention signal that partly export according to said source code information, said cluster information, by said test execution this test status display part are to the said test status of trooping of monitor output.
11. the maintenance and support device like claim 2 or 7 described built-in systems is characterized in that,
The variable data process flow diagram that the eye-catching display part of said cluster information has the source code that tested object is trooped partly carries out the eye-catching display unit of eye-catching demonstration, variable cluster information table that tested object is trooped carries out eye-catching demonstration eye-catching display unit, troop to tested object carries out the eye-catching display unit of eye-catching demonstration and the process flow diagram that tested object is trooped is carried out at least a eye-catching display unit in the eye-catching display unit of eye-catching demonstration.
12. the maintenance and support device like claim 2 or 7 described built-in systems is characterized in that,
The eye-catching display part of said cluster information has the test status display unit that the test status of the source code that tested object is trooped shows; The test status display unit that the test status of the variable cluster information table that tested object is trooped shows; At least a test status display unit in the test status display unit that the test status of test status display unit that the test status of the variable data process flow diagram that tested object is trooped shows and process flow diagram that tested object is trooped shows.
Applications Claiming Priority (2)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2010-216329 | 2010-09-28 | ||
| JP2010216329A JP5303531B2 (en) | 2010-09-28 | 2010-09-28 | Maintenance support device for embedded system |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN102436415A true CN102436415A (en) | 2012-05-02 |
| CN102436415B CN102436415B (en) | 2015-11-04 |
Family
ID=45984490
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201110252514.2A Active CN102436415B (en) | 2010-09-28 | 2011-08-30 | The maintenance and support device of built-in system |
Country Status (2)
| Country | Link |
|---|---|
| JP (1) | JP5303531B2 (en) |
| CN (1) | CN102436415B (en) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN105116879A (en) * | 2015-08-27 | 2015-12-02 | 株洲南车时代电气股份有限公司 | Electrical control cabinet remote test method for railway carriage |
| CN105425529A (en) * | 2015-11-20 | 2016-03-23 | 中国空气动力研究与发展中心超高速空气动力研究所 | Compensative filtering apparatus structure in multi-sequence laser shadowgraph |
Families Citing this family (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP5908374B2 (en) * | 2012-08-28 | 2016-04-26 | 株式会社東芝 | Compiler evaluation apparatus, method, and program |
| US9971676B2 (en) * | 2012-08-30 | 2018-05-15 | Toyota Motor Engineering & Manufacturing North America, Inc. | Systems and methods for state based test case generation for software validation |
Citations (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH09251400A (en) * | 1996-03-15 | 1997-09-22 | Hitachi Comput Eng Corp Ltd | Program coverage trace method |
| JP2007018193A (en) * | 2005-07-06 | 2007-01-25 | Toshiba Corp | Execution information estimation device, execution information estimation method and execution information estimation program |
| CN101198930A (en) * | 2005-04-13 | 2008-06-11 | 艾利森电话股份有限公司 | Data value consistency in computer system |
| JP2009134462A (en) * | 2007-11-29 | 2009-06-18 | Toshiba Corp | Debugging device and debugging method |
Family Cites Families (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2000267888A (en) * | 1999-03-19 | 2000-09-29 | Ntt Communicationware Corp | Method and instrument for measuring software test execution covering rate and recording medium |
| JP2002342119A (en) * | 2001-03-15 | 2002-11-29 | Ricoh Co Ltd | Method for generating program for image forming device, method for measuring coverage for image forming device, program for making computer perform these methods, instrument and program for measuring coverage, and information recording medium |
| JP4479958B2 (en) * | 2004-11-26 | 2010-06-09 | 日立ソフトウエアエンジニアリング株式会社 | Coverage acquisition system |
| JP2008071075A (en) * | 2006-09-13 | 2008-03-27 | Toshiba Corp | Program inspection device, program inspection method, and program inspection program |
| JP2010128583A (en) * | 2008-11-25 | 2010-06-10 | Toshiba Corp | Test-facilitating design apparatus, its method and program |
-
2010
- 2010-09-28 JP JP2010216329A patent/JP5303531B2/en active Active
-
2011
- 2011-08-30 CN CN201110252514.2A patent/CN102436415B/en active Active
Patent Citations (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH09251400A (en) * | 1996-03-15 | 1997-09-22 | Hitachi Comput Eng Corp Ltd | Program coverage trace method |
| CN101198930A (en) * | 2005-04-13 | 2008-06-11 | 艾利森电话股份有限公司 | Data value consistency in computer system |
| JP2007018193A (en) * | 2005-07-06 | 2007-01-25 | Toshiba Corp | Execution information estimation device, execution information estimation method and execution information estimation program |
| JP2009134462A (en) * | 2007-11-29 | 2009-06-18 | Toshiba Corp | Debugging device and debugging method |
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN105116879A (en) * | 2015-08-27 | 2015-12-02 | 株洲南车时代电气股份有限公司 | Electrical control cabinet remote test method for railway carriage |
| CN105425529A (en) * | 2015-11-20 | 2016-03-23 | 中国空气动力研究与发展中心超高速空气动力研究所 | Compensative filtering apparatus structure in multi-sequence laser shadowgraph |
| CN105425529B (en) * | 2015-11-20 | 2018-08-10 | 中国空气动力研究与发展中心超高速空气动力研究所 | Compensation filtering apparatus structure in multisequencing laser shadowgraph |
Also Published As
| Publication number | Publication date |
|---|---|
| JP2012073692A (en) | 2012-04-12 |
| CN102436415B (en) | 2015-11-04 |
| JP5303531B2 (en) | 2013-10-02 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN102636704B (en) | Testing method, device and system for electronic product | |
| US8527813B2 (en) | Dynamic reprioritization of test cases during test execution | |
| US8015550B2 (en) | Systems and methods for hazards analysis | |
| US9135714B1 (en) | Method and system for integrating a graphical user interface capture for automated test and retest procedures | |
| CN103984612B (en) | Unattended pressure testing method based on HPL tool | |
| US20070079189A1 (en) | Method and system for generating a global test plan and identifying test requirements in a storage system environment | |
| US10459830B2 (en) | Executable code abnormality detection | |
| US20100192128A1 (en) | System and methods of using test points and signal overrides in requirements-based test generation | |
| JP2004004051A (en) | Electronic test program capable of distinguishing result | |
| Boring et al. | GOMS-HRA: A method for treating subtasks in dynamic human reliability analysis | |
| US20080276226A1 (en) | Device, method and computer program product for evaluating a debugger script | |
| US8949672B1 (en) | Analyzing a dump file from a data storage device together with debug history to diagnose/resolve programming errors | |
| CN110990297A (en) | Testing method and device of interlocking system and electronic equipment | |
| CN102436415B (en) | The maintenance and support device of built-in system | |
| CN102750469A (en) | Security detection system based on open platform and detection method thereof | |
| US11256385B2 (en) | Application menu modification recommendations | |
| CN114546738A (en) | Server general test method, system, terminal and storage medium | |
| CN111723515A (en) | Method, device and system for operating operator | |
| CN106294172A (en) | App self-testing method based on terminal unit and device | |
| CN103713995B (en) | Method and apparatus for determining test data | |
| CN101030160A (en) | Tester and method for testing unified series interface command | |
| Arlt et al. | Behind the scenes: an approach to incorporate context in GUI test case generation | |
| US8683427B2 (en) | Information processing apparatus, control method thereof, and computer readable storage medium for supporting test processes for respective software components | |
| Oliveira et al. | Equivalence checking for comparing user interfaces | |
| CN104199689B (en) | The installation method and device of comprehensive front-end system |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C06 | Publication | ||
| PB01 | Publication | ||
| C10 | Entry into substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| REG | Reference to a national code |
Ref country code: HK Ref legal event code: DE Ref document number: 1166529 Country of ref document: HK |
|
| C14 | Grant of patent or utility model | ||
| GR01 | Patent grant |