CN107480051A - A kind of nuclear power plant's Digital Reactor Protection System software testing system and method - Google Patents
A kind of nuclear power plant's Digital Reactor Protection System software testing system and method Download PDFInfo
- Publication number
- CN107480051A CN107480051A CN201710597261.XA CN201710597261A CN107480051A CN 107480051 A CN107480051 A CN 107480051A CN 201710597261 A CN201710597261 A CN 201710597261A CN 107480051 A CN107480051 A CN 107480051A
- Authority
- CN
- China
- Prior art keywords
- value
- test
- module
- round
- parameter
- 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
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3672—Test management
- G06F11/3688—Test management for test execution, e.g. scheduling of test suites
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3672—Test management
- G06F11/3692—Test management for test results analysis
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Monitoring And Testing Of Nuclear Reactors (AREA)
- Testing And Monitoring For Control Systems (AREA)
Abstract
The invention discloses a kind of nuclear power plant's Digital Reactor Protection System software testing system and method, including：Probability assignments component, the probability for multiple selecting modules progress to parameter formation component is allocated, and carries out probability assignments for the branching selection of the next step to each selecting module；Parameter formation component, including multiple selecting modules and be connected respectively with the part probability assignments component, for generating the desired value and operational parameter value of each round test；Components of data analysis, it is connected with the parameter formation component, it is self-defined to count and export the test result of more rounds for carrying out analysis contrast to the desired value and operational parameter value of each round.Nuclear power plant's Digital Reactor Protection System software testing system provided by the invention and method have the stochastic behaviour of Operation Profile, and the span of parameter is covered comprehensively, realize abundant simulation of the test environment to nuclear power plant's running status.
Description
Technical field
The present invention relates to technical field of nuclear power, more particularly to a kind of nuclear power plant's Digital Reactor Protection System software test
System and method.
Background technology
Nuclear power plant's reactor protection system is the important system for ensureing npp safety operation and preventing radioactive release, it
The signal relevant with protection equipment is produced according to the situation of change of power plant's operational factor, by driving reactor emergency stop means
Acted with engineered safeguards features, prevent reactor state from exceeding defined safety margins or mitigating more than caused by safety margins
Damage, therefore, the reliability testing of nuclear power plant's reactor protection system software is most important.
The reliability testing of nuclear power plant's reactor protection system software should be with a large amount of test cases to test parameter value area
Between and logical combination path carry out fully cover and test, obtain a large amount of test samples and analyzed, and test design Ying Mo
The Operation Profile stochastic behaviour of nucleoid power plant.Therefore in the prior art towards nuclear power plant's Digital Reactor Protection System software
Test has following limitation：1) parameter value coverage rate is low：The parameter value for typically choosing limited quantity under various operating modes is carried out
Test, it is impossible to the fully presence states of simulation nuclear power plant's parameter dynamic change in certain section；2) test path is single：Survey
Try protective condition and protection act combinatorial path is single, it is impossible to effectively embody the behaviour that various operating modes occur at random in nuclear power plant's operation
Make section characteristic；3) Test cases technology efficiency and reusability are low；4) test automation limitation：Nuclear power plant can not be simulated
Continuous operation characteristic.
It would therefore be highly desirable to a kind of nuclear power plant's Digital Reactor Protection System software testing system and method are provided, to improve
Adequacy, completeness and the execution efficiency of nuclear power plant's reactor protection system software test, ensure software quality, and then ensure core
Power plant safety.
The content of the invention
The present invention is in the prior art towards ginseng existing for the test of nuclear power plant's Digital Reactor Protection System software
Number value coverage rates are low, test path is single, Test cases technology efficiency and reusability is low and test automation limitation
The problem of, there is provided a kind of nuclear power plant's Digital Reactor Protection System software testing system and method, make the generation of test content
Stochastic behaviour with Operation Profile, and by operational factor generation module, the span of parameter is covered comprehensively, in fact
Existing abundant simulation of the test environment to nuclear power plant's running status.
The invention provides a kind of nuclear power plant's Digital Reactor Protection System software testing system, including:
Probability assignments component, the probability carried out for multiple selecting modules by calculating to parameter formation component divide
Match somebody with somebody, and probability assignments are carried out for the branching selection of the next step to each selecting module；
The parameter formation component, including multiple selecting modules and be connected respectively with the part probability assignments component, use
According to the distribution of the probability assignments component, selecting measurement condition, trigger condition and TCH test channel, and root in each round
The desired value and operational parameter value of each round test are generated according to the parameter section of corresponding operation；
Components of data analysis, it is connected with the parameter formation component, for the desired value and fortune to each round
Row parameter value carries out analysis contrast, self-defined to count and export the test result of more rounds.
Preferably, the probability assignments component includes：
One-level probability assignments module, it is connected respectively with multiple selecting modules of the parameter formation component, for testing
The branch probabilities value and probabilistic algorithm of multiple selecting modules of each parameter formation component are determined during startup；
Multiple two level probability assignments modules, be distributed in the multiple selecting module in the parameter formation component and
It is connected with the one-level probability assignments module, for according to the algorithm and probable value voluntarily computing distributed, determining each
Wheel tests next branch of selection.
Preferably, the multiple selecting module of the parameter formation component includes：
Measurement condition selecting module, the operating mode tested for selecting this round to need in default nuclear power plant's operating mode；
Test equipment selecting module, it is connected with the measurement condition selecting module, for a variety of under selected operating mode
In protection equipment or action, this round is selected to need equipment or the action tested；
Trigger condition selecting module, with the test equipment selecting module and being connected, for the operating mode in the selection
Under select in default trigger condition this round to need the trigger condition tested；
Trigger port selecting module, it is connected with the trigger condition selecting module, for selecting the superfluous of trigger condition
The trigger port for selecting this round to test in remaining passage；
Operational factor choosing value module, is connected with the triggering selection component, for it is determined that measurement condition, trigger condition and
In the corresponding operational factor section of TCH test channel, selected with certain probabilistic algorithm, the operational parameter value of generation epicycle test.
Preferably, the components of data analysis includes：
Desired output module, it is connected with the test equipment selecting module, for it is determined that this round needs that tests to set
Its desired output is set after standby or action；
Operational factor forces module, is connected respectively with goal systems and the operational factor choosing value module, for by described in
The operational parameter value of operational factor choosing value module generation inputs the goal systems；
Data record and analysis module, it is connected respectively with the desired output module and goal systems, in each round
The desired output of the transmission of reality output and the desired output module of the secondary middle collection goal systems after parameter injection, and
The reality output and desired output are contrasted, analyze its consistency and correctness, it is self-defined to count and export more rounds
Test result.
Preferably, in addition to system recovery module, the system recovery module force module to be connected with the operational factor,
For preserving all parameter states of nominal situation, and it is used for after each test execution, to all parameters of the goal systems
Force revert is carried out, goal systems is returned into nominal situation, in order to the execution of next one test.
Preferably, the operational factor choosing value module uses the method in signal value section random value to parameter testing model
Enclose and covered, detailed process is：After the trigger port selecting module selectes trigger port, signal parameter corresponding to passage
Random value will be carried out in trigger value or normal value section, wherein signal parameter corresponding to selected passage, in trigger value section
Random value is carried out, signal parameter corresponding to unselected routing, random value is carried out in normal value section.
Present invention also offers a kind of nuclear power plant's Digital Reactor Protection System method for testing software, including following step
Suddenly：
S1, by calculate in step S2 multiple branching steps carry out probability assignments, determine this round selection branch
Step；
S2, selection measurement condition, trigger condition and TCH test channel, and each round is generated according to the parameter section of corresponding operation
The desired value and operational parameter value of secondary test；
S3, the desired value and operational parameter value to each round carry out analysis contrast, and self-defined statistics simultaneously exports
The test result of each round.
Preferably, the step S1 includes：
S11, in test starting, the probability and algorithm of the branching step in the step S2 are allocated and determined；
S12, the probability according to step S11 distribution and algorithm are calculated, and confirm the branch of the secondary selection of epicycle.
Preferably, the step S2 includes：
S21, this round is selected to need the operating mode tested in default nuclear power plant's operating mode；
In S22, a variety of protection equipments under the operating mode of selection or action, this round is selected to need the equipment or dynamic tested
Make；
S23, this round is selected to need the trigger condition tested in default trigger condition under the operating mode of the selection；
S24, the trigger port for selecting in the redundant channel of the trigger condition of selection this round to test；
S25, it is determined that in the corresponding operational factor section of measurement condition, trigger condition and TCH test channel, with certain probability
Algorithm is selected, the operational parameter value of generation epicycle test.
Preferably, the step S3 includes：
S31, its desired output is set after the equipment or action that this round needs that the step S22 is determined are tested；
S32, after the step S25 generating run parameters, the operational parameter value of epicycle time generation is inputted into the target
System；
S33, reality output and desired output of the goal systems after parameter injection are gathered in each round, and by institute
State reality output and desired output is contrasted, analyze its consistency and correctness, it is self-defined to count and export each round
Test result.
Preferably, in addition to step：
S4, after each test execution, to all parameters of the goal systems carry out force revert, goal systems is recovered
To nominal situation, in order to the execution of next one test, restart to carry out step S1.
Preferably, the method in signal value section random value is used to carry out parameter testing scope in the step S25
Covering, detailed process are：After selected trigger port, signal parameter corresponding to passage will enter in trigger value or normal value section
Row random value, wherein signal parameter corresponding to selected passage, random value is carried out in trigger value section, unselected routing is corresponding
Signal parameter, normal value section carry out random value.
One or more technical schemes that the present invention program provides, have at least the following technical effects or advantages：Make nuclear power
The condition of the various trigger protection actions of factory is randomly generated by certain probability, is realized to nuclear power plant's parameter running status and all kinds of protections
The simulation of the probability occurred and its distribution is acted, fully excavates software reliability issue, is that (and other are same for nuclear power plant's software systems
The system that class possesses Operation Profile characteristic) functional test, reliability assessment provide technical support；Realize to multi-level logic road
Footpath is randomly choosed and combined, and is automatically generated and is corresponded to from " operational factor " to the test case of " operating condition ", makes in test
Stochastic behaviour of the generation with Operation Profile of appearance, the test path of complex software is covered comprehensively；Realize parameter to interval
Abundant covering；Realize automation generation, test and the interpretation of result of test case.
Brief description of the drawings
Technical scheme in order to illustrate the embodiments of the present invention more clearly, make required in being described below to embodiment
Accompanying drawing is briefly described, it should be apparent that, drawings in the following description are only some embodiments of the present invention, for
For those of ordinary skill in the art, on the premise of not paying creative work, other can also be obtained according to these accompanying drawings
Accompanying drawing.
Fig. 1 is nuclear power plant's Digital Reactor Protection System software testing system structure that first embodiment of the invention provides
Figure；
Fig. 2 is the choosing value principle schematic of signal parameter choosing value module in Fig. 1；
Fig. 3 is the probability assignments and branching selection principle schematic of two level probability assignments module in Fig. 1；
Fig. 4 is nuclear power plant's Digital Reactor Protection System method for testing software flow that second embodiment of the invention provides
Figure；
Fig. 5 is nuclear power plant's Digital Reactor Protection System method for testing software flow that third embodiment of the invention provides
Figure.
Embodiment
The embodiment of the present invention by providing a kind of nuclear power plant's Digital Reactor Protection System software testing system and method,
Solve that parameter value coverage rate present in prior art is low, test path is single, Test cases technology efficiency and reusability
The problem of low and test automation limitation, the condition of the various trigger protection actions of nuclear power plant is set to be produced at random by certain probability
It is raw, randomly choosed and combined according to multi-level logical path of the probability assignments between operational factor and protection act, from
The dynamic protection act courses of action for forming nuclear power plant's reactor protection system, i.e. test path, generation are corresponding from " operational factor "
To the test case of " operating condition ", make stochastic behaviour of the generation with Operation Profile of test content, and pass through operational factor
Generation module, the span of parameter is covered comprehensively, realize abundant simulation of the test environment to nuclear power plant's running status.
In order to be better understood from technical solution of the present invention, below in conjunction with Figure of description and embodiment to upper
State technical scheme to be described in detail, it should be understood that the specific features in the embodiment of the present invention and embodiment are to the application
The detailed description of technical scheme, rather than the restriction to technical scheme, in the case where not conflicting, the present invention is implemented
Technical characteristic in example and embodiment can be mutually combined.
Embodiment one
As shown in figure 1, nuclear power plant's Digital Reactor Protection System software testing system provided by the invention, including:Generally
Rate allocation component 1, the probability carried out for multiple selecting modules by calculating to parameter formation component 2 are allocated, are used in combination
Probability assignments are carried out in the branching selection of the next step to each selecting module；；Parameter formation component 2, including multiple choosings
Select module and be connected respectively with the part probability assignments component 1, in each round according to the probability assignments component 1
Distribution, select measurement condition, test equipment, trigger condition, TCH test channel and input parameter, and according to the test of corresponding operation
Equipment generates the desired value of each round test；Components of data analysis 3, it is connected with the parameter formation component 2, for each
The desired value and operational parameter value of round carry out analysis contrast, self-defined to count and export the test result of more rounds.
Specifically, probability assignments component 1 includes：One-level probability assignments module 11, multiple selections with parameter formation component 2
Module connects respectively, in test starting, entering to the branch probabilities and algorithm of multiple selecting modules of parameter formation component 2
Row distribution and determination；Multiple two level probability assignments modules 12, it is distributed in multiple selecting modules in the parameter formation component 2
And it is connected with the one-level probability assignments module 11, for the probability and algorithm according to the distribution of one-level probability assignments module 11
Calculated, confirm the branch of the secondary selection of epicycle.Make the condition of the various trigger protection actions of nuclear power plant random by certain probability
Produce, realize the simulation to the probability and its distribution of nuclear power plant's parameter running status and the generation of all kinds of protection acts, fully excavate
Software reliability issue, be nuclear power plant's software systems (and other similar systems for possessing Operation Profile characteristic) functional test,
Reliability assessment provides technical support.
In the present embodiment, the multiple selecting module of parameter formation component 2 includes：Measurement condition selecting module 21,
The operating mode tested for selecting this round to need in default nuclear power plant's operating mode；Test equipment selecting module 22, with the survey
Trial work condition selecting module 21 connects, for a variety of protection equipments under the operating mode that is selected in the measurement condition selecting module 21 or
In action, this round is selected to need equipment or the action tested；Trigger condition selecting module 23, mould is selected with the test equipment
Block 22 connects, the trigger condition tested for selecting this round to need in the default trigger condition under the operating mode of the selection；
Trigger port selecting module 24, it is connected with the trigger condition selecting module 23, in the trigger condition selecting module 23
The trigger port for selecting this round to test in the redundant channel of the trigger condition of selection；Operational factor choosing value module 25, it is and described
Triggering selection component 24 connects, for it is determined that in the corresponding operational factor section of measurement condition, trigger condition and TCH test channel,
Selected with certain probabilistic algorithm, the operational parameter value of generation epicycle test.
With reference to shown in Fig. 2, operational factor choosing value module 25 is surveyed using the method in signal value section random value to parameter
Examination scope is covered, and detailed process is：After the trigger port selecting module 24 selectes trigger port, believe corresponding to passage
Number parameter will carry out random value in trigger value or normal value section, wherein signal parameter corresponding to selected passage, is being triggered
It is worth section and carries out random value, signal parameter corresponding to unselected routing, random value is carried out in normal value section.Such as Fig. 2
In, if having selected trigger port is I, signal parameter corresponding to passage will trigger value section [v1, v2) and normal value section
[v2, v3) between selected, have selected signal parameter A corresponding to passage I will trigger value section [v1, v2) between selected
Select, signal parameter A corresponding to unselected routing I will normal value section [v2, v3) between selected, other passages are equally such as
This.Realization is randomly choosed and combined to multi-level logical path, is automatically generated corresponding from " operational factor " to " operation work
The test case of condition ", make stochastic behaviour of the generation with Operation Profile of test content, cover the test road of complex software comprehensively
Footpath.
With reference to shown in Fig. 3, in the present embodiment, using measurement condition selecting module 21 as up-stream module, test equipment choosing
Select module 22 and be used as current block, trigger condition selecting module 23 is used as downstream module, and it is general to contain two level in each selecting module
Rate distribute module 12.In measurement condition selecting module 21, two level probability assignments module 12 is by one-level probability assignments module 11
Determine probabilistic algorithm (a) and branch " operating mode 1 ", " operating mode 2 ", " operating mode 3 " respectively corresponding to probability " a% " " b% " " c% ",
Similarly, the two level probability assignments module 12 in test equipment selecting module 22, trigger condition selecting module 23 also has determined that generally
Rate algorithm and allocation probability.After test starts, the two level probability assignments module in each selecting module is calculated according to algorithm, is obtained
Go out the branching selection of this round, prerequisite is used as according to the branching selection result (operating mode 2) of test selecting module 21, test is set
Alternative module is then selected in equipment corresponding to operating mode 2, branch outcome (equipment 5) conduct selected according to result of calculation
Prerequisite, trigger condition selecting module are then selected in trigger condition corresponding to equipment 5, and this is obtained according to result of calculation
The trigger condition of round, the rest may be inferred for subsequently selected module.
With reference to shown in Fig. 1, components of data analysis 3 includes：Desired output module 31, with the test equipment selecting module 22
Connection, for it is determined that this round needs the equipment tested or sets its desired output after action；Operational factor forces module 32,
It is connected respectively with goal systems and the operational factor choosing value module 25, for generate the operational factor choosing value module 25
Operational parameter value inputs the goal systems；Data record and analysis module 33, respectively with the desired output module 31 and mesh
Mark system connects, for gathering reality output and the desired output of the goal systems after parameter injection in each round
The desired output of the transmission of module 31, and the reality output and desired output are contrasted, analysis its consistency and correct
Property, it is self-defined to count and export the test result of more rounds.
Because system needs to carry out the test of more wheels, therefore, Digital Reactor Protection System software test system of nuclear power plant
System also includes system recovery module 4, and the system recovery module 4 forces module 32 to be connected with the operational factor, for preserving
All parameter states of nominal situation, and for after each test execution, being forced to all parameters of the goal systems
Recover, goal systems is returned into nominal situation, in order to the execution of next one test, realize the automatic metaplasia of test case
Into, test and interpretation of result.
Embodiment two
As shown in figure 4, the embodiment of the present invention two provides a kind of nuclear power plant's Digital Reactor Protection System software test
Method, comprise the following steps：
S1, by calculate in step S2 multiple branching steps carry out probability assignments, determine this round selection branch
Step；
S2, selection measurement condition, trigger condition and TCH test channel, and each round is generated according to the parameter section of corresponding operation
The desired value and operational parameter value of secondary test；
S3, the desired value and operational parameter value to each round carry out analysis contrast, and self-defined statistics simultaneously exports
The test result of each round.
Embodiment three
As shown in figure 5, the step S1 includes：
S11, in test starting, the branch probabilities in the step S2 and algorithm are allocated and determined, it is specific really
Determine the probabilistic algorithm and branch probabilities (%) of the branching step in step S2.
S12, the probability according to step S11 distribution and algorithm are calculated, and confirm the branch of the secondary selection of epicycle.
Specifically, the step S2 includes：
S21, this round is selected to need the operating mode tested in default nuclear power plant's operating mode；
In S22, a variety of protection equipments under the operating mode of selection or action, this round is selected to need the equipment or dynamic tested
Make；
S23, this round is selected to need the trigger condition tested in default trigger condition under the operating mode of the selection；
S24, the trigger port for selecting in the redundant channel of the trigger condition of selection this round to test；
S25, it is determined that in the corresponding operational factor section of measurement condition, trigger condition and TCH test channel, with certain probability
Algorithm is selected, the operational parameter value of generation epicycle test.
The method in signal value section random value is used to carry out parameter testing scope with reference to shown in Fig. 2, in step S25
Covering, detailed process are：After step S24 selectes trigger port, signal parameter corresponding to passage will be in trigger value or normal value
Random value is carried out in section, wherein signal parameter corresponding to selected passage, random value is carried out in trigger value section, it is unselected
Signal parameter corresponding to passage, random value is carried out in normal value section.Such as in Fig. 2, if having selected trigger port is I,
Signal parameter corresponding to passage will trigger value section [v1, v2) and normal value section [v2, v3) between selected, have selected
Signal parameter A corresponding to passage I will trigger value section [v1, v2) between selected, corresponding to unselected routing I signal join
Number A will normal value section [v2, v3) between selected, other passages are same.Realization is entered to multi-level logical path
Row random selection and combination, automatically generate and correspond to from " operational factor " to the test case of " operating condition ", make test content
The stochastic behaviour with Operation Profile occurs, covers the test path of complex software comprehensively.
Specifically, step S3 includes：
S31, its desired output is set after the equipment or action that this round needs that the step S22 is determined are tested；
S32, after the step S25 generating run parameters, the operational parameter value of epicycle time generation is inputted into the target
System；
S33, reality output and desired output of the goal systems after parameter injection are gathered in each round, and by institute
State reality output and desired output is contrasted, analyze its consistency and correctness, it is self-defined to count and export each round
Test result.
Because system needs to carry out the test of more wheels, therefore, Digital Reactor Protection System software test side of nuclear power plant
Method also includes step：
S4, after each test execution, to all parameters of the goal systems carry out force revert, goal systems is recovered
To nominal situation, in order to the execution of next one test, restart to carry out step S1.Realize the automatic metaplasia of test case
Into, test and interpretation of result.
In summary, application scheme at least has following advantageous effects relative to prior art：
1) condition of the various trigger protection actions of nuclear power plant is randomly generated by certain probability, realize to nuclear power plant's parameter fortune
The probability and its simulation of distribution that row state and all kinds of protection acts occur, fully excavate software reliability issue, are nuclear power plant
The functional test of software systems (and other similar systems for possessing Operation Profile characteristic), reliability assessment provide technical support；
2) realize and multi-level logical path randomly choosed and combined, automatically generate it is corresponding from " operational factor " to
The test case of " operating condition ", make stochastic behaviour of the generation with Operation Profile of test content, cover complex software comprehensively
Test path；
3) abundant covering of the parameter to interval is realized；
4) automation generation, test and the interpretation of result of test case are realized.
As described above, above-mentioned nuclear power plant's Digital Reactor Protection System software testing system is above-mentioned for implementing
Nuclear power plant's Digital Reactor Protection System method for testing software, so, the embodiment of the system and the one of the above method
Or multiple embodiments are identical, will not be repeated here.
The above disclosed power for being only a kind of preferred embodiment of the present invention, the present invention can not being limited with this certainly
Sharp scope, one of ordinary skill in the art will appreciate that realizing all or part of flow of above-described embodiment, and weighed according to the present invention
Profit requires made equivalent variations, still falls within and invents covered scope.
Claims (12)
- A kind of 1. nuclear power plant's Digital Reactor Protection System software testing system, it is characterised in that including:Probability assignments component (1), the probability carried out for multiple selecting modules by calculating to parameter formation component (2) are carried out Distribution, and carry out probability assignments for the branching selection of the next step to each selecting module；The parameter formation component (2), including multiple selecting modules and probability assignments component (1) described with part is connected respectively, for the basis in each round The distribution of the probability assignments component (1), measurement condition, trigger condition and TCH test channel are selected, and according to the ginseng of corresponding operation Number interval generates the desired value and operational parameter value of each round test；Components of data analysis (3), be connected with the parameter formation component (2), for the desired value to each round and Operational parameter value carries out analysis contrast, and exports the test result of more rounds.
- 2. nuclear power plant's Digital Reactor Protection System software testing system according to claim 1, it is characterised in that institute Stating probability assignments component (1) includes：One-level probability assignments module (11), it is connected respectively with multiple selecting modules of the parameter formation component (2), for surveying The branch probabilities value and probabilistic algorithm of multiple selecting modules of each parameter formation component (2) are determined during experimental starting；Multiple two level probability assignments modules (12), it is distributed in the multiple selecting module in the parameter formation component (2) And it is connected with the one-level probability assignments module (11), the algorithm distributed for basis and probable value voluntarily computing, Determine that each round tests next branch of selection.
- 3. nuclear power plant's Digital Reactor Protection System software testing system according to claim 2, it is characterised in that institute Stating the multiple selecting module of parameter formation component (2) includes：Measurement condition selecting module (21), the operating mode tested for selecting this round to need in default nuclear power plant's operating mode；Test equipment selecting module (22), it is connected with the measurement condition selecting module (21), for being selected in the measurement condition Select in a variety of protection equipments or the action under the operating mode of module (21) selection, select this round to need equipment or the action tested；Trigger condition selecting module (23), it is connected with the test equipment selecting module (22), for the operating mode in the selection Under select in default trigger condition this round to need the trigger condition tested；Trigger port selecting module (24), it is connected with the trigger condition selecting module (23), for being selected in the trigger condition Select the trigger port for selecting this round to test in the redundant channel of the trigger condition of module (23) selection；Operational factor choosing value module (25), it is connected with the triggering selection component (24), for it is determined that measurement condition, triggering bar In the corresponding operational factor section of part and TCH test channel, selected with certain probabilistic algorithm, the operation ginseng of generation epicycle test Numerical value.
- 4. nuclear power plant's Digital Reactor Protection System software testing system according to claim 3, it is characterised in that institute Stating components of data analysis (3) includes：Desired output module (31), it is connected with the test equipment selecting module (22), for it is determined that this round needs to test Equipment or action after its desired output is set；Operational factor forces module (32), is connected respectively with goal systems and the operational factor choosing value module (25), for inciting somebody to action The operational parameter value of operational factor choosing value module (25) generation inputs the goal systems；Data record and analysis module (33), it is connected respectively with the desired output module (31) and goal systems, for every The phase of the transmission of reality output and the desired output module (31) of the goal systems after parameter injection is gathered in one round Output is hoped, and the reality output and desired output are contrasted, analyzes its consistency and correctness, it is self-defined to count and lead Go out the test result of more rounds.
- 5. nuclear power plant's Digital Reactor Protection System software testing system according to claim 4, it is characterised in that also Including system recovery module (4), the system recovery module (4) forces module (32) to be connected with the operational factor, for protecting All parameter states of nominal situation are deposited, and for after each test execution, being carried out to all parameters of the goal systems strong System is recovered, and goal systems is returned into nominal situation, in order to the execution of next one test.
- 6. nuclear power plant's Digital Reactor Protection System software testing system according to claim 5, it is characterised in that institute State operational factor choosing value module (25) to cover parameter testing scope using the method in signal value section random value, have Body process is：After the trigger port selecting module (24) selectes trigger port, signal parameter corresponding to passage will trigger Random value is carried out in value or normal value section, wherein signal parameter corresponding to selected passage, is carried out random in trigger value section Value, signal parameter corresponding to unselected routing, random value is carried out in normal value section.
- 7. a kind of nuclear power plant's Digital Reactor Protection System method for testing software, it is characterised in that comprise the following steps：S1, by calculate in step S2 multiple branching steps carry out probability assignments, determine this round selection branching step；S2, selection measurement condition, trigger condition and TCH test channel, and each round is generated according to the parameter section of corresponding operation and surveyed The desired value and operational parameter value of examination；S3, the desired value and operational parameter value to each round carry out analysis contrast, self-defined to count and export each The test result of round.
- 8. nuclear power plant's Digital Reactor Protection System method for testing software according to claim 7, it is characterised in that institute Stating step S1 includes：S11, in test starting, the probability and algorithm of the branching step in the step S2 are allocated and determined；S12, the probability according to step S11 distribution and algorithm are calculated, and confirm the branch of the secondary selection of epicycle.
- 9. nuclear power plant's Digital Reactor Protection System method for testing software according to claim 8, it is characterised in that institute Stating step S2 includes：S21, this round is selected to need the operating mode tested in default nuclear power plant's operating mode；In S22, a variety of protection equipments under the operating mode of selection or action, this round is selected to need equipment or the action tested；S23, this round is selected to need the trigger condition tested in default trigger condition under the operating mode of the selection；S24, the trigger port for selecting in the redundant channel of the trigger condition of selection this round to test；S25, it is determined that in the corresponding operational factor section of measurement condition, trigger condition and TCH test channel, with certain probabilistic algorithm Selected, the operational parameter value of generation epicycle test.
- 10. nuclear power plant's Digital Reactor Protection System method for testing software according to claim 9, it is characterised in that The step S3 includes：S31, its desired output is set after the equipment or action that this round needs that the step S22 is determined are tested；S32, after the step S25 generating run parameters, the operational parameter value of epicycle time generation is inputted into the goal systems；S33, reality output and desired output of the goal systems after parameter injection are gathered in each round, and by the reality Border is exported and desired output is contrasted, and analyzes its consistency and correctness, self-defined to count and export the test of each round As a result.
- 11. nuclear power plant's Digital Reactor Protection System method for testing software according to claim 10, it is characterised in that Also include step：S4, after each test execution, to all parameters of the goal systems carry out force revert, goal systems is returned to just Normal operating mode, in order to the execution of next one test, restart to carry out step S1.
- 12. nuclear power plant's Digital Reactor Protection System method for testing software according to claim 11, it is characterised in that The method in signal value section random value is used to cover parameter testing scope in the step S25, detailed process is： After selected trigger port, signal parameter corresponding to passage will carry out random value in trigger value or normal value section, wherein Signal parameter corresponding to selected passage, random value, signal parameter corresponding to unselected routing, just are carried out in trigger value section Constant value section carries out random value.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201710597261.XA CN107480051B (en) | 2017-07-20 | 2017-07-20 | Software testing system and method for digital reactor protection system of nuclear power plant |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201710597261.XA CN107480051B (en) | 2017-07-20 | 2017-07-20 | Software testing system and method for digital reactor protection system of nuclear power plant |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN107480051A true CN107480051A (en) | 2017-12-15 |
| CN107480051B CN107480051B (en) | 2020-07-17 |
Family
ID=60595163
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201710597261.XA Active CN107480051B (en) | 2017-07-20 | 2017-07-20 | Software testing system and method for digital reactor protection system of nuclear power plant |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN107480051B (en) |
Cited By (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN108281205A (en) * | 2018-01-17 | 2018-07-13 | 上海核工程研究设计院有限公司 | A kind of reactor protection system function logic joint verification method |
| CN108766602A (en) * | 2018-06-04 | 2018-11-06 | 中广核核电运营有限公司 | Nuclear power plant's reactor protection system Channel Test method |
| CN113448868A (en) * | 2021-07-16 | 2021-09-28 | 网易（杭州）网络有限公司 | Game software compatibility testing method, device, equipment and medium |
| CN115113913A (en) * | 2021-03-19 | 2022-09-27 | 本田技研工业株式会社 | Update management server, update management method, and computer-readable storage medium |
Citations (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US6651187B2 (en) * | 2001-12-31 | 2003-11-18 | Globespanvirata Inc. | System and method for determining fault path behavior |
| CN103198015A (en) * | 2013-03-21 | 2013-07-10 | 中国人民解放军国防科学技术大学 | Embedded software reliability test data generating method based on using probability |
| CN104240781A (en) * | 2013-11-07 | 2014-12-24 | 中广核工程有限公司 | Signal distribution method and signal distribution system of digital instrument control system (DCS) of nuclear power plant |
| CN106547695A (en) * | 2016-10-26 | 2017-03-29 | 中广核工程有限公司 | A kind of test system and method for scale software |
-
2017
- 2017-07-20 CN CN201710597261.XA patent/CN107480051B/en active Active
Patent Citations (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US6651187B2 (en) * | 2001-12-31 | 2003-11-18 | Globespanvirata Inc. | System and method for determining fault path behavior |
| CN103198015A (en) * | 2013-03-21 | 2013-07-10 | 中国人民解放军国防科学技术大学 | Embedded software reliability test data generating method based on using probability |
| CN104240781A (en) * | 2013-11-07 | 2014-12-24 | 中广核工程有限公司 | Signal distribution method and signal distribution system of digital instrument control system (DCS) of nuclear power plant |
| CN106547695A (en) * | 2016-10-26 | 2017-03-29 | 中广核工程有限公司 | A kind of test system and method for scale software |
Cited By (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN108281205A (en) * | 2018-01-17 | 2018-07-13 | 上海核工程研究设计院有限公司 | A kind of reactor protection system function logic joint verification method |
| CN108766602A (en) * | 2018-06-04 | 2018-11-06 | 中广核核电运营有限公司 | Nuclear power plant's reactor protection system Channel Test method |
| CN115113913A (en) * | 2021-03-19 | 2022-09-27 | 本田技研工业株式会社 | Update management server, update management method, and computer-readable storage medium |
| CN113448868A (en) * | 2021-07-16 | 2021-09-28 | 网易（杭州）网络有限公司 | Game software compatibility testing method, device, equipment and medium |
| CN113448868B (en) * | 2021-07-16 | 2022-11-01 | 网易（杭州）网络有限公司 | Game software compatibility testing method, device, equipment and medium |
Also Published As
| Publication number | Publication date |
|---|---|
| CN107480051B (en) | 2020-07-17 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN107480051A (en) | A kind of nuclear power plant's Digital Reactor Protection System software testing system and method | |
| CN101984416B (en) | Method and device for generating test case | |
| Authen et al. | Reliability analysis of digital systems in a probabilistic risk analysis for nuclear power plants | |
| CN100507925C (en) | Esd test array and corresponding method | |
| CN107271822B (en) | Method and device for verifying protection constant value | |
| Amendola | Accident sequence dynamic simulation versus event trees | |
| CN111915865A (en) | Coal mine composite geological disaster early warning method based on mining seismic source parameters | |
| CN101715203A (en) | Method and device for automatically positioning fault points | |
| CN109858097A (en) | A kind of spacecraft single machine test assessment methods of sampling | |
| Karanki et al. | Quantification of dynamic event trees–a comparison with event trees for MLOCA scenario | |
| Mandelli et al. | Linking classical PRA models to a dynamic PRA | |
| CN106786573A (en) | Power network side-by-side cross-section asynchronous oscillation method of discrimination based on multi-measuring point comprehensive criterion | |
| CN110377958A (en) | Microgrid group/virtual power supply group power information physical simulation system and method | |
| CN107423219B (en) | A kind of construction method of the software fault prediction technology based on static analysis | |
| CN107846307B (en) | Control method for information physical system fault propagation | |
| Niemi et al. | Modeling offshore wind farm disturbances and maintenance service responses within the scope of resilience | |
| Gil et al. | A code for simulation of human failure events in nuclear power plants: SIMPROC | |
| CN113408132A (en) | Reliability evaluation method for regional autonomous power grid considering stochastic fault scene | |
| CN105677952A (en) | Transmission line fault probability evaluation method taking regard of indeterminate instability position | |
| CN114552774B (en) | Power grid real-time running state monitoring method considering safety and adequacy | |
| CN113722209A (en) | Method and system for testing flexible strategy configuration stability control system | |
| KR102228054B1 (en) | Dynamic software verification test device and method for cea processor of core protection system | |
| CN107957949B (en) | Test method and system for reactor protection system of nuclear power plant | |
| Tyrväinen et al. | A methodology for preliminary probabilistic multi-unit risk assessment | |
| Khodadadeh | Designing a Software Platform for Evaluating Cyber-Attacks on The Electric PowerGrid |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| GR01 | Patent grant | ||
| GR01 | Patent grant |