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
Introduction to FIDO Authentication and Passkeys.pptx
Introduction to FIDO Authentication and Passkeys.pptx
FIDO Alliance
Easier, Faster, and More Powerful – Alles Neu macht der Mai -Wir durchleuchte...
Easier, Faster, and More Powerful – Alles Neu macht der Mai -Wir durchleuchte...
panagenda
Event-Driven Architecture Masterclass: Challenges in Stream Processing
Event-Driven Architecture Masterclass: Challenges in Stream Processing
ScyllaDB
Human Expert Website Manual WCAG 2.0 2.1 2.2 Audit - Digital Accessibility Au...
Human Expert Website Manual WCAG 2.0 2.1 2.2 Audit - Digital Accessibility Au...
Skynet Technologies
Linux Foundation Edge _ Overview of FDO Software Components _ Randy at Intel.pdf
Linux Foundation Edge _ Overview of FDO Software Components _ Randy at Intel.pdf
FIDO Alliance
Choosing the Right FDO Deployment Model for Your Application _ Geoffrey at In...
Choosing the Right FDO Deployment Model for Your Application _ Geoffrey at In...
FIDO Alliance
Working together SRE & Platform Engineering
Working together SRE & Platform Engineering
Marcus Vechiato
State of the Smart Building Startup Landscape 2024!
State of the Smart Building Startup Landscape 2024!
Memoori
Long journey of Ruby Standard library at RubyKaigi 2024
Long journey of Ruby Standard library at RubyKaigi 2024
Hiroshi SHIBATA
The Value of Certifying Products for FDO _ Paul at FIDO Alliance.pdf
The Value of Certifying Products for FDO _ Paul at FIDO Alliance.pdf
FIDO Alliance
Breaking Down the Flutterwave Scandal What You Need to Know.pdf
Breaking Down the Flutterwave Scandal What You Need to Know.pdf
UK Journal
Overview of Hyperledger Foundation
Overview of Hyperledger Foundation
Hyperleger Tokyo Meetup
2024 May Patch Tuesday
2024 May Patch Tuesday
Ivanti
1111 ChatGPT Prompts PDF Free Download - Prompts for ChatGPT
1111 ChatGPT Prompts PDF Free Download - Prompts for ChatGPT
iSEO AI
Harnessing Passkeys in the Battle Against AI-Powered Cyber Threats.pptx
Harnessing Passkeys in the Battle Against AI-Powered Cyber Threats.pptx
FIDO Alliance
Your enemies use GenAI too - staying ahead of fraud with Neo4j
Your enemies use GenAI too - staying ahead of fraud with Neo4j
Neo4j
Continuing Bonds Through AI: A Hermeneutic Reflection on Thanabots
Continuing Bonds Through AI: A Hermeneutic Reflection on Thanabots
Leah Henrickson
FDO for Camera, Sensor and Networking Device – Commercial Solutions from VinC...
FDO for Camera, Sensor and Networking Device – Commercial Solutions from VinC...
FIDO Alliance
Easier, Faster, and More Powerful – Notes Document Properties Reimagined
Easier, Faster, and More Powerful – Notes Document Properties Reimagined
panagenda
WebRTC and SIP not just audio and video @ OpenSIPS 2024
WebRTC and SIP not just audio and video @ OpenSIPS 2024
Lorenzo Miniero
Último
(20)
Introduction to FIDO Authentication and Passkeys.pptx
Introduction to FIDO Authentication and Passkeys.pptx
Easier, Faster, and More Powerful – Alles Neu macht der Mai -Wir durchleuchte...
Easier, Faster, and More Powerful – Alles Neu macht der Mai -Wir durchleuchte...
Event-Driven Architecture Masterclass: Challenges in Stream Processing
Event-Driven Architecture Masterclass: Challenges in Stream Processing
Human Expert Website Manual WCAG 2.0 2.1 2.2 Audit - Digital Accessibility Au...
Human Expert Website Manual WCAG 2.0 2.1 2.2 Audit - Digital Accessibility Au...
Linux Foundation Edge _ Overview of FDO Software Components _ Randy at Intel.pdf
Linux Foundation Edge _ Overview of FDO Software Components _ Randy at Intel.pdf
Choosing the Right FDO Deployment Model for Your Application _ Geoffrey at In...
Choosing the Right FDO Deployment Model for Your Application _ Geoffrey at In...
Working together SRE & Platform Engineering
Working together SRE & Platform Engineering
State of the Smart Building Startup Landscape 2024!
State of the Smart Building Startup Landscape 2024!
Long journey of Ruby Standard library at RubyKaigi 2024
Long journey of Ruby Standard library at RubyKaigi 2024
The Value of Certifying Products for FDO _ Paul at FIDO Alliance.pdf
The Value of Certifying Products for FDO _ Paul at FIDO Alliance.pdf
Breaking Down the Flutterwave Scandal What You Need to Know.pdf
Breaking Down the Flutterwave Scandal What You Need to Know.pdf
Overview of Hyperledger Foundation
Overview of Hyperledger Foundation
2024 May Patch Tuesday
2024 May Patch Tuesday
1111 ChatGPT Prompts PDF Free Download - Prompts for ChatGPT
1111 ChatGPT Prompts PDF Free Download - Prompts for ChatGPT
Harnessing Passkeys in the Battle Against AI-Powered Cyber Threats.pptx
Harnessing Passkeys in the Battle Against AI-Powered Cyber Threats.pptx
Your enemies use GenAI too - staying ahead of fraud with Neo4j
Your enemies use GenAI too - staying ahead of fraud with Neo4j
Continuing Bonds Through AI: A Hermeneutic Reflection on Thanabots
Continuing Bonds Through AI: A Hermeneutic Reflection on Thanabots
FDO for Camera, Sensor and Networking Device – Commercial Solutions from VinC...
FDO for Camera, Sensor and Networking Device – Commercial Solutions from VinC...
Easier, Faster, and More Powerful – Notes Document Properties Reimagined
Easier, Faster, and More Powerful – Notes Document Properties Reimagined
WebRTC and SIP not just audio and video @ OpenSIPS 2024
WebRTC and SIP not just audio and video @ OpenSIPS 2024
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