search

radon-h2020 / radon-verification-tool

RADON Verification Tool Demo
0 stars 0 forks source link

The CDL must be able to express pre/post conditions of serverless functions regarding security/performance #9

Open marklaw opened 4 years ago

marklaw commented 4 years ago

From D2.1 (Companion)

ID R-T4.1-1
Section WP4: Modelling Environment Requirements
Type FUNCTIONAL_SUITABILITY
User Story As a QoS Engineer/Software Designer I want to express pre/post conditions for serverless functions using a CDL.
Requirement The CDL must be able to express pre/post conditions of serverless functions regarding security/performance.
Extended Description
Priority Must have
Affected Tools CDL
Means of Verification A check that the CDL can express pre/post conditions for a set of different serverless functions.
Dependency
marklaw commented 4 years ago

@gcasale I propose to close this. We showed examples of this in Deliverable 4.1.

gcasale commented 4 years ago

Can the annotation be considered final, if no the requirement needs to stay open.