CTS

Individual training solutions

+48 12 655 17 36  

Testing Safety-Critical Systems

Testing Safety-Critical Systems

Training name: Testing Safety-Critical Systems

Duration (in days): 2 days

Description

Principles for testing safety-critical systems are not radically different from testing rules in general, but they must be fully observed and proving that you really follow them may be required.

 

There are two types of requirements for safety-critical systems: product and process requirements. For most industries developing such systems, there exist international, comprehensive and detailed standards, which requirements must be fulfilled, how their fulfilment must be assured and checked (tested), and how you should be able to prove it.

Principles for testing safety-critical systems are not radically different from testing rules in general, but they must be fully observed and proving that you really follow them may be required.

 

There are two types of requirements for safety-critical systems: product and process requirements. For most industries developing such systems, there exist international, comprehensive and detailed standards, which requirements must be fulfilled, how their fulfilment must be assured and checked (tested), and how you should be able to prove it.

Objectives

There are two types of requirements for safety-critical systems: product and process requirements. For most industries developing such systems, there exist international, comprehensive and detailed standards, which requirements must be fulfilled, how their fulfilment must be assured and checked (tested), and how you should be able to prove it.There are two types of requirements for safety-critical systems: product and process requirements. For most industries developing such systems, there exist international, comprehensive and detailed standards, which requirements must be fulfilled, how their fulfilment must be assured and checked (tested), and how you should be able to prove it.

Audience


For current and future testers or test managers of safety-critical, embedded, real-time control software systems.

 The goal of this training is that its participants will learn the art and craft of testing high-integrity software

For current and future testers or test managers of safety-critical, embedded, real-time control software systems.

 The goal of this training is that its participants will learn the art and craft of testing high-integrity software

Topics

• Definition, scope and test specifics for safety-critical systems

• Overview of industry standards for safety-critical systems

• Test environments: testing in development environment, test board, target board in simulated environment, test environment virtualization, field tests
• Definition, scope and specifics for testing embedded control systems

• Static analysis of source code: scope, benefits, methods and tools
• Testing real-time systems


• What do standards tell you on testing?

• Testing tools: simulators, architecture emulators, microprocessor simulator (instruction set simulator), test board, on-board debugger, hardware debugger, ICE, other measurement tools and signal generators
• GPIB (IEEE 488) in testing
• Test tools - for example LabView

• Target access, monitoring test runs, test coverage measurement, dynamic analysis, field tests, production testing

 

• Test tools intrusiveness - how it influences the reliability of test results

• Source code reviews - how's and why's

• Source code unit test metrics - goals, benefits, standard requirements

• Automatic test execution and what limitations standards impose on it

• Unit test source code test coverage - techniques and tools

• Non-functional testing, including reliability and robustness testing

• Automatic unit test design and generation - goals, methods and tools

• Automatic test generation from requirements models using Markov chains and finite state machine diagrams
• Testing real-time aspects and time performance

• Exploratory testing of safety-critical - potential benefits, scope and limits

• Definition, scope and test specifics for safety-critical systems

• Overview of industry standards for safety-critical systems

• Test environments: testing in development environment, test board, target board in simulated environment, test environment virtualization, field tests
• Definition, scope and specifics for testing embedded control systems

• Static analysis of source code: scope, benefits, methods and tools
• Testing real-time systems


• What do standards tell you on testing?

• Testing tools: simulators, architecture emulators, microprocessor simulator (instruction set simulator), test board, on-board debugger, hardware debugger, ICE, other measurement tools and signal generators
• GPIB (IEEE 488) in testing
• Test tools - for example LabView

• Target access, monitoring test runs, test coverage measurement, dynamic analysis, field tests, production testing

 

• Test tools intrusiveness - how it influences the reliability of test results

• Source code reviews - how's and why's

• Source code unit test metrics - goals, benefits, standard requirements

• Automatic test execution and what limitations standards impose on it

• Unit test source code test coverage - techniques and tools

• Non-functional testing, including reliability and robustness testing

• Automatic unit test design and generation - goals, methods and tools

• Automatic test generation from requirements models using Markov chains and finite state machine diagrams
• Testing real-time aspects and time performance

• Exploratory testing of safety-critical - potential benefits, scope and limits

Technical requirements

* VAT not incl. It concerns only customers from Poland* VAT not incl. It concerns only customers from Poland

In case customers from Poland prices can be negotiated

VAT not incl. It concerns only customers from Poland

%}