requirements engineering - present and future hot research topics

30
Requirements Engineering: Research topics CECS 542 Dr. Birgit Penzenstadler 1 Photo credit: Sam Hull, Unsplash

Upload: birgit-penzenstadler

Post on 23-Jan-2018

51 views

Category:

Software


1 download

TRANSCRIPT

Requirements Engineering: Research topics

CECS 542 Dr.BirgitPenzenstadler 1

Photocredit:SamHull,Unsplash

HotresearchtopicsinRE•  PaperbyNuseibehandEasterbrook,2000

•  UpdatepaperbyChengandAtleein2007

Dr.BirgitPenzenstadler 2

Source

Dr.BirgitPenzenstadler 3

CogniIveandsocialsciencesasfoundaIon

•  REdrawsonthecogniIveandsocialsciencestoprovideboththeoreIcalgroundingandpracIcaltechniquesforeliciIngandmodellingrequirements:

•  Cogni&vepsychologyprovidesanunderstandingofthedifficulIespeoplemayhaveindescribingtheirneeds[62]

•  AnthropologyprovidesamethodologicalapproachtoobservinghumanacIviIesthathelpstodeveloparicherunderstandingofhowcomputersystemsmayhelporhinderthoseacIviIes[29].

•  SociologyprovidesanunderstandingofthepoliIcalandculturalchangescausedbycomputerisaIon.

•  Linguis&csisimportantbecauseREislargelyaboutcommunicaIon.

Dr.BirgitPenzenstadler 4

Requirementstoelicit

•  Boundaries•  Stakeholders•  Goals•  Usertasks/usecasesàAllsoundsfamiliar,right?

Dr.BirgitPenzenstadler 5

ElicitaIontechniques

•  TradiIonaltechniques(surveys,interviews)•  GroupelicitaIontechniques(workshops)•  Prototyping•  Model-driventechniques(e.g.,KAOS)•  CogniIvetechniques(cardsorIng)•  Contextualtechniques(ethnographics)

Dr.BirgitPenzenstadler 6

Modelingandanalyzingrequirements

•  Enterprisemodeling•  Datamodeling•  Behaviormodeling•  Domainmodeling•  ModelingNFRs•  Analyzingrequirementsmodels

Dr.BirgitPenzenstadler 7

CommunicaIngrequirements•  REisnotonlyaprocessofdiscoveringandspecifyingrequirements,itisalso

aprocessoffacilitaIngeffecIvecommunicaIonoftheserequirementsamongdifferentstakeholdersàensuringthattheycanberead,analysed,(re-)wriben,andvalidated.

•  ThefocusofrequirementsdocumentaIonresearchisocenonspecificaIonlanguagesandnotaIons,withavarietyofformal,semi-formalandinformallanguagessuggestedforthispurpose,fromlogictonaturallanguageàdifferentlanguageshavebeenshowntohavedifferentexpressiveandreasoningcapabiliIes.

•  Whatisincreasinglyrecognisedascrucial,however,isrequirementsmanagement–theability,notonlytowriterequirementsbutalsotodosoinaformthatisreadableandtraceablebymany,inordertomanagetheirevoluIonoverIme.

•  OneabempttoachievereadabilityhasbeenthedevelopmentofavarietyofdocumentaIonstandardsthatprovideguidelinesforstructuringrequirementsdocuments.

Dr.BirgitPenzenstadler 8

Agreeingrequirements•  Asrequirementsareelicitedandmodelled,maintainingagreementwithall

stakeholderscanbeaproblem,especiallywherestakeholdershavedivergentgoals.

•  Recallthatvalida&onistheprocessofestablishingthattherequirementsandmodelselicitedprovideanaccurateaccountofstakeholderrequirements.

•  ExplicitlydescribingtherequirementsisanecessaryprecondiIonnotonlyforvalidaIngrequirements,butalsoforresolvingconflictsbetweenstakeholders.

•  TechniquessuchasinspecIonandformalanalysistendtoconcentrateonthecoherenceoftherequirementsdescripIons:aretheyconsistent,andaretheystructurallycomplete?

•  RequirementsvalidaIonisdifficultfortworeasons:–  Thefirstreasonisphilosophicalinnature,andconcernsthequesIonoftruth

andwhatisknowable.–  Thesecondreasonissocial,andconcernsthedifficultyofreachingagreement

amongdifferentstakeholderswithconflicInggoals.

Dr.BirgitPenzenstadler 9

Evolvingrequirements•  Successfulsocwaresystemsalwaysevolveasthe

environmentinwhichthesesystemsoperatechangesandstakeholderrequirementschange.ThereforemanagingchangeisafundamentalacIvityinRE[9].

•  ChangestorequirementsdocumentaIonneedtobemanaged.Minimally,thisinvolvesprovidingtechniquesandtoolsforconfiguraIonmanagementandversioncontrol[22],andexploiIngtraceabilitylinkstomonitorandcontroltheimpactofchangesindifferentpartsofthedocumentaIon.

•  Finally,thedevelopmentofsocwaresystemproductfamilieshasbecomeanincreasinglyimportantformofdevelopmentacIvity.

Dr.BirgitPenzenstadler 10

Integratedrequirementsengineering•  REisamulI-disciplinaryacIvity,deployingavarietyoftechniquesandtools

atdifferentstagesofdevelopmentandfordifferentkindsofapplicaIondomains.MethodsprovideasystemaIcapproachtocombiningdifferenttechniquesandnotaIons,andmethodengineering[10]playsanimportantroleindesigningtheREprocesstobedeployedforaparIcularproblemordomain.MethodsprovideheurisIcsandguidelinesfortherequirementsengineertodeploytheappropriatenotaIonormodellingtechniqueatdifferentstagesoftheprocess.

•  AvarietyofapproacheshavebeensuggestedtomanageandintegratedifferentREacIviIesandproducts.Jackson,forexample,usesproblemframestostructuredifferentkindsofelementaryandcompositeproblems[39].HisargumentisthatidenIfyingwell-understoodproblemsoffersthepossibilityofselecIngcorresponding,appropriate,well-understood,soluIons.

•  AnalternaIveapproachtoorganising,selecIngandtailoringmulIplemethodsisthroughtheuseofmulIpleperspecIvesorviewsofrequirements[16;26].

Dr.BirgitPenzenstadler 11

Jackson’sproblemframes

Dr.BirgitPenzenstadler 12

Decade1990-2000(beforepublicaIon)

During1990-2000,wecandiscerntheemergenceofthreeradicalnewideasthatchallengedandoverturnedtheorthodoxviewsofRE.Thesethreeideasarecloselyinterconnected:•  TheideathatmodellingandanalysiscannotbeperformedadequatelyinisolaIon

fromtheorganisaIonalandsocialcontextinwhichanynewsystemwillhavetooperate.Thisviewemphasisedtheuseofcontextualisedenquirytechniques,includingethnomethodologyandparIcipantobservaIon[29;63].

•  ThenoIonthatREshouldnotfocusonspecifyingthefuncIonalityofanewsystem,butinsteadshouldconcentrateonmodellingindicaIveandoptaIveproperIesoftheenvironment2[84].Onlybydescribingtheenvironment,andexpressingwhatthenewsystemmustachieveinthatenvironment,wecancapturethesystem’spurpose,andreasonaboutwhetheragivendesignwillmeetthatpurpose.ThisnoIonhasbeenaccompaniedbyashicinemphasisawayfrommodellinginformaIonflowandsystemstate,andtowardsmodellingstakeholders’goals[15]andscenariosthatillustratehowgoalsare(orcanbe)achieved[51].

•  TheideathattheabempttobuildconsistentandcompleterequirementsmodelsisfuIle,andthatREhastotakeseriouslytheneedtoanalyseandresolveconflicIngrequirements,tosupportstakeholdernegoIaIon,andtoreasonwithmodelsthatcontaininconsistencies[28].

Dr.BirgitPenzenstadler 13

N&E’sPredicIonfor2000-2010•  DevelopmentofnewtechniquesforformallymodellingandanalysingproperIesoftheenvironment

•  BridgingthegapbetweenrequirementselicitaIonapproachesbasedoncontextualenquiryandmoreformalspecificaIonandanalysistechniques.

•  Richermodelsforcapturingandanalysingnon-funcIonalrequirements.

•  BeberunderstandingoftheimpactofsocwarearchitecturalchoicesontheprioriIsaIonandevoluIonofrequirements.

•  Reuseofrequirementsmodels.•  MulIdisciplinarytrainingforrequirementspracIIoners.

Dr.BirgitPenzenstadler 14

Source

Dr.BirgitPenzenstadler 15

Source

Dr.BirgitPenzenstadler 16

Source

Dr.BirgitPenzenstadler 17

Hottopics•  Scale•  Security•  Tolerance•  IncreasedRelianceonEnvironment•  Self-Management•  GlobalizaIon•  Methodologies,paberns,andtools•  RequirementsReuse•  EffecIvenessofREtechnologies

Dr.BirgitPenzenstadler 18

Scale

•  Largescaleandultra-largescalesystemsàneedtomanagetensofthousandsofrequirements

•  Systemsofsystems•  Cyber-physicalsystems•  E.g.futureintelligenttransportaIon-managementsystems,criIcalinfrastructureprotecIonsystems(e.g.,systemsmanagingpowergrids,bridges,telecommunicaIonsystems),integratedhealth-caresystems,anddisaster-responsesystems

Dr.BirgitPenzenstadler 19

Security•  IdenIfyanddocumentpotenIalsecuritythreats:idenIfiesassets,idenIfiesvulnerabiliIesinthecontextofpotenIalthreats,andspecifiescountermeasurestoprotectagainstthesethreats

•  E.g.inmisusecasesandtheirmiIgaIon•  AnalternaIveapproachwouldtakeatop-downviewofsecurityrequirements,andbaserequirementsonorganizaIonalstructures,suchaslinesofauthority,“separaIonofduIes,delegaIon,roles,groups,”accesspolicies,andsoon

Dr.BirgitPenzenstadler 20

Tolerance•  SocwareisincreasinglyusedtoautomatecriIcalapplicaIonsand

services,suchastransportaIonvehiclesandsystems,financialdecisionsandtransacIons,medicalcare,militarycommandandcontrol,andsoon;inwhichsecurityandassurancerequirementsareparamount.

•  However,giventhecomplexityofsuchsystems,withrespecttosize,decentralizeddecision-making,andvariability,theSEandREcommuniIesmayneedtosocentheirviewsandexpectaIonsforsecurityandcorrectness.

•  SufficientCorrectness:Thedegreetowhichasystemmustbedependableinordertoservethepurposeitsuserintends,andtodosowellenoughtosa&sfythecurrentneedsandexpecta&onsofthoseusers.

•  àfocusonrequirementsforacceptablebehaviorandonwhatitmeansforasystemtobe“healthy”

Dr.BirgitPenzenstadler 21

Increasedrelianceonenvironment

•  Cyber-physicalsystems(CPSs)areanewgeneraIonofengineeredsystemsinwhichcompuIngandcommunicaIonareIghtlycoupledwiththemonitoringandcontrolofenIIesinthephysicalworld

•  Examplecyber-physicalsystemsincludeintelligenttransportaIonandvehiclesystems;automatedmanufacturing;criIcalinfrastructuremonitoring;disasterresponse;opImizaIonofenergyconsumpIon;smartwearableapreforhealthcare,personalsafety,andmedicalneeds;andefficientagriculture

•  Toreasonaboutanintegratedsystem,itbecomesnecessarytoformalizetheproperIesoftheenvironmentswithwhichthesocwarewillinteroperate.

•  àThereneedtobebebertechniquesforintegraIngmodelsoftheenvironment,interfacedevices,andsocwarecomponents.

Dr.BirgitPenzenstadler 22

Selfmanagement•  Growinginterestinself-managingsystems,inwhichthesocwaresystem

isawareofitscontextandisabletoreactandadapttochangesineitheritsenvironmentoritsrequirements–suchasamobiledevice,whoseavailableservicesvarywiththeuser’slocaIonandwiththelocalserviceprovider(s).

•  Examplesofsuchsystemsincludeself-healingsystemsthatareabletorecoverdynamicallyfromsystemfailure,faults,errors,orsecuritybreaches;andself-op&mizingsystemsthatareabletoopImizetheirperformancedynamicallywithrespecttochangingoperaIonalprofiles.

•  REchallenges:–  IdenIfyingandspecifyingthresholdsforwhenthesys-temshouldadapt–  Specifyingvariablesetsofrequirements–  MatchingrequirementsalternaIvestorun-Imeneeds–  IdenIfyingcorrectnesscriteriaforadapIvesystems–  VerifyingmodelsofadapIvesystemsandtheirsetsofpossiblebehaviors–  Monitoringthesystemandenvironment,againstthecurrentrequirements

Dr.BirgitPenzenstadler 23

GlobalizaIon•  GlobalsoEwaredevelopmentisanemergingparadigmshic

towardsgloballydistributeddevelopmentteams(exploita24-hourworkday,capitalizeonglobalresourcepools,de-creasecosts,andbegeographicallyclosertotheend-consumer).

•  Downside:communicaIongaps•  Challenges:

–  1.neworextendedREtechniquesareneededtosupportoutsourcingofdownstreamdevelopmenttasks,suchasdesign,coding,andtesIng.

–  2.toenableeffecIvedistributedRE,i.e.managedistributedrequirementselicitaIon,distributedmodeling,distributedrequirementsnegoIaIon,andthemanagementofdistributedteams

Dr.BirgitPenzenstadler 24

Methodologies,Paberns,andTools

•  ThetransferofREtechnologiesfromresearchintopracIcewouldbenefitfrombeberadviceonhowtoapplythetechnologiesmoresystemaIcally.

•  Thegoalsofthistypeofengineering-styleresearcharetoimprovetheproducIvityoftherequirementsanalystandtoimprovethequalityoftheresulIngrequirementsarIfacts.

•  Forexample,justaspa3ernshelptoeasethecreaIonoflogicexpressions,researchintoidiomsandpabernsforothermodelingproblemsandnotaIonswouldimprovetheproduc6vityofmodelers.

•  Similarly,modelingconven6ons,methodologies,andstrategiesallhelptosimplifyREtechniquessothatthetechniquescanbeusedsuccessfullybytypicalpracIIoners.

•  Becausepabernsandstrategiesare,orsuggest,parIalsoluIons,theyhelpalsotoimposesomelevelofuniformityandpredictabilityintheresulIngrequirementsdescripIons.

Dr.BirgitPenzenstadler 25

Methodologies,Paberns,andTools

•  DespitethesignificantadvancesthathavebeenmadeinrequirementsmodelingandnotaIons,therehasbeenlibleworkonhowtointerconnectvarioustypesofrequirementsmodels.

•  Well-definedapproachestointerrelaIngrequirementsgoals,scenarios,data,funcIons,state-basedbehavior,andconstraintsareneededtoaddressthisfundamentalproblem.

•  FurtherresearchisneededonhowtointegrateREtechnologies,sothatpracIIonersknowhowtoapplyindividualtechnologieseffecIvelyandsynergisIcally.

Dr.BirgitPenzenstadler 26

RequirementsReuse

•  AnotherapproachtomakingREtasksmoreprescripIveandsystemaIcwouldbetofacilitatethereuseofexisIngrequirementsarIfacts.Themoststrategicformofrequirementsreuseisproductlining,

•  AkeyREchallengeforproduct-linedevelopmentincludesstrategicandeffecIvetechniquesforanalyzingdomains;idenIfyingopportuniIesforproductlining;andidenIfyingthescope,commonaliIes,andvariabiliIesofaproductline.

•  Asecondchallengerelatestohowrequirementsforproductlinesaredocumentedàe.g.featuremodels.

Dr.BirgitPenzenstadler 27

EffecIvenessofRETechnologies

•  Lastly,theulImateimpactofREresearchdependsonhowrelevanttheresultsaretoindustry’sshort-andlong-termneeds.Sofar,therehasbeensurprisinglylibleevaluaIonastohowwellREresearchresultsaddressindustryproblems.

•  PracIIonersneedhardevidencethatanewtechnologyiscost-effecIve,inordertojusIfytheoverhead,intrainingandinprocessdocumentaIon,ofchangingtheirdevelopmentprocesses.

•  InparIcular,pracIIonerswouldbenefitgreatlyfromempiricalstudiesthatassessthecostsandbenefitsofusingproposedtechnologies,assessthescopeofproblemstowhichresearchresultscanfeasiblybeapplied,andcomparetheeffecIvenessofcompeIngtechnologies.

•  Therehavebeenafewstudiesalongtheselines.àWhataretheproblemshereforthosestudies?

Dr.BirgitPenzenstadler 28

EffecIvenessofRETechnologies

•  Lastly,theulImateimpactofREresearchdependsonhowrelevanttheresultsaretoindustry’sshort-andlong-termneeds.Sofar,therehasbeensurprisinglylibleevaluaIonastohowwellREresearchresultsaddressindustryproblems.

•  PracIIonersneedhardevidencethatanewtechnologyiscost-effecIve,inordertojusIfytheoverhead,intrainingandinprocessdocumentaIon,ofchangingtheirdevelopmentprocesses.

•  InparIcular,pracIIonerswouldbenefitgreatlyfromempiricalstudiesthatassessthecostsandbenefitsofusingproposedtechnologies,assessthescopeofproblemstowhichresearchresultscanfeasiblybeapplied,andcomparetheeffecIvenessofcompeIngtechnologies.

•  Therehavebeenafewstudiesalongtheselines.àWhataretheproblemshereforthosestudies?

Dr.BirgitPenzenstadler 29

FiverecommendaIons…thattheREcommunitycouldtakeimmediateacIonon,tostartimprovingthematurityofcurrentrequirementstechnologies:•  ResearchersshouldworkwithpracIIoners.•  REresearchersshouldworkwithotherSEresearchersand

pracIIoners,toestablishstrongerlinksbetweentheirrespecIvearIfacts.

•  REresearchersshouldnotneglectevaluaIonandempiricalresearch.

•  IndustrialorganizaIonsshouldprovide(saniIzed)industrial-strengthprojectdatatoresearchers.

•  REresearchersandpracIIoners,together,shouldestablishrepositoriesofREarIfacts.

Dr.BirgitPenzenstadler 30