ExamGecko
Question list
Search
Search

List of questions

Search

Related questions











Question 163 - CS0-003 discussion

Report
Export

Which Of the following techniques would be best to provide the necessary assurance for embedded software that drives centrifugal pumps at a power Plant?

A.
Containerization
Answers
A.
Containerization
B.
Manual code reviews
Answers
B.
Manual code reviews
C.
Static and dynamic analysis
Answers
C.
Static and dynamic analysis
D.
Formal methods
Answers
D.
Formal methods
Suggested answer: D

Explanation:

According to the CompTIA CySA+ Study Guide: Exam CS0-003, 3rd Edition1, the best technique to provide the necessary assurance for embedded software that drives centrifugal pumps at a power plant is formal methods. Formal methods are a rigorous and mathematical approach to software development and verification, which can ensure the correctness and reliability of critical software systems. Formal methods can be used to specify, design, implement, and verify embedded software using formal languages, logics, and tools1.

Containerization, manual code reviews, and static and dynamic analysis are also useful techniques for software assurance, but they are not as rigorous or comprehensive as formal methods.

Containerization is a method of isolating and packaging software applications with their dependencies, which can improve security, portability, and scalability. Manual code reviews are a process of examining the source code of a software program by human reviewers, which can help identify errors, vulnerabilities, and compliance issues. Static and dynamic analysis are techniques of testing and evaluating software without executing it (static) or while executing it (dynamic), which can help detect bugs, defects, and performance issues1.

asked 02/10/2024
Mary Cris Barreda
33 questions
User
Your answer:
0 comments
Sorted by

Leave a comment first