next up previous
Next: 3.2 Non-Functional Behaviour Up: 3 A Proposal: NoFun Previous: 3 A Proposal: NoFun

3.1 Non-Functional Attributes

NF-attributes in NoFun are characterised by:

We present next an example of definition of NF-attributes. An attribute module for the reliability attribute may include the definition of some auxiliary NF-attributes, some of them defined in the imported attribute modules: a boolean one error_recovery , and an integer one test with valid values from 0 to 5. NF-specifications may import this module in order to have this attribute as a measure of quality.

attribute module RELIABILITY

imports ERROR_RECOVERY, TEST

attributes

boolean fully_portable

enumerated ordered reliability (none, low, medium, high) derived

depends on error_recovery, fully_portable, test

defined as

not error_recovery and not fully_portable => reliability = none

not error_recovery and fully_portable => reliability = low

error_recovery and not fully_portable => reliability = low

error_recovery and fully_portable =>

test in (0..1) => reliability = low

test in (2..3) => reliability = medium

test in (4..5) => reliability = high

end RELIABILITY


next up previous
Next: 3.2 Non-Functional Behaviour Up: 3 A Proposal: NoFun Previous: 3 A Proposal: NoFun

Xavier Franch
Sept. 2, 1997