Future of WebServices testing (40min)

Future Of WebServices Testing 40min -ppt Download

  • Date:11 Jan 2021
  • Views:12
  • Downloads:0
  • Size:2.05 MB

Share Presentation : Future Of WebServices Testing 40min

Download and Preview : Future Of WebServices Testing 40min

Report CopyRight/DMCA Form For : Future Of WebServices Testing 40min


Transcription:

Abstract StatePresented ByVanithadevi DevarajanXuesong ChenAsmL Modelling.
SASQAG 16Jan03 2003 Microsoft Corporation All Rights Reserved 1Introduction to ASMTool ComparisonASML Tool DemoApplications.
AsmL ModellingSASQAG 16Jan03 2003 Microsoft Corporation All Rights Reserved 2 What is ASM ASM Abstract State Machine Proposed by Yuri Gurevich in mid 1980 s .
Further developed by Egon Borger as aSoftware Engineering Method forSoftware development Embedded Hardware and SoftwareAsmL Modelling.
SASQAG 16Jan03 2003 Microsoft Corporation All Rights Reserved 3 MotivationFormulation ofReal WorldUnderstanding.
AlgorithmicCode ExecutionAsmL ModellingSASQAG 16Jan03 2003 Microsoft Corporation All Rights Reserved 4 Software Reliability.
Design AnalysisSingle Agent Multiple AgentAsmL ModellingSASQAG 16Jan03 2003 Microsoft Corporation All Rights Reserved 5 Hierarchial Modeling.
Ground ModelResult of Requirement Capture ProcessBinding Contract between Customer andDesign EngineerRefined Model.
Refining of Ground ModelDesign DecisionsAsmL ModellingSASQAG 16Jan03 2003 Microsoft Corporation All Rights Reserved 6 Basic Definition of ASM.
A basic ASM M is a tuple of the form R PM Signature i e a finite set of function names f Set of initial states for signatureR Set of rule declarationsPM Distinguished rule of arbitrary zero.
AsmL ModellingSASQAG 16Jan03 2003 Microsoft Corporation All Rights Reserved 7 ASM TermsMathematical LogicEg Terms Variable assignment Formula .
Evaluation of Terms Semantics of FormulaState TransitionsTransition RulesEg Skip rule SkipConditional rule if x then P else Q.
AsmL ModellingSASQAG 16Jan03 2003 Microsoft Corporation All Rights Reserved 8 Characteristics of ASMMethodologyASM itself semantically clear and Mathematics underpin .
FaithfulnessHow does one know that the specification accuratelydescribes the corresponding real system UnderstandabilityEasy to read and write specification.
AsmL ModellingSASQAG 16Jan03 2003 Microsoft Corporation All Rights Reserved 9 Asm ToolsAsmL ModellingSASQAG 16Jan03 2003 Microsoft Corporation All Rights Reserved 10.
ASM Tool ComparisonExecutable Specification LanguageA precise non ambiguous way to specify a ComputerAn ideal way for teams to communicate design decisionsseful before you commit yourself to coding the entire.
AsmL ModellingSASQAG 16Jan03 2003 Microsoft Corporation All Rights Reserved 11 ASMGoferAn advanced Abstract State Machine programmingProvides a Modern ASM Interpreter embedded in the.
well known functional programming language Gofer AsmGofer is an extension of TkGofer developed inorder to support GUI AsmL ModellingSASQAG 16Jan03 2003 Microsoft Corporation All Rights Reserved 12.
ASMETA the Abstract State Machine Metamodel and itsGuidelines of the Model Driven Engineering Includes ATGT AsmL ModellingSASQAG 16Jan03 2003 Microsoft Corporation All Rights Reserved 13.
ASM ASMLCan one generalize Turing Machines so that any algorithm nevermind how abstract can be modeled by a generalized machine veryclosely and faithfully NOSuppose such generalized Turing Machines exists What would be.
their states be First Order Structures What instructions should the generalized machines have Can one get away with only a bounded set of instructions Computation as an Evolution of the StateEvolving Algebra Dynamic Algebra ASM.
Non Executable ASM Executable ASMLAsmL ModellingSASQAG 16Jan03 2003 Microsoft Corporation All Rights Reserved 14 ASML Abstract StateMachine Language.
AsmL ModellingSASQAG 16Jan03 2003 Microsoft Corporation All Rights Reserved 15 Modeling Approach of ASMLHow existing system works and How new system works Abstract State.
Encodes only those aspects of System s structure that affects the behavior beingGoal Use minimum details to reproduce the behavior of the SystemDistinct Operational StepsBehavior of the model matches step by step the behavior of the System beingStep for Step Correspondence is an important aspect of ASML.
Technical name for the way ASML models describe operational steps ASMBehavior of the machine RUN Sequence of states linked by State TransitionsEvolution of State VariablesMachines State as a dictionary of name value pairs called State Variables Names are given by Machine s Symbolic Vocabulary .
Values are Fixed Elements like Numbers and Strings of Characters AsmL ModellingSASQAG 16Jan03 2003 Microsoft Corporation All Rights Reserved 16Initialise Process AllMode Initial Mode Active Mode Final .
Orders 0 Orders 2 Orders 0Balance 0 Balance 200 Balance 500 Fig shows the RUN of a Machine that models how orders might be processed Each Transition Operation is a result of invoking the Machine s Control Logic onthe current state Each Operation calculates the subsequence state as output .
AsmL ModellingSASQAG 16Jan03 2003 Microsoft Corporation All Rights Reserved 17 Control LogicControl Logic behaves like a fixed set of transition rules that sayhow state may evolve .
Think of the Control Logic as a text that precisely specifies For any given State What the values of the Machine s Variables will be in thenext Step Typical form of the Operational Text is if condition then update .
AsmL ModellingSASQAG 16Jan03 2003 Microsoft Corporation All Rights Reserved 18 Control Logic as a Black BoxThe MCL is a black box that takes state dictionary S1 as input and gives statedictionary S2 as O P.
Mode Initial The Machine s ControlBalance 0Logic outputMode Active .
if mode Initial then mode Active Balance 200Rule If condition ie mode Initial is true then update new mode Active occurs.
AsmL ModellingSASQAG 16Jan03 2003 Microsoft Corporation All Rights Reserved 19 Update OpearationsWe use theSymbol Update Operator Read as gets .
Used to indicate the value that a Name will have in theresulting state Eg mode Active mode gets Activea b Update Operations AsmL Modelling.
SASQAG 16Jan03 2003 Microsoft Corporation All Rights Reserved 20 Atomic TransactionA Consequence of handling states to the Control Logic Unit andobserving only the new state is that changes are not visible asintermediate results New states can be seen only during the.
following step Contrast to Java C Visual Basic etc where changes takes placeimmediately in sequential order In ASML all changes happen simultaneously when we move fromone step to another and then all Updates happen at once Atomic.
Transaction Treating updates as Atomic Transactions is an essential feature ofOrder of update operations within a step is not specific AsmL ModellingSASQAG 16Jan03 2003 Microsoft Corporation All Rights Reserved 21.
ProgramsA machine is defined by a program that has State Variables andControl Logic Syntax Similar to simple programming languages But programs with this simple syntax have different properties from.
procedural programs ASML programs use identation to denote block structure unlike or special keywords like Begin and end ASML does not recognises tab The keyword step marks the transition from one state to another .
AsmL ModellingSASQAG 16Jan03 2003 Microsoft Corporation All Rights Reserved 22 Stepping into ASML An AsmL Program for I O Variable Initialisation.
var A as StringmyInt1 as Integer 100WriteLine Integer Value myInt1 Write Enter your name A ReadLine .
WriteLine Entered Name A WriteLine Hello A Output Integer value 100Enter your name JohnHello John .
AsmL ModellingSASQAG 16Jan03 2003 Microsoft Corporation All Rights Reserved 23 The Update Statement Importance of Step WriteLine In the first step x x x is 0.
WriteLine In the first step y y y is 1 updates occur hereWriteLine In the second step x x x is 2 Value of x is upadated to 2WriteLine In the second step y y y is 1 Value of y is NOT updated to 3Updates don t actually occur until the Step following the one in which they are.
AsmL ModellingSASQAG 16Jan03 2003 Microsoft Corporation All Rights Reserved 24 Special Feature of ASML Parallelism Parallel Execution Non Parallel Execution.
parallel asml nonparallel asmlvar A as Integer 0 var A as Integer 0Main Main parallel block begins WriteLine A non parallel block beginsA A 1 step.
WriteLine A WriteLine A A A 1 stepWriteLine A A A 1 parallel block ends stepWriteLine A .
step A A 1step WriteLine A non parallel block endsAsmL ModellingSASQAG 16Jan03 2003 Microsoft Corporation All Rights Reserved 25.
Importance of Parallelism In C Java In AsmLEnforced Sequential Operations No Enforced Sequential Operation Parallelism Need for Temporary Variable.
One Step Operationvar A as Integer 1var B as Integer 2t a Main a b A B.
b t update not yet taken effectWriteLine In the first step A A WriteLine In the first step B B updates have taken effectWriteLine In the second step A A .
WriteLine In the second step B B AsmL ModellingSASQAG 16Jan03 2003 Microsoft Corporation All Rights Reserved 26 Consistency of updatesThe order within a step does not matter but all of updates in the.
step must be consistent None of the updates given within a step may contradict each other If updates do contradict then they are called inconsistentupdates and an error occurError Clash in the Update set since we may not know which one of.
the two values takes effect AsmL ModellingSASQAG 16Jan03 2003 Microsoft Corporation All Rights Reserved 27 Total and Partial UpdatesAn update of the variable can either be total or partial.
Total update is a simple replacement of variable s value with a newPartial updates apply to variables that have structure such as sets Total Updatevar Students as Set of String WriteLine The initial roster is Students .
Students Bill Carol Ted Alice WriteLine The final roster is Students AsmL ModellingSASQAG 16Jan03 2003 Microsoft Corporation All Rights Reserved 28 Partial Update.
var Students as Set of String WriteLine The initial roster is Students Students Bill trueStudents Carol trueStudents Ted true.
Students Alice trueWriteLine The updated roster is Students Students Bill falseWriteLine The current roster is Students AsmL Modelling.
SASQAG 16Jan03 2003 Microsoft Corporation All Rights Reserved 29Similar to other languages Templates for user defined typesDifferenceObjects have meaning only as Identities.
Abstract element or Object IdentitiesAsmL ModellingSASQAG 16Jan03 2003 Microsoft Corporation All Rights Reserved 30Instance of class Sample Program.
class Personvar name as Stringvar age as Stringvar p1 new Person William 40 var p1 new Person Amy 20 .
p1 name Bill WriteLine Name of p1 p1 WriteLine Name of p2 p1 AsmL ModellingSASQAG 16Jan03 2003 Microsoft Corporation All Rights Reserved 31.
Non DeterminismFinite set of possibilitiesWithin that set the result may be any value but we don t know which oneNon Deterministic ChoiceA 1 10 .
x any y y in AWriteLine X is x AsmL ModellingSASQAG 16Jan03r 2003 Microsoft Corporation All Rights Reserved 32 Conditionals and Loops.
If statementLogical Operatorand or not iff impliesAsmL ModellingSASQAG 16Jan03 2003 Microsoft Corporation All Rights Reserved 33.
Importance of AsmL Precise non ambiguous way to specify a Computer System Ideal way for design decisions Program Managers Developers and Testers all can use an AsmLspecification to achieve Single Unified Understanding .
Greatest Benefit Execution Useful before committing to code Answers the following questions by exploring the designDoes it do everything you intended to do How do the features interact .
Are there any unintended behaviors AsmL ModellingSASQAG 16Jan03 2003 Microsoft Corporation All Rights Reserved 34 ApplicationGame of Life.
http www di unipi it boerger A... Is a cellular automation devised by British MathematicianMotivation Software Reliability Hierarchial Modeling Technique Basic Definition of ASM ASM Terms Characteristics of ASM Methodology Asm Tools ASM Tool Comparison ASML ASMGofer AsmM ASM & ASML ASML - Abstract State Machine Language Modeling Approach of ASML Example Control Logic Control Logic as a Black Box Update Opearations Atomic Transaction ...

Related Presentations

Unit Testing System Testing HCI Usability Testing

Testing HCI Usability Testing ... all events that cause a state change in the object Integration testing is replaced by thread-based testing -- test the set of classes required to respond to an input or system event or use case scenario. HCI Usability Testing Users give satisfaction ratings and critiques regarding interaction with the system ...

39 Views0 Downloads

Testing Testing Testing msdnshared blob core windows net

Agenda. Introducción a las pruebas. Tipos de Pruebas. Pruebas Unitarias. Pruebas de Integración. Pruebas Funcionales. Pruebas de Rendimiento. Integración con TeamFoundation

29 Views0 Downloads

Coagulation Testing Point of care Testing

JCAHO Joint Commission on Accreditation of Health Care Orgs CAP College of American Pathologists FDA Food and Drug Administration CDRH Center for Devices and Radiological Health CMS Centers for Medicare and Medicaid Services CDC Centers for Disease Control CLIA Applies to ALL Testing Areas Central Laboratory Satellite Labs Critical Care ...

35 Views0 Downloads

Growing testing skills using the Agile Testing Ecosystem

Good way to communicate how testing can play a part throughout the whole sprint, not just using testing as a safety mechanism at the end. Years of advocacy on risk-based testing, exploratory testing, and embedding testers through agile development teams – but this model has already yielded the most obvious “a-ha” moments.

19 Views0 Downloads

The Future of Testing Montana State University

Automated Testing Automated testing can fall into two areas: automated application of tests and automatic test generation. Automatic test generation uses a formal representation of the specification to build test script that can be applied by a test harness to the system under test. Regression Testing Regression testing uses a knowledge of what ...

4 Views0 Downloads

Future Continuous Future

the cloning techniques and brought T-Rex back to life. Ana Maria Coelho. Future perfect By 2030 what will have happened? I think that by 2030 extraterrestrials . will have made . contact. ... is to be taken .

37 Views0 Downloads

FUTURE CONTINUOUS FUTURE PERFECT

FUTURE PERFECT Examples: By this time next month I´ll have done all the work (i.e. the work will be finished next month at the latest). In 5 years’ time I ’ll have had two children. By the time we get to the cinema, the film will have started. FUTURE PERFECT AND FUTURE CONTINUOUS Adapted from a power point presentation by Ana Martínez.

41 Views0 Downloads

FUTURE CONTINUOUS FUTURE PERFECT eoigijon

FUTURE CONTINUOUS FORM: WILL BE + VERB + -ING USE: To say that an action will be in progress at a certain time in the future. Examples: This time tomorrow, I´ll be lying on the beach in the sun. Don´t phone me between 7 and 8 as we´ll be having dinner then.

30 Views0 Downloads

Back to The Future Divining the Future of AI

Chess and other game playing programs. Kalah: R. Russell. Chess: McCarthy, Barbara Huberman (Liskov) ... World Champion Chess Machine. Read a book and answer questions at the end of chapter. ... Much of what transpired in AI and CS in the last 40 years can be seen to have roots in the activities of the 60s! Except that we now have a million ...

33 Views0 Downloads

The Future X Network The Past Present amp Future

The Future X Network: Global-Local is the New Reality Immersive ‘field of view’ for Virtual Reality ‘virtual screen’ is much larger (e.g. 20x) 150o x 120o vs. 30o for HDTV

22 Views0 Downloads

OUR FUTURE YOUR FUTURE

OUR FUTURE YOUR FUTURE A Vision for RRVJA EXPANSION Building A Brand-New School On A Newly Acquired Site SNYOPSIS OF OPTION 1 Projected to be a 100-year legacy Would house up to 500 students Requires $6 million fundraising Is a 10-year long-range plan LIMITATIONS Lack of ample storage space Small administration space Lack of a private/quiet counseling area Lacking a comfortable staff room Air ...

20 Views0 Downloads

See the Future a report on future trends in business

Entrepreneurship bootcamp. 18.31%. Engage with alumni from day one of study. 14.44%. Business start-up/small business accelerator programme. 24.01%. Mentor programme. 23.00%. Working on projects to help charities and social enterprises. 23.18%. Learning a new language. 24.38%. Tackling projects on society’s grand challenges (e.g. climate ...

12 Views0 Downloads