Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
www.mathworks.com
www.mathworks.com/sales_and_services
User community:
www.mathworks.com/matlabcentral
Technical support:
www.mathworks.com/support/contact_us
Phone:
508-647-7000
Revision History
September 2010
April 2011
September 2011
March 2012
September 2012
March 2013
September 2013
March 2014
October 2014
March 2015
September 2015
Contents
1 Introduction ...................................................................................................................................... 1-1
2 Test Cases and Procedures ............................................................................................................... 2-1
2.1 System Design Description Report ......................................................................................... 2-1
2.2 Model XML Comparison Report ............................................................................................ 2-1
3 Traceability Between Operational Requirements and Test Cases and Procedures........................... 3-1
3.1 System Design Description Report Traceability Matrix....................................................... 3-2
3.2 Model XML Comparison Report Traceability Matrix ......................................................... 3-6
4 Executing Test Cases and Procedures .............................................................................................. 4-1
4.1 Executing Test Cases and Procedures for System Design Description Report ....................... 4-1
4.2 Executing Test Cases and Procedures for Model XML Comparison Report .......................... 4-3
5 Test Results ...................................................................................................................................... 5-1
5.1 System Design Description Report ......................................................................................... 5-2
5.2 Model XML Comparison Report ............................................................................................ 5-4
vi
1 Introduction
This document comprises test cases and procedures (Reference DO-330 Sections 10.3.3 and
10.3.4) for the following capability of the Simulink Report Generator verification tool:
This document is intended for use in the DO-330 tool qualification process for TQL-5 tools.
See also the DO Qualification Kit User's Guide, R2015b.
1-2
the qualified parameters in the appendixes. Figure 1 shows the Model XML Comparison testing
workflow.
2-2
Requirement ID
Expected
Result
slvnvdemo_fuelsys_docreq.slx
slvnvdemo_fuelsys_htmreq.slx
SDD_mdlver
SDD_checksum
SDD_userdef_title
SDD_userdef_subtitle
SDD_userdef_authors
SDD_blkdiag
SDD_execorder
SDD_name
SDD_path
SDD_SF_chart
SDD_data
SDD_SFtarget
SDD_reqs
SDD_configset
SDD_rptformat_PDF
SDD_rptformat_HTML
SDD_rptformat_DOC
SDD_rptformat_RTF
SDD_mdlver
SDD_checksum
SDD_userdef_title
SDD_userdef_subtitle
SDD_userdef_authors
SDD_blkdiag
SDD_blkparas
SDD_execorder
SDD_mdlref
SDD_configset
SDD_rptformat_PDF
SDD_rptformat_HTML
SDD_rptformat_DOC
SDD_rptformat_RTF
Included in
pre-generated
reports
sldemo_mdlref_basic.slx
Included in
pre-generated
reports
3-2
Test Model
Requirement ID
Expected
Result
SDD_cont.slx
SDD_discont.slx
SDD_discrete.slx
SDD_logic.slx
SDD_lookup.slx
SDD_math.slx
SDD_other.slx
SDD_signals.slx
SDD_sources.slx
SDD_mdlver
SDD_checksum
SDD_userdef_title
SDD_userdef_subtitle
SDD_userdef_authors
SDD_blkdiag
SDD_blkparas
SDD_mdlver
SDD_checksum
SDD_userdef_title
SDD_userdef_subtitle
SDD_userdef_authors
SDD_blkdiag
SDD_data
SDD_name
SDD_path
SDD_chksum
SDD_SF_chart
SDD_SFtt
SDD_eml
SDD_SFtarget
SDD_configset
SDD_rptformat_PDF
SDD_rptformat_HTML
SDD_rptformat_DOC
SDD_rptformat_RTF
Included in
pre-generated
reports
3-3
Test Model
Requirement ID
Expected
Result
SDD_eml_call_gf.slx
SDD_mdlver
SDD_checksum
SDD_userdef_title
SDD_userdef_subtitle
SDD_userdef_authors
SDD_blkdiag
SDD_outputs
SDD_execorder
SDD_name
SDD_path
SDD_SF_chart
SDD_SFgraphfunc
SDD_SFdata
SDD_eml
SDD_SFtarget
SDD_configset
SDD_rptformat_PDF
SDD_rptformat_HTML
SDD_rptformat_DOC
SDD_rptformat_RTF
SDD_mdlver
SDD_checksum
SDD_userdef_title
SDD_userdef_subtitle
SDD_userdef_authors
SDD_blkdiag
SDD_execorder
SDD_name
SDD_path
SDD_chksum
SDD_SF_chart
SDD_SFstates
SDD_SFtrans
SDD_SFevents
SDD_SFgraphfunc
SDD_SFdata
SDD_SFtarget
SDD_configset
SDD_rptformat_PDF
SDD_rptformat_HTML
SDD_rptformat_DOC
SDD_rptformat_RTF
Included in
pre-generated
reports
SDD_SF_ArithLogic.slx
SDD_SF_data_check.slx
SDD_SF_event.slx
SDD_SF_exit_substate.slx
SDD_SF_model.slx
Included in
pre-generated
reports
3-4
Test Model
Requirement ID
Expected
Result
SDD_subsys.slx
SDD_mdlver
SDD_checksum
SDD_userdef_title
SDD_userdef_subtitle
SDD_userdef_authors
SDD_blkdiag
SDD_inputs
SDD_outputs
SDD_blkparas
SDD_execorder
SDD_name
SDD_path
SDD_chksum
SDD_configset
SDD_rptformat_PDF
SDD_rptformat_HTML
SDD_rptformat_DOC
SDD_rptformat_RTF
SDD_mdlver
SDD_checksum
SDD_userdef_title
SDD_userdef_subtitle
SDD_userdef_authors
SDD_blkdiag
SDD_execorder
SDD_name
SDD_path
SDD_SF_chart
SDD_SFtt
SDD_SFdata
SDD_SFtarget
SDD_configset
SDD_rptformat_PDF
SDD_rptformat_HTML
SDD_rptformat_DOC
SDD_rptformat_RTF
Included in
pre-generated
reports
SDD_truth_table_model.slx
SDD_TT_Block.slx
Included in
pre-generated
reports
3-5
Test Model
Requirement ID
Expected
Result
SDD_Version_Description_Test.slx
SDD_mdlver
SDD_checksum
SDD_userdef_title
SDD_userdef_subtitle
SDD_userdef_authors
SDD_blkdiag
SDD_descr
SDD_inputs
SDD_outputs
SDD_configset
SDD_rptformat_PDF
SDD_rptformat_HTML
SDD_rptformat_DOC
SDD_rptformat_RTF
Included in
pre-generated
reports
3-6
Before you execute the RPT file, start a new MATLAB session.
To execute the RPT file, you must have MATLAB Report Generator and Simulink
Report Generator licenses.
To execute some test models, you must have Stateflow and Simulink Verification and
Validation licenses.
qualkitdoCtrl.rptgenext.model = {'model_file'};
b.
2.
b.
Select File > Report. Simulink Report Generator creates the summary
report and the model level reports.
After the report generation is complete, review the test report results. For more
information, see Test Results.
4-2
Before you execute the RPT file, start a new MATLAB session.
Set the Java heap size for your MATLAB session to at least 3072 MB before you
execute model coverage RPT files. To check the Java heap size, open the MATLAB
Preferences dialog box and select General > Java Heap Memory. If the Java Heap Size
value is less than 3072 MB, change it to 3072 MB, click OK, and restart MATLAB. (If the
maximum available heap size value is less than 3072 MB, select the maximum value.) This
may help you avoid java.lang.OutOfMemoryError messages.
To execute the RPT file, you must have MATLAB Report Generator and Simulink
Report Generator licenses.
To execute some test models, you must have Stateflow and Simulink Verification and
Validation licenses.
If you need to qualify the operation of the comparison tool on models saved in previous
releases, you may specify two Simulink releases to test.
4-3
Simulink Report Generator runs the Model XML Comparison Report tests and stores the
comparison reports and summary qualification report in this generated folder:
rptgenext/outputs/
The summary qualification report
qualkitdo_xmlcomp_qualificationreport.html contains information about
test environment, executed test files, and qualification results.
4-4
3.
After Simulink Report Generator has finished running the test procedure, verify that there
are no warning or error messages in the Simulink Report Generator message list window.
4.
Review the summary qualification report. For more information, see Test Results.
4-5
5 Test Results
Test Results
qualkitdo_rptgenex outputs\qualkitdo_rptgenext_qualificationreport_for_<OS>.pdf2
t_tcp.rpt1
outputs\qualkitdo_rptgenext_qualificationreport_model.pdf3
outputs\qualkitdo_rptgenext_qualificationreport_model.doc3
outputs\qualkitdo_rptgenext_qualificationreport_model.rtf3
outputs\qualkitdo_rptgenext_qualificationreport_model.html3
Notes:
1 Requires MATLAB Report Generator, Simulink Report Generator, Simulink, Stateflow, and
Simulink Verification and Validation licenses.
2 Overview report.
3 Model level report.
In the above listed test results, model stands for
slvnvdemo_fuelsys_docreq, slvnvdemo_fuelsys_htmreq, sldemo_mdlref_basic,
SDD_cont, SDD_discont, SDD_discrete, SDD_eml_call_gf, SDD_logic, SDD_lookup,
SDD_math, SDD_other, SDD_SF_ArithLogic, SDD_SF_data_check, SDD_SF_event,
SDD_SF_exit_substate, SDD_SF_model, SDD_signals, SDD_sources, SDD_subsys,
SDD_truth_table_model, SDD_TT_Block, SDD_Version_Description_Test.
For each test result file, the DO Qualification Kit for Simulink Report Generator contains a
pre-generated version of the reports with reviewed content. For each test result file, compare the
expected results (pre-generated version) to the actual results (locally generated version).
Perform this review only on the file formats that will be used for the specific project for which
the Simulink Report Generator is to be qualified.
When reviewing the actual results (locally generated version) in the qualification reports, the
Stateflow IDs for unlabeled transitions can differ from those provided in the expected results
(pre-generated version). However, the reports -generate the traceability information, even for
models using unlabeled Stateflow transitions. The SDD report capability of Simulink Report
Generator generates traceability information for a labeled Stateflow transition using the
transition label for the name of the transition. For example, [fails>=5]. In the case of
5-2
unlabeled transitions, however, SDD uses a string with the word Transition followed by an
ID. The ID is the value of the ID property of the Stateflow transition object,
Stateflow.Transition. Since the value of the ID property for a transition object changes
every time the model is opened, regenerating the report for the same model might lead to
different transition names. The transition names might not match those provided in pregenerated version of the report.
The actual model checksums (locally generated version) in the qualification reports can differ
from the checksums provided in the reference reports (pre-generated version). The locally
generated version of the model checksums depend on the execution environment and can be
platform-specific. If the execution platform of the locally generated version is not the same as
the execution platform used to generated the reference reports (pre-generated version), the
model checksums can differ.
5-3
In the Qualification Test Results section of the report, check that the
qualification test outcome is evaluated as PASS.
Note 1: If the qualification status is evaluated as FAIL, manually review the
content of the comparison reports for parameters evaluated as FAILED to assess
the impact of the failed parameter with respect to the software life cycle activities
performed using the tool. The status for each parameter is provided in the
appendices of the summary qualification report.
Note 2: A list of corresponding test cases is provided in the CMP page of the
traceability matrix qualkitdo_xmlcomp_trace.xlsx.
2.
Configure the content of the folder comprising the test cases, procedures and results in a
configuration management system.
5-4