Project

General

Profile

Feature #2711

[Test] Derive tests from traces

Added by Anonymous almost 4 years ago. Updated over 1 year ago.

Status:
Rejected
Priority:
Normal
Assignee:
-
Category:
-
Target version:
Start date:
10/11/2016
Due date:
% Done:

0%

Estimated time:

Description

When a component C is traced to a requirement which contains a test T:
  1. show T in the list of tests of C
  2. if the inputs involved in T are not present in C, ask the user for a mapping
  3. if the mapping does not map to the same types, fail (maybe propose standard type-to-type mappings like boolean to integer)

History

#1 Updated by Anonymous almost 4 years ago

should work properly with the constraint mechanism:
if the test in the requirement is changed, the derived test shall be outdated.

Entails that a new constraint shall be introduced between the component and the originating test.
This constraint could then also embed the mapping.

#2 Updated by Anonymous over 3 years ago

  • Target version changed from AF3 2.11 RC1 (Feature Freeze) to AF3 2.12 RC1 (Feature Freeze)

still ongoing work. In particular: the test is right now being displayed, but is not simulatable

#3 Updated by Anonymous over 2 years ago

  • Target version changed from AF3 2.12 RC1 (Feature Freeze) to AF3 2.13 RC1 (Feature Freeze)

#4 Updated by Anonymous over 2 years ago

  • Assignee changed from Anonymous to Anonymous

@Hernan: I don't know where traces are in the current stack of priorities. You can reject if it's low.
But it's otherwise a cool and important (IMO) topic: how to use information from traces to derive more information at the level of the component architecture?

Here I was basically proposing to make use of tests at the requirements level (back then you could add tests to requirements, today we could maybe use an aspect for that, or extend an existing aspect) to automatically get these test for the components traced to this requirement.

Types might mismatch between requirements and components (e.g., you have booleans in requirements but integers in component), therefore one could devise new strategies like automatic or interactive transformation of types.

Anyways if I'm not clear tell me we can discuss it one day. The issue itself can be either kept or rejected, maybe to be replaced by a proper strategy about "how to make use of the information provided by traces in an quasi-automatic manner?"

#5 Updated by Anonymous over 2 years ago

  • Target version changed from AF3 2.13 RC1 (Feature Freeze) to AF3 2.14 RC1 (Feature Freeze)

#6 Updated by Johannes Eder over 1 year ago

  • Target version changed from AF3 2.14 RC1 (Feature Freeze) to Backlog

#7 Updated by Anonymous over 1 year ago

  • Assignee changed from Anonymous to Johannes Eder

It can be rejected

#8 Updated by Johannes Eder over 1 year ago

  • Status changed from New to Rejected
  • Assignee deleted (Johannes Eder)

Also available in: Atom PDF