Main / Практикум по Р-4754А / Программа практикума по Р-4754А

Программа практикума по Р-4754А

01
Introductory
02
CC BY
03
Software verification (formal inspections)
04
Development of software requirements
05
Development of a project description for
06
Coding and integration
07
Верификация ПО (испытания)
08
Software verification (testing)
09
Final

Workshop on software development in accordance with the requirements of CT-178C

modules
Day 1
Module: Introductory, CC by
Introductory
Seminar
Rules of work. Getting to know listeners
Lecture
Introductory
Seminar
Results of the module
CC BY
lecture
Software Configuration Management
day 2
Module: Software Management Code, Software Verification (formal inspections)
demonstration
An example of the implementation of the CC process by
practice
Change management and making changes
demonstration
The plan of the
seminar
Module results
Verification by
(formal inspections)
lecture
Review of the verification process. Formal inspections
practice
Conducting a formal inspection
seminar
Module results
Development of software requirements
day 3
Module: Development of software requirements
lecture
Development of software requirements
demonstration
System documents. Software requirements
practice
Revision of software requirements
seminar
Module results
Development of a
project description for
day 4
Module: Software project description development, Coding and integration
lecture
Designing
demonstration
Description of the software project. Design Standard
seminar
Module results
Coding and
integration
lecture
Coding and integration
demonstration
Source code
seminar
Module results
Software verification (testing)
day 5
Module: Software Verification (testing), Structural Coating, Final
lecture
Trials
demonstration
Integration tests
practice
Completion and execution of integration tests
seminar
Module results
Structural
coverage
lecture
Structural coating
practice
Structural code coverage analysis
Final
lecture
Final