CERT-SEI

Reasoning Frameworks

A reasoning framework is a way to package, as a fully-automated tool, the expertise needed to understand and predict the runtime qualities of software systems. A key objective of a reasoning framework is to make this expertise available to engineers who are not expert in the quality attribute. As such, the reasoning framework includes all that is necessary to generate and analyze quality-specific views of an architectural specification. The reasoning framework also exposes the assumptions underlying an analytic theory, and ensures that systems satisfy these assumptions so that the user has confidence that all predictions are not only sound, but valid.

Learn More

  • the ComFoRT model checking reasoning framework
  • the Lambda-star performance reasoning frameworks

A Closer Look at Reasoning Frameworks

References

Reasoning Frameworks
Len Bass, James Ivers, Mark Klein, & Paulo Merson

SEI Blog