Browse Prior Art Database

Programming Reflexes - secure unobtrussive way to test software

IP.com Disclosure Number: IPCOM000249238D
Publication Date: 2017-Feb-13
Document File: 3 page(s) / 33K

Publishing Venue

The IP.com Prior Art Database

Abstract

Programming Reflexes - a secure unobtrussive way to test software while it is running, by preinstalling special code snippets into the program code

This text was extracted from a PDF file.
This is the abbreviated version, containing approximately 37% of the total text.

1

Programming Reflexes - secure unobtrussive way to test software

Theproblemweaimtosolveistheverificationproblemof"ismyprogramrunningaccordingto myspecification?". Theprogrammingreflexesframeworkencapsulatestheimplementationdetailsofthetesting  structureandandprovidesaconstructforadynamic,proven,unobtrusivebehavioraltestingof softwaretherebysimplifyingtheengineers'work. ProgrammingReflexesaremeanttosolvethesameproblemasmodernverificationschemes  includingFormalVerification,IntegrationTestingandUnitTesting. Themainideabehindtheprogrammingreflexframeworkarethetechniquesthatareprovento  notchangethesemanticsoftheprogramwhileallowingdynamicreal -timetesting.Themain advantagestousingtheframeworkoverthepreviouslyusedmethodsaretheproven unobtrusivenessandthefactthatthesemethodsallowsfortheencapsulationofthetesting  implementationdetailswhileallowingtheprogrammeronlytowriteatestingfunction ,very similartotheconstructorfunctionscommonlyusedinhighlevelobjectorientedlanguages . Oneofthemostobviousadvantagestousingthisschemeisthesimplicityoftestingand  debuggingaprogrammid-run. Forexample,inordertocreateanIntegrationtest,aprogrammerwouldneedtosimulatea regularuseofthemodulesinquestionasiftheywereproperlyfunctioningwhereas  programmingreflexesallowthesystemtoactuallyoperatewhiletesting.Inordertocreateaunit testing,youmighthavetobringtheinternalstateofthemoduletoacomplexstate (simulating regularuse)beforeaspecifictestcanberun,whereaswithprogrammingreflexes,themoduleis simplytestedduringruntime. Description of the Framework: TheProgrammingReflexesframeworkcanbedividedintoacoupleapproaches . InPlaceapproach: TheFrameworkallowsthetestingofspecificpropertiesofthesystemorvaluesofspecific  variables. Thisisdonebyaddingagoverningmodulecalledthereflexmonitorwhichisrunindependently  oftheprogramontheenvironment.Thismodule"listens"toareflexrequesteitherfromauserof theframeworkorascheduler(forperiodictesting).Thereflexmonitorreturnsaresponsetothe useritreceivedtherequest(tomakesuretherequestishandled)andservestheprogramwitha reflexrequest.Thisallowstheprogramtorespondatanypointitmaybein. SubsystemScale Inthesubsystemscaleweprovidetestabilityofindividualunitsofcode ,whethertheybe function,classesorevengroupoflinesofcode.Thesub-systemscaleisimplementedbyallowing theusertowritefunctionaltestsforthespecificareaofinterest ,whilegivingadefaultreflex functionalitytotheotherparts.Whenareflexrequestismade,thefunctionaltestwillbe performedandananswertothepredicateitrepresentswillbereturnedtotheuserthroughthe  reflexmonitor. SystemScale Th...