SlideShare a Scribd company logo
Methods to test an e-learning Web application. [email_address]
Problematic and Motivations ,[object Object],[object Object],[object Object],[object Object],Jtel Summer school 09 Terchova, Slovakia 2 June 2009
Problematic and Motivations ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Jtel Summer school 09 Terchova, Slovakia 2 June 2009
Conformance testing Model Implementation in Java Implementation in C++ Conforms? standard ISO 9646  Jtel Summer school 09 Terchova, Slovakia 2 June 2009
Regression testing File a.tcl (version 0.1) File b.tcl (version 0.1) File c.tcl (version 0.1) File d.tcl (version 0.1) Execute conformance tests File c.tcl (version 0.2) Feature 1 Feature 2 Feature 3 Feature 4 Jtel Summer school 09 Terchova, Slovakia 2 June 2009
Regression testing File a.tcl (version 0.1) File b.tcl (version 0.1) File c.tcl (version 0.1) File d.tcl (version 0.1) Feature 1 Feature 2 Feature 3 Feature 4 Execute conformance tests File c.tcl (version 0.2) Jtel Summer school 09 Terchova, Slovakia 2 June 2009 Feature 5 ?
Regression testing Feature 1 Feature 2 Feature 3 Feature 4 Version 0.1 Feature 1 Feature 2 Feature 3 Feature 4 Feature 5 Version 0.2 ? Regression bugs detected in  Features 2 and 3 Jtel Summer school 09 Terchova, Slovakia 2 June 2009
Automatic Model Based  Testing Verdict System ? Jtel Summer school 09 Terchova, Slovakia 2 June 2009
Automatic  Model Based  Testing Automatic testing Verdict System Jtel Summer school 09 Terchova, Slovakia 2 June 2009
Automatic  Model Based  Testing Automatic testing Verdict Test cases System ?? Jtel Summer school 09 Terchova, Slovakia 2 June 2009
Automatic   Model Based Testing Automatic testing Verdict Test cases FORMAL Model of system System Jtel Summer school 09 Terchova, Slovakia 2 June 2009
Automatic   Model Based Testing Automatic testing Verdict Test cases FORMAL Model of system System ???? Jtel Summer school 09 Terchova, Slovakia 2 June 2009 Model
Model ,[object Object],[object Object],[object Object],[object Object],[object Object],Jtel Summer school 09 Terchova, Slovakia 2 June 2009
Model Jtel Summer school 09 Terchova, Slovakia 2 June 2009 Finit States Machine
Ready to model? Prolearn Summer school 09 Slovakia 2 June 2009 F: (usr,pass) L:register
Signup model Jtel Summer school 09 Terchova, Slovakia 2 June 2009 Our Login Page
Signup model Jtel Summer school 09 Terchova, Slovakia 2 June 2009
Signup model Jtel Summer school 09 Terchova, Slovakia 2 June 2009 http://mymoodleinstance.com http://mymoodleinstance.com/signup http://mymoodleinstance.com/home
Signup model Jtel Summer school 09 Terchova, Slovakia 2 June 2009 Task 1 Build a model of…
Jtel Summer school 09 Terchova, Slovakia 2 June 2009 User Password OK Signout Welcome Harry Potter My Frequently asked Questions My Faq 1 Q: Where is Terchova? A: In Slovakia 2 Q Where is Gerardo? A: In Terchova Add an Q&A   Signout Howards School LMS Add an Q&A Question: Answer: OK Signout
Signup model Jtel Summer school 09 Terchova, Slovakia 2 June 2009 q1 q1 q2 q3
Signup model Jtel Summer school 09 Terchova, Slovakia 2 June 2009 q1 q1 q2 q3 q1 q2 q3 q5 q7 q8
PRESENTATION OF METHODOLOGIES Jtel Summer school 09 Terchova, Slovakia 2 June 2009
Simulator of the model Jtel Summer school 09 Terchova, Slovakia 2 June 2009 s0 s1 s2 s3 s4 s0 s5 s6 s7 TP: Action=input w State= s5 ck1= d x/y a/b c/d a/d d/e w/y a/b c/d f/g
Simulation of the model Jtel Summer school 09 Terchova, Slovakia 2 June 2009 s0 s1 s2 s3 s4 s0 s5 s6 s7 TP: Action=input w State= s5 ck1= d x/y a/b c/d a/d d/e w/y a/b c/d f/g Trace 1: [s0, x, y,s1] 2: [s1, w,y,s5] Inputs x,w Expected outputs y,y Expected final state s5
Output of the test generator Jtel Summer school 09 Terchova, Slovakia 2 June 2009 ?login(user1, password1) / ! Text (Welcome) ?frequently_asked_questions() / ! Text (My Faq) . . . . ?login(user1,user2) Twt:: form find « login » Twt:: field fill « user1 » Twt:: fiend find « password » Twt:: field fill « password1 » Twt:: form submit Translation to  tclwebtest
Conformance test case (Automatic Model Based testing) Jtel Summer school 09 Terchova, Slovakia 2 June 2009 System Specs Formal Model (Functional +Security) Abstract Test Suites Test Scripts Test Execution  Trace Report Editor Test Generator Test Transformer Executor Analyzer 1. Modeling 2. Generation 3. Translation 5. Analysis 4. Execution Test Purposes
USE CASE Jtel Summer school 09 Terchova, Slovakia 2 June 2009
[object Object],Conformance test case Jtel Summer school 09 Terchova, Slovakia 2 June 2009
[object Object],[object Object],Verdict assignation if {[string match "*admin/one-faq*" $response_url] } { if { [catch {tclwebtest::form find ~n "faq_add_edit"} errmsg] || [catch {tclwebtest::field find ~v "$faq_new_name"} errmsg] } { aa_error  "faq::twt::edit_one failed $errmsg : Dont't Edit a Faq" } else { aa_log "Faq Edited“} Jtel Summer school 09 Terchova, Slovakia 2 June 2009
[object Object],[object Object],[object Object],Verdict assignation if {[string match "*admin/one-faq*" $response_url] } { if { [catch {tclwebtest::form find ~n "faq_add_edit"} errmsg] || [catch {tclwebtest::field find ~v "$faq_new_name"} errmsg] } { aa_error  "faq::twt::edit_one failed $errmsg : Dont't Edit a Faq" } else { aa_log "Faq Edited“} Jtel Summer school 09 Terchova, Slovakia 2 June 2009
Acs-automated testing Jtel Summer school 09 Terchova, Slovakia 2 June 2009
Conformance test case ,[object Object],[object Object],Jtel Summer school 09 Terchova, Slovakia 2 June 2009
Conformance test case ,[object Object],[object Object],Jtel Summer school 09 Terchova, Slovakia 2 June 2009

More Related Content

What's hot

Models of SDLC (Software Development Life Cycle / Program Development Life Cy...
Models of SDLC (Software Development Life Cycle / Program Development Life Cy...Models of SDLC (Software Development Life Cycle / Program Development Life Cy...
Models of SDLC (Software Development Life Cycle / Program Development Life Cy...
Amity University | FMS - DU | IMT | Stratford University | KKMI International Institute | AIMA | DTU
 
Safety app for woman
Safety app for womanSafety app for woman
Safety app for woman
SMNajrulHowlader
 
summer training report on python
summer training report on pythonsummer training report on python
summer training report on python
Shubham Yadav
 
Android technical quiz app
Android technical quiz appAndroid technical quiz app
Android technical quiz app
Jagdeep Singh
 
Smart Phones in Education
Smart Phones in EducationSmart Phones in Education
Smart Phones in Education
Kim Wesson
 
Language identification
Language identificationLanguage identification
Language identification
atulnitrkl
 
Blockchain in telecom industry
Blockchain in telecom industryBlockchain in telecom industry
Blockchain in telecom industry
Celine George
 
Math Puzzle Game By Assembly Language
Math Puzzle Game By Assembly LanguageMath Puzzle Game By Assembly Language
Math Puzzle Game By Assembly Language
Sanzid Kawsar
 
Challenges in Large Scale Machine Learning
Challenges in Large Scale  Machine LearningChallenges in Large Scale  Machine Learning
Challenges in Large Scale Machine Learning
Sudarsun Santhiappan
 
Ch9 evolution
Ch9 evolutionCh9 evolution
The Extreme Programming (XP) Model
The Extreme Programming (XP) ModelThe Extreme Programming (XP) Model
The Extreme Programming (XP) Model
Damian T. Gordon
 
Software Engineering Past Papers Notes
Software Engineering Past Papers Notes Software Engineering Past Papers Notes
Software Engineering Past Papers Notes
MuhammadTalha436
 
Interactive whiteboards in education
Interactive whiteboards in educationInteractive whiteboards in education
Interactive whiteboards in education
Marsha_Thompson
 
Final project(news portal system).docx
Final project(news portal system).docxFinal project(news portal system).docx
Final project(news portal system).docx
DagimDejene
 
Chatbot testing
Chatbot testing Chatbot testing
Chatbot testing
Nagarro
 
Student Management System
Student Management SystemStudent Management System
Student Management System
Amit Gandhi
 
Lecture 02 Software Process Model
Lecture 02 Software Process ModelLecture 02 Software Process Model
Lecture 02 Software Process Model
Achmad Solichin
 
Introductoin to Python.ppt
Introductoin to Python.pptIntroductoin to Python.ppt
Introductoin to Python.ppt
TyronHawkinsOBato
 
Challenges Faced By School Of Computer Science and IT
Challenges Faced By School Of Computer Science and ITChallenges Faced By School Of Computer Science and IT
Challenges Faced By School Of Computer Science and IT
Ashwani Kumar Ramani
 
Real Time Sign Language Recognition Using Deep Learning
Real Time Sign Language Recognition Using Deep LearningReal Time Sign Language Recognition Using Deep Learning
Real Time Sign Language Recognition Using Deep Learning
IRJET Journal
 

What's hot (20)

Models of SDLC (Software Development Life Cycle / Program Development Life Cy...
Models of SDLC (Software Development Life Cycle / Program Development Life Cy...Models of SDLC (Software Development Life Cycle / Program Development Life Cy...
Models of SDLC (Software Development Life Cycle / Program Development Life Cy...
 
Safety app for woman
Safety app for womanSafety app for woman
Safety app for woman
 
summer training report on python
summer training report on pythonsummer training report on python
summer training report on python
 
Android technical quiz app
Android technical quiz appAndroid technical quiz app
Android technical quiz app
 
Smart Phones in Education
Smart Phones in EducationSmart Phones in Education
Smart Phones in Education
 
Language identification
Language identificationLanguage identification
Language identification
 
Blockchain in telecom industry
Blockchain in telecom industryBlockchain in telecom industry
Blockchain in telecom industry
 
Math Puzzle Game By Assembly Language
Math Puzzle Game By Assembly LanguageMath Puzzle Game By Assembly Language
Math Puzzle Game By Assembly Language
 
Challenges in Large Scale Machine Learning
Challenges in Large Scale  Machine LearningChallenges in Large Scale  Machine Learning
Challenges in Large Scale Machine Learning
 
Ch9 evolution
Ch9 evolutionCh9 evolution
Ch9 evolution
 
The Extreme Programming (XP) Model
The Extreme Programming (XP) ModelThe Extreme Programming (XP) Model
The Extreme Programming (XP) Model
 
Software Engineering Past Papers Notes
Software Engineering Past Papers Notes Software Engineering Past Papers Notes
Software Engineering Past Papers Notes
 
Interactive whiteboards in education
Interactive whiteboards in educationInteractive whiteboards in education
Interactive whiteboards in education
 
Final project(news portal system).docx
Final project(news portal system).docxFinal project(news portal system).docx
Final project(news portal system).docx
 
Chatbot testing
Chatbot testing Chatbot testing
Chatbot testing
 
Student Management System
Student Management SystemStudent Management System
Student Management System
 
Lecture 02 Software Process Model
Lecture 02 Software Process ModelLecture 02 Software Process Model
Lecture 02 Software Process Model
 
Introductoin to Python.ppt
Introductoin to Python.pptIntroductoin to Python.ppt
Introductoin to Python.ppt
 
Challenges Faced By School Of Computer Science and IT
Challenges Faced By School Of Computer Science and ITChallenges Faced By School Of Computer Science and IT
Challenges Faced By School Of Computer Science and IT
 
Real Time Sign Language Recognition Using Deep Learning
Real Time Sign Language Recognition Using Deep LearningReal Time Sign Language Recognition Using Deep Learning
Real Time Sign Language Recognition Using Deep Learning
 

Similar to Methods to test an e-learning Web application.

The DE-9IM Matrix in Details using ST_Relate: In Picture and SQL
The DE-9IM Matrix in Details using ST_Relate: In Picture and SQLThe DE-9IM Matrix in Details using ST_Relate: In Picture and SQL
The DE-9IM Matrix in Details using ST_Relate: In Picture and SQL
torp42
 
닷넷 개발자를 위한 패턴이야기
닷넷 개발자를 위한 패턴이야기닷넷 개발자를 위한 패턴이야기
닷넷 개발자를 위한 패턴이야기
YoungSu Son
 
TAUS USER CONFERENCE 2009, Normalization of translation memories
TAUS USER CONFERENCE 2009, Normalization of translation memoriesTAUS USER CONFERENCE 2009, Normalization of translation memories
TAUS USER CONFERENCE 2009, Normalization of translation memoriesTAUS - The Language Data Network
 
Do I need tests when I have the compiler - Andrzej Jóźwiak - TomTom Dev Day 2020
Do I need tests when I have the compiler - Andrzej Jóźwiak - TomTom Dev Day 2020Do I need tests when I have the compiler - Andrzej Jóźwiak - TomTom Dev Day 2020
Do I need tests when I have the compiler - Andrzej Jóźwiak - TomTom Dev Day 2020
Andrzej Jóźwiak
 
NL to OCL via SBVR
NL to OCL via SBVRNL to OCL via SBVR
NL to OCL via SBVR
Imran Bajwa
 
An introduction to Zope Page Templates and their use outside of Zope (+Audio)
An introduction to Zope Page Templates and their use outside of Zope (+Audio)An introduction to Zope Page Templates and their use outside of Zope (+Audio)
An introduction to Zope Page Templates and their use outside of Zope (+Audio)
Matt Hamilton
 
Dklopfenstein Designcon08
Dklopfenstein Designcon08Dklopfenstein Designcon08
Dklopfenstein Designcon08
D Klopfenstein
 
Compiler Design - Introduction to Compiler
Compiler Design - Introduction to CompilerCompiler Design - Introduction to Compiler
Compiler Design - Introduction to Compiler
Iffat Anjum
 
10 Things You Didn't Know About Java
10 Things You Didn't Know About Java10 Things You Didn't Know About Java
10 Things You Didn't Know About Java
Toshko Todorov
 
Wix Automation - Test State Pattern - 11.9.16
Wix Automation - Test State Pattern - 11.9.16Wix Automation - Test State Pattern - 11.9.16
Wix Automation - Test State Pattern - 11.9.16
Efrat Attas
 
Oracle Certified Associate (OCA) Java SE 8 Programmer II (1Z0-809) - Practice...
Oracle Certified Associate (OCA) Java SE 8 Programmer II (1Z0-809) - Practice...Oracle Certified Associate (OCA) Java SE 8 Programmer II (1Z0-809) - Practice...
Oracle Certified Associate (OCA) Java SE 8 Programmer II (1Z0-809) - Practice...
Udayan Khattry
 
Design flowcharts week 6 2019 2020
Design flowcharts week 6 2019  2020Design flowcharts week 6 2019  2020
Design flowcharts week 6 2019 2020
Osama Ghandour Geris
 
ExpressionEngine 2: Total Domination
ExpressionEngine 2: Total DominationExpressionEngine 2: Total Domination
ExpressionEngine 2: Total Domination
guestf9c0bc
 
Decompiling Java - SCAM2009 Presentation
Decompiling Java - SCAM2009 PresentationDecompiling Java - SCAM2009 Presentation
Decompiling Java - SCAM2009 Presentation
James Hamilton
 

Similar to Methods to test an e-learning Web application. (14)

The DE-9IM Matrix in Details using ST_Relate: In Picture and SQL
The DE-9IM Matrix in Details using ST_Relate: In Picture and SQLThe DE-9IM Matrix in Details using ST_Relate: In Picture and SQL
The DE-9IM Matrix in Details using ST_Relate: In Picture and SQL
 
닷넷 개발자를 위한 패턴이야기
닷넷 개발자를 위한 패턴이야기닷넷 개발자를 위한 패턴이야기
닷넷 개발자를 위한 패턴이야기
 
TAUS USER CONFERENCE 2009, Normalization of translation memories
TAUS USER CONFERENCE 2009, Normalization of translation memoriesTAUS USER CONFERENCE 2009, Normalization of translation memories
TAUS USER CONFERENCE 2009, Normalization of translation memories
 
Do I need tests when I have the compiler - Andrzej Jóźwiak - TomTom Dev Day 2020
Do I need tests when I have the compiler - Andrzej Jóźwiak - TomTom Dev Day 2020Do I need tests when I have the compiler - Andrzej Jóźwiak - TomTom Dev Day 2020
Do I need tests when I have the compiler - Andrzej Jóźwiak - TomTom Dev Day 2020
 
NL to OCL via SBVR
NL to OCL via SBVRNL to OCL via SBVR
NL to OCL via SBVR
 
An introduction to Zope Page Templates and their use outside of Zope (+Audio)
An introduction to Zope Page Templates and their use outside of Zope (+Audio)An introduction to Zope Page Templates and their use outside of Zope (+Audio)
An introduction to Zope Page Templates and their use outside of Zope (+Audio)
 
Dklopfenstein Designcon08
Dklopfenstein Designcon08Dklopfenstein Designcon08
Dklopfenstein Designcon08
 
Compiler Design - Introduction to Compiler
Compiler Design - Introduction to CompilerCompiler Design - Introduction to Compiler
Compiler Design - Introduction to Compiler
 
10 Things You Didn't Know About Java
10 Things You Didn't Know About Java10 Things You Didn't Know About Java
10 Things You Didn't Know About Java
 
Wix Automation - Test State Pattern - 11.9.16
Wix Automation - Test State Pattern - 11.9.16Wix Automation - Test State Pattern - 11.9.16
Wix Automation - Test State Pattern - 11.9.16
 
Oracle Certified Associate (OCA) Java SE 8 Programmer II (1Z0-809) - Practice...
Oracle Certified Associate (OCA) Java SE 8 Programmer II (1Z0-809) - Practice...Oracle Certified Associate (OCA) Java SE 8 Programmer II (1Z0-809) - Practice...
Oracle Certified Associate (OCA) Java SE 8 Programmer II (1Z0-809) - Practice...
 
Design flowcharts week 6 2019 2020
Design flowcharts week 6 2019  2020Design flowcharts week 6 2019  2020
Design flowcharts week 6 2019 2020
 
ExpressionEngine 2: Total Domination
ExpressionEngine 2: Total DominationExpressionEngine 2: Total Domination
ExpressionEngine 2: Total Domination
 
Decompiling Java - SCAM2009 Presentation
Decompiling Java - SCAM2009 PresentationDecompiling Java - SCAM2009 Presentation
Decompiling Java - SCAM2009 Presentation
 

More from telss09

Pimp my PhD
Pimp my PhDPimp my PhD
Pimp my PhDtelss09
 
Modeling of the learning outcomes reached at the summer school
Modeling of the learning outcomes reached at the summer schoolModeling of the learning outcomes reached at the summer school
Modeling of the learning outcomes reached at the summer schooltelss09
 
Outcome: authoring an adaptive online course
Outcome: authoring an adaptive online courseOutcome: authoring an adaptive online course
Outcome: authoring an adaptive online coursetelss09
 
First steps in social network analysis
First steps in social network analysisFirst steps in social network analysis
First steps in social network analysis
telss09
 
Mash-Up Personal Learning Environments
Mash-Up Personal Learning EnvironmentsMash-Up Personal Learning Environments
Mash-Up Personal Learning Environmentstelss09
 
Recommender Systems in TEL
Recommender Systems in TELRecommender Systems in TEL
Recommender Systems in TEL
telss09
 
The relation of PLE, LMS, and Open Content
The relation of PLE, LMS, and Open ContentThe relation of PLE, LMS, and Open Content
The relation of PLE, LMS, and Open Content
telss09
 
MOS MindOnSite
MOS MindOnSiteMOS MindOnSite
MOS MindOnSite
telss09
 
Junior/Senior Faculty Breakfast
Junior/Senior Faculty BreakfastJunior/Senior Faculty Breakfast
Junior/Senior Faculty Breakfast
telss09
 
Industry Breakfast
Industry BreakfastIndustry Breakfast
Industry Breakfast
telss09
 
Configuring VLEs for Mathematics
Configuring VLEs for MathematicsConfiguring VLEs for Mathematics
Configuring VLEs for Mathematics
telss09
 
Personal Competence Development in Learning Networks
Personal Competence Development in Learning NetworksPersonal Competence Development in Learning Networks
Personal Competence Development in Learning Networks
telss09
 
Assessing and promoting computer-supported collaborative learning
Assessing and promoting computer-supported collaborative learningAssessing and promoting computer-supported collaborative learning
Assessing and promoting computer-supported collaborative learning
telss09
 
Technology and the Transformation of Learning
Technology and the Transformation of LearningTechnology and the Transformation of Learning
Technology and the Transformation of Learning
telss09
 
Towards a Conceptual Framework for Requirement Gathering and Roadmapping in t...
Towards a Conceptual Framework for Requirement Gathering and Roadmapping in t...Towards a Conceptual Framework for Requirement Gathering and Roadmapping in t...
Towards a Conceptual Framework for Requirement Gathering and Roadmapping in t...
telss09
 
Language Technologies for Lifelong Learning
Language Technologies for Lifelong LearningLanguage Technologies for Lifelong Learning
Language Technologies for Lifelong Learning
telss09
 
Adaptive Learning Environments
Adaptive Learning EnvironmentsAdaptive Learning Environments
Adaptive Learning Environments
telss09
 
EC-TEL Doctoral Consortium
EC-TEL Doctoral ConsortiumEC-TEL Doctoral Consortium
EC-TEL Doctoral Consortium
telss09
 
Creating integrated domain, task and competency model
Creating integrated domain, task and competency modelCreating integrated domain, task and competency model
Creating integrated domain, task and competency model
telss09
 
Collaboratve Authoring Workshop
Collaboratve Authoring WorkshopCollaboratve Authoring Workshop
Collaboratve Authoring Workshop
telss09
 

More from telss09 (20)

Pimp my PhD
Pimp my PhDPimp my PhD
Pimp my PhD
 
Modeling of the learning outcomes reached at the summer school
Modeling of the learning outcomes reached at the summer schoolModeling of the learning outcomes reached at the summer school
Modeling of the learning outcomes reached at the summer school
 
Outcome: authoring an adaptive online course
Outcome: authoring an adaptive online courseOutcome: authoring an adaptive online course
Outcome: authoring an adaptive online course
 
First steps in social network analysis
First steps in social network analysisFirst steps in social network analysis
First steps in social network analysis
 
Mash-Up Personal Learning Environments
Mash-Up Personal Learning EnvironmentsMash-Up Personal Learning Environments
Mash-Up Personal Learning Environments
 
Recommender Systems in TEL
Recommender Systems in TELRecommender Systems in TEL
Recommender Systems in TEL
 
The relation of PLE, LMS, and Open Content
The relation of PLE, LMS, and Open ContentThe relation of PLE, LMS, and Open Content
The relation of PLE, LMS, and Open Content
 
MOS MindOnSite
MOS MindOnSiteMOS MindOnSite
MOS MindOnSite
 
Junior/Senior Faculty Breakfast
Junior/Senior Faculty BreakfastJunior/Senior Faculty Breakfast
Junior/Senior Faculty Breakfast
 
Industry Breakfast
Industry BreakfastIndustry Breakfast
Industry Breakfast
 
Configuring VLEs for Mathematics
Configuring VLEs for MathematicsConfiguring VLEs for Mathematics
Configuring VLEs for Mathematics
 
Personal Competence Development in Learning Networks
Personal Competence Development in Learning NetworksPersonal Competence Development in Learning Networks
Personal Competence Development in Learning Networks
 
Assessing and promoting computer-supported collaborative learning
Assessing and promoting computer-supported collaborative learningAssessing and promoting computer-supported collaborative learning
Assessing and promoting computer-supported collaborative learning
 
Technology and the Transformation of Learning
Technology and the Transformation of LearningTechnology and the Transformation of Learning
Technology and the Transformation of Learning
 
Towards a Conceptual Framework for Requirement Gathering and Roadmapping in t...
Towards a Conceptual Framework for Requirement Gathering and Roadmapping in t...Towards a Conceptual Framework for Requirement Gathering and Roadmapping in t...
Towards a Conceptual Framework for Requirement Gathering and Roadmapping in t...
 
Language Technologies for Lifelong Learning
Language Technologies for Lifelong LearningLanguage Technologies for Lifelong Learning
Language Technologies for Lifelong Learning
 
Adaptive Learning Environments
Adaptive Learning EnvironmentsAdaptive Learning Environments
Adaptive Learning Environments
 
EC-TEL Doctoral Consortium
EC-TEL Doctoral ConsortiumEC-TEL Doctoral Consortium
EC-TEL Doctoral Consortium
 
Creating integrated domain, task and competency model
Creating integrated domain, task and competency modelCreating integrated domain, task and competency model
Creating integrated domain, task and competency model
 
Collaboratve Authoring Workshop
Collaboratve Authoring WorkshopCollaboratve Authoring Workshop
Collaboratve Authoring Workshop
 

Recently uploaded

2024.06.01 Introducing a competency framework for languag learning materials ...
2024.06.01 Introducing a competency framework for languag learning materials ...2024.06.01 Introducing a competency framework for languag learning materials ...
2024.06.01 Introducing a competency framework for languag learning materials ...
Sandy Millin
 
Operation Blue Star - Saka Neela Tara
Operation Blue Star   -  Saka Neela TaraOperation Blue Star   -  Saka Neela Tara
Operation Blue Star - Saka Neela Tara
Balvir Singh
 
special B.ed 2nd year old paper_20240531.pdf
special B.ed 2nd year old paper_20240531.pdfspecial B.ed 2nd year old paper_20240531.pdf
special B.ed 2nd year old paper_20240531.pdf
Special education needs
 
678020731-Sumas-y-Restas-Para-Colorear.pdf
678020731-Sumas-y-Restas-Para-Colorear.pdf678020731-Sumas-y-Restas-Para-Colorear.pdf
678020731-Sumas-y-Restas-Para-Colorear.pdf
CarlosHernanMontoyab2
 
Chapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptxChapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptx
Mohd Adib Abd Muin, Senior Lecturer at Universiti Utara Malaysia
 
Digital Tools and AI for Teaching Learning and Research
Digital Tools and AI for Teaching Learning and ResearchDigital Tools and AI for Teaching Learning and Research
Digital Tools and AI for Teaching Learning and Research
Vikramjit Singh
 
BÀI TẬP BỔ TRỢ TIẾNG ANH GLOBAL SUCCESS LỚP 3 - CẢ NĂM (CÓ FILE NGHE VÀ ĐÁP Á...
BÀI TẬP BỔ TRỢ TIẾNG ANH GLOBAL SUCCESS LỚP 3 - CẢ NĂM (CÓ FILE NGHE VÀ ĐÁP Á...BÀI TẬP BỔ TRỢ TIẾNG ANH GLOBAL SUCCESS LỚP 3 - CẢ NĂM (CÓ FILE NGHE VÀ ĐÁP Á...
BÀI TẬP BỔ TRỢ TIẾNG ANH GLOBAL SUCCESS LỚP 3 - CẢ NĂM (CÓ FILE NGHE VÀ ĐÁP Á...
Nguyen Thanh Tu Collection
 
How libraries can support authors with open access requirements for UKRI fund...
How libraries can support authors with open access requirements for UKRI fund...How libraries can support authors with open access requirements for UKRI fund...
How libraries can support authors with open access requirements for UKRI fund...
Jisc
 
The geography of Taylor Swift - some ideas
The geography of Taylor Swift - some ideasThe geography of Taylor Swift - some ideas
The geography of Taylor Swift - some ideas
GeoBlogs
 
Honest Reviews of Tim Han LMA Course Program.pptx
Honest Reviews of Tim Han LMA Course Program.pptxHonest Reviews of Tim Han LMA Course Program.pptx
Honest Reviews of Tim Han LMA Course Program.pptx
timhan337
 
Francesca Gottschalk - How can education support child empowerment.pptx
Francesca Gottschalk - How can education support child empowerment.pptxFrancesca Gottschalk - How can education support child empowerment.pptx
Francesca Gottschalk - How can education support child empowerment.pptx
EduSkills OECD
 
CLASS 11 CBSE B.St Project AIDS TO TRADE - INSURANCE
CLASS 11 CBSE B.St Project AIDS TO TRADE - INSURANCECLASS 11 CBSE B.St Project AIDS TO TRADE - INSURANCE
CLASS 11 CBSE B.St Project AIDS TO TRADE - INSURANCE
BhavyaRajput3
 
The basics of sentences session 5pptx.pptx
The basics of sentences session 5pptx.pptxThe basics of sentences session 5pptx.pptx
The basics of sentences session 5pptx.pptx
heathfieldcps1
 
Thesis Statement for students diagnonsed withADHD.ppt
Thesis Statement for students diagnonsed withADHD.pptThesis Statement for students diagnonsed withADHD.ppt
Thesis Statement for students diagnonsed withADHD.ppt
EverAndrsGuerraGuerr
 
TESDA TM1 REVIEWER FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
TESDA TM1 REVIEWER  FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...TESDA TM1 REVIEWER  FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
TESDA TM1 REVIEWER FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
EugeneSaldivar
 
Lapbook sobre os Regimes Totalitários.pdf
Lapbook sobre os Regimes Totalitários.pdfLapbook sobre os Regimes Totalitários.pdf
Lapbook sobre os Regimes Totalitários.pdf
Jean Carlos Nunes Paixão
 
The Accursed House by Émile Gaboriau.pptx
The Accursed House by Émile Gaboriau.pptxThe Accursed House by Émile Gaboriau.pptx
The Accursed House by Émile Gaboriau.pptx
DhatriParmar
 
Biological Screening of Herbal Drugs in detailed.
Biological Screening of Herbal Drugs in detailed.Biological Screening of Herbal Drugs in detailed.
Biological Screening of Herbal Drugs in detailed.
Ashokrao Mane college of Pharmacy Peth-Vadgaon
 
1.4 modern child centered education - mahatma gandhi-2.pptx
1.4 modern child centered education - mahatma gandhi-2.pptx1.4 modern child centered education - mahatma gandhi-2.pptx
1.4 modern child centered education - mahatma gandhi-2.pptx
JosvitaDsouza2
 
Polish students' mobility in the Czech Republic
Polish students' mobility in the Czech RepublicPolish students' mobility in the Czech Republic
Polish students' mobility in the Czech Republic
Anna Sz.
 

Recently uploaded (20)

2024.06.01 Introducing a competency framework for languag learning materials ...
2024.06.01 Introducing a competency framework for languag learning materials ...2024.06.01 Introducing a competency framework for languag learning materials ...
2024.06.01 Introducing a competency framework for languag learning materials ...
 
Operation Blue Star - Saka Neela Tara
Operation Blue Star   -  Saka Neela TaraOperation Blue Star   -  Saka Neela Tara
Operation Blue Star - Saka Neela Tara
 
special B.ed 2nd year old paper_20240531.pdf
special B.ed 2nd year old paper_20240531.pdfspecial B.ed 2nd year old paper_20240531.pdf
special B.ed 2nd year old paper_20240531.pdf
 
678020731-Sumas-y-Restas-Para-Colorear.pdf
678020731-Sumas-y-Restas-Para-Colorear.pdf678020731-Sumas-y-Restas-Para-Colorear.pdf
678020731-Sumas-y-Restas-Para-Colorear.pdf
 
Chapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptxChapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptx
 
Digital Tools and AI for Teaching Learning and Research
Digital Tools and AI for Teaching Learning and ResearchDigital Tools and AI for Teaching Learning and Research
Digital Tools and AI for Teaching Learning and Research
 
BÀI TẬP BỔ TRỢ TIẾNG ANH GLOBAL SUCCESS LỚP 3 - CẢ NĂM (CÓ FILE NGHE VÀ ĐÁP Á...
BÀI TẬP BỔ TRỢ TIẾNG ANH GLOBAL SUCCESS LỚP 3 - CẢ NĂM (CÓ FILE NGHE VÀ ĐÁP Á...BÀI TẬP BỔ TRỢ TIẾNG ANH GLOBAL SUCCESS LỚP 3 - CẢ NĂM (CÓ FILE NGHE VÀ ĐÁP Á...
BÀI TẬP BỔ TRỢ TIẾNG ANH GLOBAL SUCCESS LỚP 3 - CẢ NĂM (CÓ FILE NGHE VÀ ĐÁP Á...
 
How libraries can support authors with open access requirements for UKRI fund...
How libraries can support authors with open access requirements for UKRI fund...How libraries can support authors with open access requirements for UKRI fund...
How libraries can support authors with open access requirements for UKRI fund...
 
The geography of Taylor Swift - some ideas
The geography of Taylor Swift - some ideasThe geography of Taylor Swift - some ideas
The geography of Taylor Swift - some ideas
 
Honest Reviews of Tim Han LMA Course Program.pptx
Honest Reviews of Tim Han LMA Course Program.pptxHonest Reviews of Tim Han LMA Course Program.pptx
Honest Reviews of Tim Han LMA Course Program.pptx
 
Francesca Gottschalk - How can education support child empowerment.pptx
Francesca Gottschalk - How can education support child empowerment.pptxFrancesca Gottschalk - How can education support child empowerment.pptx
Francesca Gottschalk - How can education support child empowerment.pptx
 
CLASS 11 CBSE B.St Project AIDS TO TRADE - INSURANCE
CLASS 11 CBSE B.St Project AIDS TO TRADE - INSURANCECLASS 11 CBSE B.St Project AIDS TO TRADE - INSURANCE
CLASS 11 CBSE B.St Project AIDS TO TRADE - INSURANCE
 
The basics of sentences session 5pptx.pptx
The basics of sentences session 5pptx.pptxThe basics of sentences session 5pptx.pptx
The basics of sentences session 5pptx.pptx
 
Thesis Statement for students diagnonsed withADHD.ppt
Thesis Statement for students diagnonsed withADHD.pptThesis Statement for students diagnonsed withADHD.ppt
Thesis Statement for students diagnonsed withADHD.ppt
 
TESDA TM1 REVIEWER FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
TESDA TM1 REVIEWER  FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...TESDA TM1 REVIEWER  FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
TESDA TM1 REVIEWER FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
 
Lapbook sobre os Regimes Totalitários.pdf
Lapbook sobre os Regimes Totalitários.pdfLapbook sobre os Regimes Totalitários.pdf
Lapbook sobre os Regimes Totalitários.pdf
 
The Accursed House by Émile Gaboriau.pptx
The Accursed House by Émile Gaboriau.pptxThe Accursed House by Émile Gaboriau.pptx
The Accursed House by Émile Gaboriau.pptx
 
Biological Screening of Herbal Drugs in detailed.
Biological Screening of Herbal Drugs in detailed.Biological Screening of Herbal Drugs in detailed.
Biological Screening of Herbal Drugs in detailed.
 
1.4 modern child centered education - mahatma gandhi-2.pptx
1.4 modern child centered education - mahatma gandhi-2.pptx1.4 modern child centered education - mahatma gandhi-2.pptx
1.4 modern child centered education - mahatma gandhi-2.pptx
 
Polish students' mobility in the Czech Republic
Polish students' mobility in the Czech RepublicPolish students' mobility in the Czech Republic
Polish students' mobility in the Czech Republic
 

Methods to test an e-learning Web application.

  • 1. Methods to test an e-learning Web application. [email_address]
  • 2.
  • 3.
  • 4. Conformance testing Model Implementation in Java Implementation in C++ Conforms? standard ISO 9646 Jtel Summer school 09 Terchova, Slovakia 2 June 2009
  • 5. Regression testing File a.tcl (version 0.1) File b.tcl (version 0.1) File c.tcl (version 0.1) File d.tcl (version 0.1) Execute conformance tests File c.tcl (version 0.2) Feature 1 Feature 2 Feature 3 Feature 4 Jtel Summer school 09 Terchova, Slovakia 2 June 2009
  • 6. Regression testing File a.tcl (version 0.1) File b.tcl (version 0.1) File c.tcl (version 0.1) File d.tcl (version 0.1) Feature 1 Feature 2 Feature 3 Feature 4 Execute conformance tests File c.tcl (version 0.2) Jtel Summer school 09 Terchova, Slovakia 2 June 2009 Feature 5 ?
  • 7. Regression testing Feature 1 Feature 2 Feature 3 Feature 4 Version 0.1 Feature 1 Feature 2 Feature 3 Feature 4 Feature 5 Version 0.2 ? Regression bugs detected in Features 2 and 3 Jtel Summer school 09 Terchova, Slovakia 2 June 2009
  • 8. Automatic Model Based Testing Verdict System ? Jtel Summer school 09 Terchova, Slovakia 2 June 2009
  • 9. Automatic Model Based Testing Automatic testing Verdict System Jtel Summer school 09 Terchova, Slovakia 2 June 2009
  • 10. Automatic Model Based Testing Automatic testing Verdict Test cases System ?? Jtel Summer school 09 Terchova, Slovakia 2 June 2009
  • 11. Automatic Model Based Testing Automatic testing Verdict Test cases FORMAL Model of system System Jtel Summer school 09 Terchova, Slovakia 2 June 2009
  • 12. Automatic Model Based Testing Automatic testing Verdict Test cases FORMAL Model of system System ???? Jtel Summer school 09 Terchova, Slovakia 2 June 2009 Model
  • 13.
  • 14. Model Jtel Summer school 09 Terchova, Slovakia 2 June 2009 Finit States Machine
  • 15. Ready to model? Prolearn Summer school 09 Slovakia 2 June 2009 F: (usr,pass) L:register
  • 16. Signup model Jtel Summer school 09 Terchova, Slovakia 2 June 2009 Our Login Page
  • 17. Signup model Jtel Summer school 09 Terchova, Slovakia 2 June 2009
  • 18. Signup model Jtel Summer school 09 Terchova, Slovakia 2 June 2009 http://mymoodleinstance.com http://mymoodleinstance.com/signup http://mymoodleinstance.com/home
  • 19. Signup model Jtel Summer school 09 Terchova, Slovakia 2 June 2009 Task 1 Build a model of…
  • 20. Jtel Summer school 09 Terchova, Slovakia 2 June 2009 User Password OK Signout Welcome Harry Potter My Frequently asked Questions My Faq 1 Q: Where is Terchova? A: In Slovakia 2 Q Where is Gerardo? A: In Terchova Add an Q&A Signout Howards School LMS Add an Q&A Question: Answer: OK Signout
  • 21. Signup model Jtel Summer school 09 Terchova, Slovakia 2 June 2009 q1 q1 q2 q3
  • 22. Signup model Jtel Summer school 09 Terchova, Slovakia 2 June 2009 q1 q1 q2 q3 q1 q2 q3 q5 q7 q8
  • 23. PRESENTATION OF METHODOLOGIES Jtel Summer school 09 Terchova, Slovakia 2 June 2009
  • 24. Simulator of the model Jtel Summer school 09 Terchova, Slovakia 2 June 2009 s0 s1 s2 s3 s4 s0 s5 s6 s7 TP: Action=input w State= s5 ck1= d x/y a/b c/d a/d d/e w/y a/b c/d f/g
  • 25. Simulation of the model Jtel Summer school 09 Terchova, Slovakia 2 June 2009 s0 s1 s2 s3 s4 s0 s5 s6 s7 TP: Action=input w State= s5 ck1= d x/y a/b c/d a/d d/e w/y a/b c/d f/g Trace 1: [s0, x, y,s1] 2: [s1, w,y,s5] Inputs x,w Expected outputs y,y Expected final state s5
  • 26. Output of the test generator Jtel Summer school 09 Terchova, Slovakia 2 June 2009 ?login(user1, password1) / ! Text (Welcome) ?frequently_asked_questions() / ! Text (My Faq) . . . . ?login(user1,user2) Twt:: form find « login » Twt:: field fill « user1 » Twt:: fiend find « password » Twt:: field fill « password1 » Twt:: form submit Translation to tclwebtest
  • 27. Conformance test case (Automatic Model Based testing) Jtel Summer school 09 Terchova, Slovakia 2 June 2009 System Specs Formal Model (Functional +Security) Abstract Test Suites Test Scripts Test Execution Trace Report Editor Test Generator Test Transformer Executor Analyzer 1. Modeling 2. Generation 3. Translation 5. Analysis 4. Execution Test Purposes
  • 28. USE CASE Jtel Summer school 09 Terchova, Slovakia 2 June 2009
  • 29.
  • 30.
  • 31.
  • 32. Acs-automated testing Jtel Summer school 09 Terchova, Slovakia 2 June 2009
  • 33.
  • 34.