Enviar búsqueda
Cargar
Filmstrip testing
•
Descargar como PPT, PDF
•
1 recomendación
•
505 vistas
C
ClarkTony
Seguir
Tecnología
Denunciar
Compartir
Denunciar
Compartir
1 de 24
Descargar ahora
Recomendados
Bti1022 lab sheet 8
Bti1022 lab sheet 8
alish sha
Newton cotes method
Newton cotes method
Faisal Saeed
Faisal
Faisal
Faisal Saeed
Classroom station
Classroom station
David Dubble
Projected visuals
Projected visuals
markebalde
maximizing the use of Overhead Projector and the Chalkboard
maximizing the use of Overhead Projector and the Chalkboard
Mitchmartinez
The Overhead Projector
The Overhead Projector
Mhelane Herebesi
Projectors
Projectors
Rehan Fazal
Recomendados
Bti1022 lab sheet 8
Bti1022 lab sheet 8
alish sha
Newton cotes method
Newton cotes method
Faisal Saeed
Faisal
Faisal
Faisal Saeed
Classroom station
Classroom station
David Dubble
Projected visuals
Projected visuals
markebalde
maximizing the use of Overhead Projector and the Chalkboard
maximizing the use of Overhead Projector and the Chalkboard
Mitchmartinez
The Overhead Projector
The Overhead Projector
Mhelane Herebesi
Projectors
Projectors
Rehan Fazal
Exploring Angular 2 - Episode 2
Exploring Angular 2 - Episode 2
Ahmed Moawad
닷넷 개발자를 위한 패턴이야기
닷넷 개발자를 위한 패턴이야기
YoungSu Son
Pattern Matching: From Small Enhancement to Major Feature (talk from JavaLand...
Pattern Matching: From Small Enhancement to Major Feature (talk from JavaLand...
🎤 Hanno Embregts 🎸
Art & music vs Google App Engine
Art & music vs Google App Engine
thomas alisi
Intro to Clojure's core.async
Intro to Clojure's core.async
Leonardo Borges
Ast 09
Ast 09
ClarkTony
My First Rails Plugin - Usertext
My First Rails Plugin - Usertext
frankieroberto
SystemVerilog OOP Ovm Features Summary
SystemVerilog OOP Ovm Features Summary
Amal Khailtash
XML-Free Programming
XML-Free Programming
Stephen Chin
Dynamic Tracing of your AMP web site
Dynamic Tracing of your AMP web site
Sriram Natarajan
Symfony 4 Workshop - Limenius
Symfony 4 Workshop - Limenius
Ignacio Martín
Re-Design with Elixir/OTP
Re-Design with Elixir/OTP
Mustafa TURAN
Stat Design3 18 09
Stat Design3 18 09
stat
Advanced patterns in asynchronous programming
Advanced patterns in asynchronous programming
Michael Arenzon
Deeper into ARKit with CoreML and Turi Create
Deeper into ARKit with CoreML and Turi Create
Soojin Ro
Word embeddings as a service - PyData NYC 2015
Word embeddings as a service - PyData NYC 2015
François Scharffe
"Full Stack frameworks or a story about how to reconcile Front (good) and Bac...
"Full Stack frameworks or a story about how to reconcile Front (good) and Bac...
Fwdays
Shape Safety in Tensor Programming is Easy for a Theorem Prover -SBTB 2021
Shape Safety in Tensor Programming is Easy for a Theorem Prover -SBTB 2021
Peng Cheng
16. Java stacks and queues
16. Java stacks and queues
Intro C# Book
Summary of C++17 features
Summary of C++17 features
Bartlomiej Filipek
The Uncertain Enterprise
The Uncertain Enterprise
ClarkTony
Actors for Behavioural Simulation
Actors for Behavioural Simulation
ClarkTony
Más contenido relacionado
Similar a Filmstrip testing
Exploring Angular 2 - Episode 2
Exploring Angular 2 - Episode 2
Ahmed Moawad
닷넷 개발자를 위한 패턴이야기
닷넷 개발자를 위한 패턴이야기
YoungSu Son
Pattern Matching: From Small Enhancement to Major Feature (talk from JavaLand...
Pattern Matching: From Small Enhancement to Major Feature (talk from JavaLand...
🎤 Hanno Embregts 🎸
Art & music vs Google App Engine
Art & music vs Google App Engine
thomas alisi
Intro to Clojure's core.async
Intro to Clojure's core.async
Leonardo Borges
Ast 09
Ast 09
ClarkTony
My First Rails Plugin - Usertext
My First Rails Plugin - Usertext
frankieroberto
SystemVerilog OOP Ovm Features Summary
SystemVerilog OOP Ovm Features Summary
Amal Khailtash
XML-Free Programming
XML-Free Programming
Stephen Chin
Dynamic Tracing of your AMP web site
Dynamic Tracing of your AMP web site
Sriram Natarajan
Symfony 4 Workshop - Limenius
Symfony 4 Workshop - Limenius
Ignacio Martín
Re-Design with Elixir/OTP
Re-Design with Elixir/OTP
Mustafa TURAN
Stat Design3 18 09
Stat Design3 18 09
stat
Advanced patterns in asynchronous programming
Advanced patterns in asynchronous programming
Michael Arenzon
Deeper into ARKit with CoreML and Turi Create
Deeper into ARKit with CoreML and Turi Create
Soojin Ro
Word embeddings as a service - PyData NYC 2015
Word embeddings as a service - PyData NYC 2015
François Scharffe
"Full Stack frameworks or a story about how to reconcile Front (good) and Bac...
"Full Stack frameworks or a story about how to reconcile Front (good) and Bac...
Fwdays
Shape Safety in Tensor Programming is Easy for a Theorem Prover -SBTB 2021
Shape Safety in Tensor Programming is Easy for a Theorem Prover -SBTB 2021
Peng Cheng
16. Java stacks and queues
16. Java stacks and queues
Intro C# Book
Summary of C++17 features
Summary of C++17 features
Bartlomiej Filipek
Similar a Filmstrip testing
(20)
Exploring Angular 2 - Episode 2
Exploring Angular 2 - Episode 2
닷넷 개발자를 위한 패턴이야기
닷넷 개발자를 위한 패턴이야기
Pattern Matching: From Small Enhancement to Major Feature (talk from JavaLand...
Pattern Matching: From Small Enhancement to Major Feature (talk from JavaLand...
Art & music vs Google App Engine
Art & music vs Google App Engine
Intro to Clojure's core.async
Intro to Clojure's core.async
Ast 09
Ast 09
My First Rails Plugin - Usertext
My First Rails Plugin - Usertext
SystemVerilog OOP Ovm Features Summary
SystemVerilog OOP Ovm Features Summary
XML-Free Programming
XML-Free Programming
Dynamic Tracing of your AMP web site
Dynamic Tracing of your AMP web site
Symfony 4 Workshop - Limenius
Symfony 4 Workshop - Limenius
Re-Design with Elixir/OTP
Re-Design with Elixir/OTP
Stat Design3 18 09
Stat Design3 18 09
Advanced patterns in asynchronous programming
Advanced patterns in asynchronous programming
Deeper into ARKit with CoreML and Turi Create
Deeper into ARKit with CoreML and Turi Create
Word embeddings as a service - PyData NYC 2015
Word embeddings as a service - PyData NYC 2015
"Full Stack frameworks or a story about how to reconcile Front (good) and Bac...
"Full Stack frameworks or a story about how to reconcile Front (good) and Bac...
Shape Safety in Tensor Programming is Easy for a Theorem Prover -SBTB 2021
Shape Safety in Tensor Programming is Easy for a Theorem Prover -SBTB 2021
16. Java stacks and queues
16. Java stacks and queues
Summary of C++17 features
Summary of C++17 features
Más de ClarkTony
The Uncertain Enterprise
The Uncertain Enterprise
ClarkTony
Actors for Behavioural Simulation
Actors for Behavioural Simulation
ClarkTony
Context-Aware Content-Centric Collaborative Workflow Management for Mobile De...
Context-Aware Content-Centric Collaborative Workflow Management for Mobile De...
ClarkTony
LEAP A Language for Architecture Design, Simulation and Analysis
LEAP A Language for Architecture Design, Simulation and Analysis
ClarkTony
A Common Basis for Modelling Service-Oriented and Event-Driven Architecture
A Common Basis for Modelling Service-Oriented and Event-Driven Architecture
ClarkTony
Context Aware Reactive Applications
Context Aware Reactive Applications
ClarkTony
Model Slicing
Model Slicing
ClarkTony
Patterns 200711
Patterns 200711
ClarkTony
Kings 120711
Kings 120711
ClarkTony
Iswim for testing
Iswim for testing
ClarkTony
Iswim for testing
Iswim for testing
ClarkTony
Kiss at oopsla 09
Kiss at oopsla 09
ClarkTony
Mcms and ids sig
Mcms and ids sig
ClarkTony
Ocl 09
Ocl 09
ClarkTony
Scam 08
Scam 08
ClarkTony
Reverse engineering and theory building v3
Reverse engineering and theory building v3
ClarkTony
Onward presentation.en
Onward presentation.en
ClarkTony
Hcse pres
Hcse pres
ClarkTony
Formalizing homogeneous language embeddings
Formalizing homogeneous language embeddings
ClarkTony
Dsm as theory building
Dsm as theory building
ClarkTony
Más de ClarkTony
(20)
The Uncertain Enterprise
The Uncertain Enterprise
Actors for Behavioural Simulation
Actors for Behavioural Simulation
Context-Aware Content-Centric Collaborative Workflow Management for Mobile De...
Context-Aware Content-Centric Collaborative Workflow Management for Mobile De...
LEAP A Language for Architecture Design, Simulation and Analysis
LEAP A Language for Architecture Design, Simulation and Analysis
A Common Basis for Modelling Service-Oriented and Event-Driven Architecture
A Common Basis for Modelling Service-Oriented and Event-Driven Architecture
Context Aware Reactive Applications
Context Aware Reactive Applications
Model Slicing
Model Slicing
Patterns 200711
Patterns 200711
Kings 120711
Kings 120711
Iswim for testing
Iswim for testing
Iswim for testing
Iswim for testing
Kiss at oopsla 09
Kiss at oopsla 09
Mcms and ids sig
Mcms and ids sig
Ocl 09
Ocl 09
Scam 08
Scam 08
Reverse engineering and theory building v3
Reverse engineering and theory building v3
Onward presentation.en
Onward presentation.en
Hcse pres
Hcse pres
Formalizing homogeneous language embeddings
Formalizing homogeneous language embeddings
Dsm as theory building
Dsm as theory building
Último
Artificial Intelligence Chap.5 : Uncertainty
Artificial Intelligence Chap.5 : Uncertainty
Khushali Kathiriya
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe
apidays
2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...
Martijn de Jong
Boost PC performance: How more available memory can improve productivity
Boost PC performance: How more available memory can improve productivity
Principled Technologies
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Safe Software
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
DianaGray10
Automating Google Workspace (GWS) & more with Apps Script
Automating Google Workspace (GWS) & more with Apps Script
wesley chun
Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...
Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...
Miguel Araújo
A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)
Gabriella Davis
Tata AIG General Insurance Company - Insurer Innovation Award 2024
Tata AIG General Insurance Company - Insurer Innovation Award 2024
The Digital Insurer
Deploy with confidence: VMware Cloud Foundation 5.1 on next gen Dell PowerEdg...
Deploy with confidence: VMware Cloud Foundation 5.1 on next gen Dell PowerEdg...
Principled Technologies
Real Time Object Detection Using Open CV
Real Time Object Detection Using Open CV
Khem
TrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
TrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
TrustArc
MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024
MIND CTI
presentation ICT roal in 21st century education
presentation ICT roal in 21st century education
jfdjdjcjdnsjd
Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024
The Digital Insurer
Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...
Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...
Neo4j
TrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
TrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
TrustArc
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Juan lago vázquez
A Year of the Servo Reboot: Where Are We Now?
A Year of the Servo Reboot: Where Are We Now?
Igalia
Último
(20)
Artificial Intelligence Chap.5 : Uncertainty
Artificial Intelligence Chap.5 : Uncertainty
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe
2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...
Boost PC performance: How more available memory can improve productivity
Boost PC performance: How more available memory can improve productivity
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Automating Google Workspace (GWS) & more with Apps Script
Automating Google Workspace (GWS) & more with Apps Script
Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...
Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...
A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)
Tata AIG General Insurance Company - Insurer Innovation Award 2024
Tata AIG General Insurance Company - Insurer Innovation Award 2024
Deploy with confidence: VMware Cloud Foundation 5.1 on next gen Dell PowerEdg...
Deploy with confidence: VMware Cloud Foundation 5.1 on next gen Dell PowerEdg...
Real Time Object Detection Using Open CV
Real Time Object Detection Using Open CV
TrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
TrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024
presentation ICT roal in 21st century education
presentation ICT roal in 21st century education
Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024
Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...
Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...
TrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
TrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
A Year of the Servo Reboot: Where Are We Now?
A Year of the Servo Reboot: Where Are We Now?
Filmstrip testing
1.
Testing with Filmstrips
Tony Clark School of Computing Thames Valley University [email_address] http://itcentre.tvu.ac.uk/~clark/
2.
3.
4.
Testing with Filmstrips
5.
6.
A Case Study
7.
Basic Use Cases
8.
UML Meta Model
for Use Cases
9.
Proposed Extension
10.
Extended Use Case
Model
11.
An Approach to
DSL Design
12.
Filmstrip Semantic Domain
context Filmstrip inv : steps = children->iterate(c s = Seq{} | s + c.steps) context Filmstrip inv : steps->asBag = merged->iterate(c s = Seq{} | s + c.steps)->asBag
13.
Basic Semantic Mapping
context BasicSatisfaction inv : spec.inv->forAll(c | filmstrip.steps->forAll(s | c.satisfiedBy(s.before,env) and c.satisfiedBy(s.after,env))) context BasicSatisfaction inv : spec.pre->forAll(c | c.satisfiedBy(filmstrip.steps->first.before,env)) and spec.post->forAll(c | c.satisfiedBy(filmstrip.steps->last.before,env))
14.
Sequenced Behaviour context
SeqSatisfaction inv : filmstrip.children = children.filmstrip and children.spec = spec.children
15.
Alternative Behaviour context
AltSatisfaction inv : children->exists(r | r.filmstrip = filmstrip)
16.
Parallel Behaviour context
ParSatisfaction inv : children->filmstrip = filmstrip.merged and par.children = children.spec
17.
Behaviour Repetition context
StarSatisfaction inv : filmstrip.children->forAll(c | c = basicSatisfaction.filmstrip)
18.
19.
20.
21.
22.
Connecting to Java
Java Application Filmstrip Specification Filmstrip Engine Report Use Case Model
23.
Demo
24.
Descargar ahora