Kravutveckling är en av de viktigaste drivkrafterna för systemutveckling. Traditionellt är kravutveckling förknippad med förändringar i användarnas behov och miljöer. I detta dokument undersöker vi en annan orsak till kravutveckling: antaganden. Kravingenjörer gör ofta antaganden om att t.ex. att uppfylla vissa delkrav och/eller korrekt utföra vissa systemfunktioner skulle leda till att ett visst krav uppnås. Antaganden kan dock vara, eller så småningom bli, ogiltiga. Vi skisserar ett tillvägagångssätt för att övervaka, vid körning, antagandena i en kravmodell och att utveckla modellen för att återspegla giltighetsnivån för sådana antaganden. Vi introducerar två typer av kravutveckling: autonom (som utvecklar prioriteringarna för systemalternativ baserat på deras framgång / misslyckande med att uppfylla krav) och designerstödd (som upptäcker loci i kravmodellen som innehåller ogiltiga antaganden och rekommenderar designers att vidta evolutionära åtgärder).
Ali m.fl. Detta beslut träder i kraft dagen efter det att det har offentliggjorts i Europeiska unionens officiella tidning. I REF skisserades ett tillvägagångssätt för att övervaka antagandena i en kravmodell vid körtiden och att utveckla modellen för att återspegla giltighetsnivån för sådana antaganden.
Requirements Evolution: From Assumptions to Reality
{'venue': 'Lecture Notes in Business Information Processing', 'journal': 'Lecture Notes in Business Information Processing', 'mag_field_of_study': ['Computer Science']}