ace-lectures / atco-eats

Requirement document for the ATCO-Eats case study (3RA3)
https://ace-lectures.github.io/atco-eats/
Other
4 stars 6 forks source link

(S.6) Verification and acceptance criteria #20

Closed mosser closed 1 year ago

mosser commented 1 year ago

Specification of the conditions under which an implementation will be deemed satisfactory. Here, "verification" as shorthand for what is more explicitly called "Verification & Validation" (V&V), covering several levels of testing — module testing, integration testing, system testing, user acceptance testing — as well as other techniques such as static analysis and, when applicable, program proving.

mosser commented 1 year ago

Need to stabilize the NF requirements for the second part.

mosser commented 1 year ago

S6 (draft) is written assuming four NF properties: Accessibility, privacy, security and accounting compliance.

t-chiang commented 1 year ago

We will take measure when -> We will take measures when

Such audit will be part -> This audit will be part