John D. McGregor Android Apps CPSC 372 John D. McGregor Android Apps

2nd exam 2nd exam Nov 3rd

http://www.cisco.com/c/en/us/about/press/internet-protocol-journal/back-issues/table-contents-34/syn-flooding-attacks.html http://qz.com/817516/dyn-ddos-attack-the-internet-of-things-is-totally-unregulated-and-that-might-have-to-change/ http://www.testandverification.com/wp-content/uploads/Testing%20the%20Internet%20of%20Things.pdf

Verify http://www.erts2016.org/uploads/program/paper_13.pdf

system requirements Supplier1 system requirements Supplier1.ADC : "Requirements for the Air Data Computer (ADC) subsystem of the Flight Guidance System" for Integrator::FGS::ADC::Spec::AirDataComputer [ val ADC_MaxWeight = 7.0 kg val ADC_PowerBudget = 1.5 W requirement R1 : "Weight Limit" [ description "The weight of the Air Data Computer (ADC) subsystem shall not exceed " ADC_MaxWeight] requirement R2 : "Power Budget" [ description "The power needs of the Air Data Computer (ADC) subsystem ADC_PowerBudget ] requirement R3_1 : "Internal-Computing Self Sufficiency" [ description "The software internal to the Air Data Computer (ADC) subsystem shall not require any computing resources external to the ADC."] requirement R3_2 : "External-Computing Self Sufficiency" [ description "The Air Data Computer (ADC) will not make any computing resources available externally." ] ]

verification plan ADCVplan for Supplier1.ADC [ claim R1 [ activities weightlimit: Plugins.MassAnalysis() ] claim R2 [ powerbudget: Plugins.ElectricalPower() claim R3_1 [ InternallySelfSufficient: AircraftExampleRegistry.NoExternalCPUDemand() claim R3_2 [ ExternallySelfSufficient: AircraftExampleRegistry.NoCPUCapacityForOthers()

MVP/MVC http://www.tinmegali.com/en/model-view-presenter-android-part-1/ http://macoscope.com/blog/model-view-presenter-architecture-in-android-applications/#main

Here’s what you are going to do AADL model of MVP and MVC Tests for the reqspec requirements using Verify Commit summary by Oct 31st 11:59pm