Expert Software Engineering Quiz

A rigorous assessment targeting seasoned developers seeking to validate deep technical knowledge across core programming disciplines.

software engineeringformal verificationtype safetycompiler theorydistributed systemsdesign patternsconcurrency
Difficulty:HARD

Quiz Details

Questions10
CategoryTechnology & Programming
DifficultyHARD
Start Quiz
Progress
0/0
0%

Quiz Questions

Answer all questions below and test your knowledge.

  1. 1

    Which memory consistency model guarantees that a read operation always observes the most recent write to the same location, regardless of thread interleaving?

    Question 1
  2. 2

    In the context of the CAP theorem, which of the following system designs prioritizes consistency and partition tolerance while sacrificing availability?

    Question 2
  3. 3

    Which design pattern best encapsulates object creation while allowing subclasses to decide which concrete class to instantiate?

    Question 3
  4. 4

    What is the worst-case time complexity of the QuickSort algorithm when the pivot is always chosen as the first element of a sorted array?

    Question 4
  5. 5

    In type theory, which system introduces dependent types, allowing types to be predicated on values?

    Question 5
  6. 6

    Which static analysis technique can prove the absence of null-pointer dereferences in Java programs?

    Question 6
  7. 7

    In distributed consensus, which algorithm uses a leader election phase and log replication to achieve fault tolerance?

    Question 7
  8. 8

    Which compiler optimization passes are typically performed after register allocation?

    Question 8
  9. 9

    When using the OAuth 2.0 Authorization Code flow, which component is responsible for exchanging the authorization code for an access token?

    Question 9
  10. 10

    What property does the Liskov Substitution Principle enforce in object-oriented design?

    Question 10

Never miss a quiz!

Daily challenges on Telegram

Join Now