Det här är ConTEXT. Den miljö i vilken systemet fungerar, dess sammanhang, är varierande. Den autonoma förmågan hos en programvara att anpassa sig till kontexten måste planeras eftersom det finns ett starkt ömsesidigt inflytande mellan krav och kontext. Å ena sidan är sammanhanget en huvudfaktor för att avgöra om ett krav ska aktiveras, vilka alternativ som ska användas för att uppfylla ett aktiverat krav och deras kvaliteter. Å andra sidan kan systemåtgärderna för att uppnå kraven leda till förändringar i sammanhanget. SYFTE. Att modellera relationen mellan krav och sammanhang är en komplex uppgift och att utveckla felfria modeller är svårt att uppnå utan automatiserat stöd. Huvudsyftet med detta dokument är att utveckla en uppsättning automatiserade analysmekanismer för att stödja kravingenjörerna att upptäcka och analysera modellfel i kontextuella kravmodeller. Metod. Vi studerar analysen av den kontextuella målmodellen som är en kravmodell som väver samman variabiliteten i både sammanhang och krav. Målmodeller används under de tidiga stadierna av mjukvaruutveckling och därmed upptäcker vår analys fel tidigt i utvecklingsprocessen. Vi utvecklar två analysmekanismer för att upptäcka två typer av modellfel. Den första mekanismen gäller upptäckt av inkonsekvent specificering av sammanhang i en målmodell. Det andra handlar om att upptäcka motstridiga kontextförändringar som uppstår till följd av de åtgärder som systemet vidtar för att uppfylla olika krav samtidigt. Vi stödjer vår analys med ett CASE-verktyg och tillhandahåller en systematisk process som styr konstruktion och analys av kontextuella målmodeller. Vi illustrerar och utvärderar vårt ramverk genom en fallstudie om ett smart hemsystem för att stödja livet för personer med demensproblem. RESULTAT. Utvärderingen visade på en betydande förmåga hos våra analysmekanismer att upptäcka fel som inte kunde noteras av kravingenjörer. Utvärderingen visade dessutom att dessa mekanismer var godtagbara när man behandlade upp till medelstora kontextuella målmodeller. De modellering konstruktioner som vi föreslog som en input för att möjliggöra analysen var lätt att förstå och fånga. SLUTSATSER.............................................................................................................. Vår utvecklade analys för att upptäcka inkonsekvens och konflikter i kontextuella målmodeller är ett viktigt steg för hela systemets korrekthet. Det undviker att vi utvecklar oanvändbara och oönskade funktioner och funktioner som leder till konflikter när de fungerar tillsammans. Ytterligare forskning för att förbättra vår analys till skala med stora modeller och för att överväga andra typer av fel behövs fortfarande.
I Ref föreslås två automatiserade analysmekanismer som undersöker modellering av fel i kontextuella kravmodeller.
Reasoning with Contextual Requirements: Detecting Inconsistency and Conflicts
{'venue': 'Inf. Softw. Technol.', 'journal': 'Inf. Softw. Technol.', 'mag_field_of_study': ['Computer Science']}