CN102567187B - A kind of method utilizing C++test to perform SCADE tested object - Google Patents
A kind of method utilizing C++test to perform SCADE tested object Download PDFInfo
- Publication number
- CN102567187B CN102567187B CN201010579999.1A CN201010579999A CN102567187B CN 102567187 B CN102567187 B CN 102567187B CN 201010579999 A CN201010579999 A CN 201010579999A CN 102567187 B CN102567187 B CN 102567187B
- Authority
- CN
- China
- Prior art keywords
- test
- scade
- workbench
- tested object
- intermediate file
- 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.)
- Active
Links
Abstract
The present invention relates to a kind of method utilizing C++test to perform SCADE tested object, relate to nuclear power station control field, comprise: generate tested object, under Workbench environment, C++Test is installed and the running environment of configuration testing object, tested object is called in C++Test and perform compilation script and generating test use case, pitching pile operation is carried out to test case and generates test intermediate file, test intermediate file is called in the simulated program in Workbench and run, obtain the test result under C++Test manipulation.This programme with Workbench for running basis, plug-in mounting C++test carrys out the tested object for the treatment of S CADE, achieve the coding criterion utilizing oneself to customize and static analysis is carried out to the engineering of SCADE, dynamic trace debug can be carried out to engineering simultaneously and generate coverage rate statistics, reaching the object of the engineering of checking SCADE.
Description
Technical field
The present invention relates to nuclear power station control field, be specifically related to a kind of method that C++test of utilization realizes SCADE emulation testing in Workbench.
Background technology
In the application of current nuclear power station, usually need according to different customer requirements, install or increase some new equipment, these equipment need to use corresponding software, this type of software is all write under corresponding engineering software environment, needs first to test after software completes, and whether can drive relevant device to verify or whether reach driving requirement, but this type of actual motion environment compares and is difficult to realize, therefore just the method for emulation is adopted to verify the correctness with testing software.
SCADE is the abbreviation of English Safety-CriticalApplicationDevelopmentEnvironment, it is the Application development environ-ment of a high security, and function to comprise in embedded software developing from demand to the whole flow process of embedded code: Requirements Modeling, pattern checking, analog simulation, formal verification, embedded Code automatic build and document generate etc. automatically.But use the coding criterion oneself write to carry out static analysis in the engineering that the good instrument of nuclear power industry neither one directly generates SCADE and carry out automation cell test, limiting greatly the range of application of SCADE, also constrain the development of nuclear power station.
Summary of the invention
For solve SCADE nuclear power station application on limitation and simulation process time function restricted problem, the present invention propose a kind of Workbench of utilization, C++test combination to run the tested object of SCADE, thus the technical scheme of SCADE Multi-function extension is realized in nuclear power field, concrete scheme is as follows: a kind of method utilizing C++test to perform SCADE tested object, step 1, utilize SCADE generate tested object, it is characterized in that, comprise the steps:
Step 2, under Workbench environment, C++Test is installed;
Step 3, in C++Test the running environment of configuration testing object;
Step 4, tested object called in C++Test perform compilation script and generating test use case;
Step 5, pitching pile operation is carried out to test case and generates test intermediate file;
Step 6, call in Workbench by test intermediate file simulated program in run;
Step 7, obtain C++Test manipulation under test result.
Another preferred version of the present invention: described step 4 comprises and utilizes C++Test to carry out the step of static analysis to tested object.
This programme with Workbench for running basis, plug-in mounting C++test carrys out the tested object for the treatment of S CADE, thus make the control of simulated program by C++test of Workbench, achieve the coding criterion utilizing oneself to customize and static analysis is carried out to the engineering of SCADE, dynamic trace debug can be carried out to engineering simultaneously and generate coverage rate statistics, reach the object of the engineering of checking SCADE, make the engineering of SCADE perfectly be applied in nuclear power field.
Accompanying drawing explanation
Fig. 1 execution step of the present invention schematic block diagram.
Embodiment
SCADE, Workbench and C++test tri-software modules are installed in a computer, the tested object that wherein SCADE uses as engineering side generates software, for generating the various running programs that user needs, these running programs are referred to as tested object before testing.C++test is arranged in Workbench as a plug-in unit of Workbench, and Workbench just forms the running environment of testing tested object.C++test is as a C++test executive routine based on Workbench running environment, be used for compiling the tested object write with SCADE of calling in Workbench running environment, pitching pile and operation, the simulation process of the simulation software in Workbench running environment is monitored and Output simulation result simultaneously.
As shown in Figure 1, the course of work of this programme is as follows:
101, SCADE is utilized to generate tested object;
The SCADE be arranged in computing machine is utilized to generate the running program of user's needs as tested object.102, under Workbench environment, C++Test is installed;
Pacify position Workbench on computers, plug-in mounting C++test testing software in Workbench.
103, the running environment of configuration testing object in C++Test;
Due to C++Test will be used to perform tested object, therefore run in module at Workbench and build the working environment that is run SCADE.
104, tested object is called in C++Test perform compilation script and generating test use case;
In the environment configured, tested object is called in C++Test and also perform with generating test use case, and in the process static analysis is carried out to tested object.In the process of generating test use case, also need to carry out alternately with SCADE, the SCADE environment configurations data needed with read test use-case.
105, pitching pile operation carried out to test case and generate test intermediate file;
Utilize C++test to carry out pitching pile to the test case generated, namely test point is set, compiling is carried out to the test case after pitching pile and generates test intermediate file.
106, test intermediate file is called in the simulated program in Workbench and run;
The test intermediate file that C++Test generates by Workbench is called in Windiss simulated program and is run, the kernelproject operating system that simulated program imports Workbench in simulation process is used as the executive system of testing intermediate file, carry out alternately, finally generating test result with SCADE simultaneously.
107, the test result under C++Test manipulation is obtained;
In the operational process of windiss simulated program, utilize C++test execution module to show and follow the tracks of the operational process of simulated program, exporting the emulated data of needs at any time.
Wherein C++test is when operating tested object, need to write self-defining testing process script, write environment configurations and script example is as follows: the algorithm application generated due to SCADE is under operating system, test this project, therefore 4 processes to be had to complete this action, i.e. compilation process, loading procedure, with implementation and coverage rate result upload procedure, master is stated Four processes and merges into two processes by this programme, that is: BuildVxWorksTestModule-DKM (PassFS) process and LoadandRunVxWorksTestObject (DKM) process, a rear process contains coverage rate result upload procedure.
The script of configuration ScadeProject_BuildVxWorksTestModule-DKM (PassFS) is as follows:
<TestExecutionModeHint>UnitTesting</TestExecutionModeHint>
<RunnableExecution>
</RunnableExecution>
<RunnableExecution>
<SetProperty
key=″stub_config_file″value=″${cpptest:testware_loc}/stubconfig.xml″/>
<SetProperty
key=″stub_config_header_file″value=″${cpptest:testware_loc}/cpptest_stubconfig.h″/>
<TestCaseFindingStep
testSuiteConfigFile=″${cpptest:testware_loc}/testsuites.xml″
allowNoTestCasesRun=″true″/>
</FinalizeExecution>
</FlowRecipeTemplate>
Loading procedure and implementation and coverage rate result upload procedure script
The script of ScadeProject_LoadandRunVxWorksTestObject (DKM)-WithoutunloadScript is as follows:
<--determines that newly-built object name equals vxsim0>
value=″vxsim0″
uiEditable=″true″
displayName=″Targetconnection(TargetServer)name″/>。
Claims (1)
1. utilize C++test to perform a method for SCADE tested object, for the emulation testing in nuclear power station control field, step 1, utilize SCADE to generate tested object, it is characterized in that, comprise the steps:
Step 2, under Workbench environment, C++Test is installed;
Step 3, in C++Test the running environment of configuration testing object;
Wherein, the working environment building an operation SCADE is run in module at the Workbench being provided with C++Test;
Step 4, tested object called in C++Test perform compilation script and generating test use case;
Wherein, this step also comprises and utilizes C++Test to carry out static analysis to tested object, in the process of generating test use case, also needs to carry out alternately with SCADE, the SCADE environment configurations data needed with read test use-case;
Step 5, pitching pile operation is carried out to test case and generates test intermediate file;
Step 6, call in Workbench by test intermediate file simulated program in run;
Wherein, the test intermediate file that C++Test generates by Workbench is called in Windiss simulated program and is run, the kernelproject operating system that simulated program imports Workbench in simulation process is used as the executive system of testing intermediate file, carries out alternately with SCADE simultaneously;
Step 7, obtain C++Test manipulation under test result;
Wherein, in windiss simulated program operational process, utilize C++test execution module to show and follow the tracks of the operational process of simulated program, exporting the emulated data of needs at any time, carrying out alternately, finally generating test result with SCADE simultaneously.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201010579999.1A CN102567187B (en) | 2010-12-07 | 2010-12-07 | A kind of method utilizing C++test to perform SCADE tested object |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201010579999.1A CN102567187B (en) | 2010-12-07 | 2010-12-07 | A kind of method utilizing C++test to perform SCADE tested object |
Publications (2)
Publication Number | Publication Date |
---|---|
CN102567187A CN102567187A (en) | 2012-07-11 |
CN102567187B true CN102567187B (en) | 2016-01-13 |
Family
ID=46412655
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201010579999.1A Active CN102567187B (en) | 2010-12-07 | 2010-12-07 | A kind of method utilizing C++test to perform SCADE tested object |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN102567187B (en) |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN104484270A (en) * | 2014-12-05 | 2015-04-01 | 中国航空工业集团公司第六三一研究所 | Method for verifying airborne embedded operating system software |
CN104699605B (en) * | 2015-03-02 | 2017-11-17 | 清华大学 | The code coverage measuring method and device of a kind of driver |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101212759A (en) * | 2006-12-26 | 2008-07-02 | 中兴通讯股份有限公司 | Integrated mobile telephone software test method |
CN101521899A (en) * | 2009-03-31 | 2009-09-02 | 大连海事大学 | System and method for on-computer test of mobile applications |
Family Cites Families (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN201212759Y (en) * | 2008-05-15 | 2009-03-25 | 海信(山东)空调有限公司 | Multifunctional coolant storage tank and air conditioner outdoor machine mounted with the liquid storage tank |
-
2010
- 2010-12-07 CN CN201010579999.1A patent/CN102567187B/en active Active
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101212759A (en) * | 2006-12-26 | 2008-07-02 | 中兴通讯股份有限公司 | Integrated mobile telephone software test method |
CN101521899A (en) * | 2009-03-31 | 2009-09-02 | 大连海事大学 | System and method for on-computer test of mobile applications |
Non-Patent Citations (3)
Title |
---|
三余度信号表决系统在SCADE下的设计与实现;林成文等;《科学技术与工程》;20070531;第7卷(第9期);第2085-2087页 * |
信息科技辑》.2007,I138-226. * |
吴康.面向多语言混合编程的嵌入式测试软件设计与实现.《中国优秀硕士学位论文全文数据库• * |
Also Published As
Publication number | Publication date |
---|---|
CN102567187A (en) | 2012-07-11 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN106371813B (en) | A kind of electric vehicle motor controller method for producing software based on Simulink | |
CN102522128B (en) | Method and system for testing configuration logic design of DCS (Distributed Control System) of nuclear power station | |
CN102662828B (en) | A kind of method and device realizing software automatic test | |
CN104102574B (en) | Applied program testing method and device | |
CN107368408A (en) | A kind of software fault towards interface injects automated testing method | |
CN104407980A (en) | Mobile application automated testing device and method | |
CN103077111B (en) | A kind of localization method of continuous integrating failure use-case and system | |
KR20210149045A (en) | artificial intelligence chip verification | |
US8954920B2 (en) | Apparatus for developing embedded software and a process for making the same | |
CN104881358A (en) | Program simulation testing method and system | |
CN107704393A (en) | Data test method, apparatus and electronic equipment | |
CN104699523A (en) | Debugging method and system used for application programs developed by hardware platform | |
CN104375932B (en) | Method and device for analyzing code coverage rate of Java card | |
CN102567187B (en) | A kind of method utilizing C++test to perform SCADE tested object | |
Dzafic et al. | A component-based power system model-driven architecture | |
Yang et al. | Model-based robustness testing for avionics-embedded software | |
Mayan et al. | Optimized test data generation over suspicious implementation of oracle problem | |
CN106970787A (en) | A kind of automobile controller rapid prototyping implementation method | |
CN102279736A (en) | D2P-based RMS motor controller development system | |
Zhang et al. | Automated unit testing intelligent agents in PDT | |
CN102508697B (en) | Method for realizing 8-bit embedded CPU (central processing unit) simulation running environment by aid of Java | |
CN103559134A (en) | Configuration method and device for benchmark test component | |
CN113836023A (en) | Compiler security testing method based on system structure cross check | |
Singh et al. | A novel technique for call graph reduction for bug localization | |
CN111025166A (en) | Debugger for battery detection 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 | ||
C53 | Correction of patent for invention or patent application | ||
CB02 | Change of applicant information |
Address after: 100094 Yongfeng Road, Beijing, No., building 5, building 5 Applicant after: Beijing Guangli Nuclear Power Co., Ltd. Applicant after: China General Nuclear Power Corporation Address before: 100094 Yongfeng Road, Beijing, No., building 5, building 5 Applicant before: Beijing Guangli Nuclear Power Co., Ltd. Applicant before: China Guangdong Nuclear Power Group Co., Ltd. |
|
C14 | Grant of patent or utility model | ||
GR01 | Patent grant |