SlideShare a Scribd company logo
1 of 22
Budapest University of Technology and Economics
Department of Measurement and Information Systems
Comparing Robustness of AIS-Based
Middleware Implementations
Zoltán Micskei, István Majzik
Budapest University of
Technology and Economics
Francis Tam
Nokia Research Center
Nokia Group
International Service Availability Symposium (ISAS) 2007
Motivation
Comparison: mostly performance. However:
Application
Component 1 Component N
SAF AIS
invalid input
A faulty
application
could crash
even the HA
middleware!
Robustness
 „The degree to which a system operates
correctly in the presence of
oexceptional inputs or
ostressful environmental conditions.”
[IEEE Std 610.12.1990]
Robustness testing
Functional testing
o Conformance, expected output included
o Valid inputs, some of the invalids
Robustness testing
− Try to „break” the system
− Large amount of invalid input
Goal
 Test and compare robustness of HA MW
o Based on common interface
 Several fault type and mode →
automatic test generation
Fault model: Primary sources
Custom Application
AIS implementation
Operating System
Hardware
API calls
OS calls
Fault model: Secondary sources
Custom Application
AIS implementation
Operating System
Hardware
External
Components
Human
Interface
API calls
OS calls
HW failures
Operators
Our testing tools
TBTS-TG
(type spec.)
Workload
MBST-TG
(mutation)
Operating system
Hardware
OS call wrapper
HA Middleware
Testing tools
TBTS-TG
(type spec.)
Workload
MBST-TG
(mutation)
Operating system
Hardware
OS call wrapper
HA Middleware
Type specific testing
 Goal: test the whole interface
saAmfInitialize saAmfPmStart saComponentNameGet
Handle invalid
Handle closed
Handle invalid
Handle closed
Monitoring started
Component not
registered
Handle invalid
Handle closed
Component not
registered
Pointer null
Type specific testing
 Goal: test the whole interface
saAmfInitialize saAmfPmStart saComponentNameGet
SaAmfHandleT SaAmfName
Handle invalid
Handle closed
Name invalid
Component not
registered
Type specific testing
 For each function
o Fill a template with the parameters
o Invalid and valid values
 Middleware specific:
o state based calls
o Complex setup code for type values
o Running tests as SA-aware components
Testing tools
TBTS-TG
(type spec.)
Workload
MBST-TG
(mutation)
Operating system
Hardware
OS call wrapper
HA Middleware
Mutation-based testing
 Goal: test complex scenarios using
multiple functions
 How?
o Write complex test
o Mutate existing code with injecting
typical robustness faults
 Sources to mutate
o SAFtest
o Functional tests in openais
Testing tools
TBTS-TG
(type spec.)
Workload
MBST-TG
(mutation)
Operating system
Hardware
OS call wrapper
HA Middleware
OS call wrapper
 Goal: test environment conditions
 Provide workload
 Intercept system calls and
o delay,
o change return value.
 Support in OS:
o e.g. strace and LD_PRELOAD in Linux
Testing results
 Three middleware
o Openais version 0.80.1 and trunk
o Fujitsu Siemens SAFE4TRY
 Test execution environment
o Configuration file, restart MW, logging…
 Results:
o Differences in headers
o Test program aborts
o Middleware crashes
Type specific
openais-0.80.1 openais-trunk SAFE4TRY
success 24568 26019 29663
segmentation fault 1100 1468 0
timeout 467 2178 2
SAFE4TRY seems to
be more robust to
these kind of inputs
For 6 functions in openais the middleware itself crashed
In openais 0.69
segmentation fault was
8001 out of 13460
Mutation based
Example from the observed failures:
OS call wrapper
openais-0.80.1 openais-trunk SAFE4TRY
No failure observed 6 5 5
Application failed 0 2 1
Middleware failed 3 2 3
 Observations:
 All are vulnerable for system call failure
 Some calls cause failure for all: e.g. socket
 Some depends on system: e.g. bind
Future work - Obtaining metrics
 Large amount of output
 Number of failed tests for a function →
robustness faults in the function
 Help:
o Assigning expected error codes
o Data mining tools / decision tree
Lessons learnt
 Simple tests can find robustness failures
 Different methods find different failures
 There are problems even with the headers
 Existing applications not up-to-date
o LDAP DN format, component name get
 Middleware differ heavily
o How-to start, stop; configuration files
 For complex scenarios, OS call failures
o Detailed workload, complex test setup needed
 Robustness improving

More Related Content

Similar to Comparing robustness of AIS-based middleware implementations

Performance Analysis of Idle Programs
Performance Analysis of Idle ProgramsPerformance Analysis of Idle Programs
Performance Analysis of Idle Programsgreenwop
 
Performancetestingjmeter 131210111657-phpapp02
Performancetestingjmeter 131210111657-phpapp02Performancetestingjmeter 131210111657-phpapp02
Performancetestingjmeter 131210111657-phpapp02Nitish Bhardwaj
 
SE2018_Lec 19_ Software Testing
SE2018_Lec 19_ Software TestingSE2018_Lec 19_ Software Testing
SE2018_Lec 19_ Software TestingAmr E. Mohamed
 
justin presentation upload PPT june 19
justin presentation upload PPT june 19justin presentation upload PPT june 19
justin presentation upload PPT june 19techweb08
 
justin for ppt1 by browse button
justin for ppt1 by browse buttonjustin for ppt1 by browse button
justin for ppt1 by browse buttontechweb08
 
upload ppt by browse button
upload ppt by browse buttonupload ppt by browse button
upload ppt by browse buttontechweb08
 
justin presentation Slideshare PPT upload June 25 Final one
justin presentation Slideshare PPT upload June 25 Final onejustin presentation Slideshare PPT upload June 25 Final one
justin presentation Slideshare PPT upload June 25 Final onetechweb08
 
upload ppt1 by browse button
upload ppt1 by browse buttonupload ppt1 by browse button
upload ppt1 by browse buttontechweb08
 
upload ppt by browse button
upload ppt by browse buttonupload ppt by browse button
upload ppt by browse buttontechweb08
 
Justin Presentation PPT Upload June 25 adv
Justin Presentation PPT Upload June 25 advJustin Presentation PPT Upload June 25 adv
Justin Presentation PPT Upload June 25 advtechweb08
 
justin presentation upload PPT june 25 ADVANCED
justin presentation upload PPT june 25 ADVANCEDjustin presentation upload PPT june 25 ADVANCED
justin presentation upload PPT june 25 ADVANCEDtechweb08
 
justin presentation slideshare1
justin presentation slideshare1justin presentation slideshare1
justin presentation slideshare1techweb08
 
alka ppt test from13
alka ppt test from13 alka ppt test from13
alka ppt test from13 techweb08
 

Similar to Comparing robustness of AIS-based middleware implementations (20)

Unit test
Unit testUnit test
Unit test
 
Performance Analysis of Idle Programs
Performance Analysis of Idle ProgramsPerformance Analysis of Idle Programs
Performance Analysis of Idle Programs
 
Performancetestingjmeter 131210111657-phpapp02
Performancetestingjmeter 131210111657-phpapp02Performancetestingjmeter 131210111657-phpapp02
Performancetestingjmeter 131210111657-phpapp02
 
SE2018_Lec 19_ Software Testing
SE2018_Lec 19_ Software TestingSE2018_Lec 19_ Software Testing
SE2018_Lec 19_ Software Testing
 
Paper CS
Paper CSPaper CS
Paper CS
 
alkatest7
alkatest7alkatest7
alkatest7
 
justin presentation upload PPT june 19
justin presentation upload PPT june 19justin presentation upload PPT june 19
justin presentation upload PPT june 19
 
justin for ppt1 by browse button
justin for ppt1 by browse buttonjustin for ppt1 by browse button
justin for ppt1 by browse button
 
Paper Ps
Paper PsPaper Ps
Paper Ps
 
upload ppt by browse button
upload ppt by browse buttonupload ppt by browse button
upload ppt by browse button
 
justin presentation Slideshare PPT upload June 25 Final one
justin presentation Slideshare PPT upload June 25 Final onejustin presentation Slideshare PPT upload June 25 Final one
justin presentation Slideshare PPT upload June 25 Final one
 
Paper Ps
Paper PsPaper Ps
Paper Ps
 
upload ppt1 by browse button
upload ppt1 by browse buttonupload ppt1 by browse button
upload ppt1 by browse button
 
Paper Ps
Paper PsPaper Ps
Paper Ps
 
Paper Ps
Paper PsPaper Ps
Paper Ps
 
upload ppt by browse button
upload ppt by browse buttonupload ppt by browse button
upload ppt by browse button
 
Justin Presentation PPT Upload June 25 adv
Justin Presentation PPT Upload June 25 advJustin Presentation PPT Upload June 25 adv
Justin Presentation PPT Upload June 25 adv
 
justin presentation upload PPT june 25 ADVANCED
justin presentation upload PPT june 25 ADVANCEDjustin presentation upload PPT june 25 ADVANCED
justin presentation upload PPT june 25 ADVANCED
 
justin presentation slideshare1
justin presentation slideshare1justin presentation slideshare1
justin presentation slideshare1
 
alka ppt test from13
alka ppt test from13 alka ppt test from13
alka ppt test from13
 

More from Zoltan Micskei

Model-based Regression Testing of Autonomous Robots
Model-based Regression Testing of Autonomous RobotsModel-based Regression Testing of Autonomous Robots
Model-based Regression Testing of Autonomous RobotsZoltan Micskei
 
Modell alapú tesztelés: célok és lehetőségek
Modell alapú tesztelés: célok és lehetőségekModell alapú tesztelés: célok és lehetőségek
Modell alapú tesztelés: célok és lehetőségekZoltan Micskei
 
Evaluating code-based test-generator tools
Evaluating code-based test-generator toolsEvaluating code-based test-generator tools
Evaluating code-based test-generator toolsZoltan Micskei
 
The Gap Between Academic Research and Industrial Practice in Software Testing
The Gap Between Academic Research and Industrial Practice in Software TestingThe Gap Between Academic Research and Industrial Practice in Software Testing
The Gap Between Academic Research and Industrial Practice in Software TestingZoltan Micskei
 
Egységtesztek automatikus generálása forráskódból
Egységtesztek automatikus generálása forráskódbólEgységtesztek automatikus generálása forráskódból
Egységtesztek automatikus generálása forráskódbólZoltan Micskei
 
Languages and frameworks for specifying test artifacts
Languages and frameworks for specifying test artifactsLanguages and frameworks for specifying test artifacts
Languages and frameworks for specifying test artifactsZoltan Micskei
 

More from Zoltan Micskei (6)

Model-based Regression Testing of Autonomous Robots
Model-based Regression Testing of Autonomous RobotsModel-based Regression Testing of Autonomous Robots
Model-based Regression Testing of Autonomous Robots
 
Modell alapú tesztelés: célok és lehetőségek
Modell alapú tesztelés: célok és lehetőségekModell alapú tesztelés: célok és lehetőségek
Modell alapú tesztelés: célok és lehetőségek
 
Evaluating code-based test-generator tools
Evaluating code-based test-generator toolsEvaluating code-based test-generator tools
Evaluating code-based test-generator tools
 
The Gap Between Academic Research and Industrial Practice in Software Testing
The Gap Between Academic Research and Industrial Practice in Software TestingThe Gap Between Academic Research and Industrial Practice in Software Testing
The Gap Between Academic Research and Industrial Practice in Software Testing
 
Egységtesztek automatikus generálása forráskódból
Egységtesztek automatikus generálása forráskódbólEgységtesztek automatikus generálása forráskódból
Egységtesztek automatikus generálása forráskódból
 
Languages and frameworks for specifying test artifacts
Languages and frameworks for specifying test artifactsLanguages and frameworks for specifying test artifacts
Languages and frameworks for specifying test artifacts
 

Recently uploaded

Driving Behavioral Change for Information Management through Data-Driven Gree...
Driving Behavioral Change for Information Management through Data-Driven Gree...Driving Behavioral Change for Information Management through Data-Driven Gree...
Driving Behavioral Change for Information Management through Data-Driven Gree...Enterprise Knowledge
 
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdfThe Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdfEnterprise Knowledge
 
A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)Gabriella Davis
 
[2024]Digital Global Overview Report 2024 Meltwater.pdf
[2024]Digital Global Overview Report 2024 Meltwater.pdf[2024]Digital Global Overview Report 2024 Meltwater.pdf
[2024]Digital Global Overview Report 2024 Meltwater.pdfhans926745
 
CNv6 Instructor Chapter 6 Quality of Service
CNv6 Instructor Chapter 6 Quality of ServiceCNv6 Instructor Chapter 6 Quality of Service
CNv6 Instructor Chapter 6 Quality of Servicegiselly40
 
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...Neo4j
 
Salesforce Community Group Quito, Salesforce 101
Salesforce Community Group Quito, Salesforce 101Salesforce Community Group Quito, Salesforce 101
Salesforce Community Group Quito, Salesforce 101Paola De la Torre
 
2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...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
 
IAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI SolutionsIAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI SolutionsEnterprise Knowledge
 
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking MenDelhi Call girls
 
08448380779 Call Girls In Greater Kailash - I Women Seeking Men
08448380779 Call Girls In Greater Kailash - I Women Seeking Men08448380779 Call Girls In Greater Kailash - I Women Seeking Men
08448380779 Call Girls In Greater Kailash - I Women Seeking MenDelhi Call girls
 
The Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptxThe Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptxMalak Abu Hammad
 
Automating Google Workspace (GWS) & more with Apps Script
Automating Google Workspace (GWS) & more with Apps ScriptAutomating Google Workspace (GWS) & more with Apps Script
Automating Google Workspace (GWS) & more with Apps Scriptwesley chun
 
Tata AIG General Insurance Company - Insurer Innovation Award 2024
Tata AIG General Insurance Company - Insurer Innovation Award 2024Tata AIG General Insurance Company - Insurer Innovation Award 2024
Tata AIG General Insurance Company - Insurer Innovation Award 2024The Digital Insurer
 
GenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day PresentationGenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day PresentationMichael W. Hawkins
 
From Event to Action: Accelerate Your Decision Making with Real-Time Automation
From Event to Action: Accelerate Your Decision Making with Real-Time AutomationFrom Event to Action: Accelerate Your Decision Making with Real-Time Automation
From Event to Action: Accelerate Your Decision Making with Real-Time AutomationSafe Software
 
Presentation on how to chat with PDF using ChatGPT code interpreter
Presentation on how to chat with PDF using ChatGPT code interpreterPresentation on how to chat with PDF using ChatGPT code interpreter
Presentation on how to chat with PDF using ChatGPT code interpreternaman860154
 
Scaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organizationScaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organizationRadu Cotescu
 
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...Drew Madelung
 
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptxEIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptxEarley Information Science
 

Recently uploaded (20)

Driving Behavioral Change for Information Management through Data-Driven Gree...
Driving Behavioral Change for Information Management through Data-Driven Gree...Driving Behavioral Change for Information Management through Data-Driven Gree...
Driving Behavioral Change for Information Management through Data-Driven Gree...
 
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdfThe Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
 
A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)
 
[2024]Digital Global Overview Report 2024 Meltwater.pdf
[2024]Digital Global Overview Report 2024 Meltwater.pdf[2024]Digital Global Overview Report 2024 Meltwater.pdf
[2024]Digital Global Overview Report 2024 Meltwater.pdf
 
CNv6 Instructor Chapter 6 Quality of Service
CNv6 Instructor Chapter 6 Quality of ServiceCNv6 Instructor Chapter 6 Quality of Service
CNv6 Instructor Chapter 6 Quality of Service
 
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
 
Salesforce Community Group Quito, Salesforce 101
Salesforce Community Group Quito, Salesforce 101Salesforce Community Group Quito, Salesforce 101
Salesforce Community Group Quito, Salesforce 101
 
2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...
 
IAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI SolutionsIAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI Solutions
 
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
 
08448380779 Call Girls In Greater Kailash - I Women Seeking Men
08448380779 Call Girls In Greater Kailash - I Women Seeking Men08448380779 Call Girls In Greater Kailash - I Women Seeking Men
08448380779 Call Girls In Greater Kailash - I Women Seeking Men
 
The Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptxThe Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptx
 
Automating Google Workspace (GWS) & more with Apps Script
Automating Google Workspace (GWS) & more with Apps ScriptAutomating Google Workspace (GWS) & more with Apps Script
Automating Google Workspace (GWS) & more with Apps Script
 
Tata AIG General Insurance Company - Insurer Innovation Award 2024
Tata AIG General Insurance Company - Insurer Innovation Award 2024Tata AIG General Insurance Company - Insurer Innovation Award 2024
Tata AIG General Insurance Company - Insurer Innovation Award 2024
 
GenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day PresentationGenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day Presentation
 
From Event to Action: Accelerate Your Decision Making with Real-Time Automation
From Event to Action: Accelerate Your Decision Making with Real-Time AutomationFrom Event to Action: Accelerate Your Decision Making with Real-Time Automation
From Event to Action: Accelerate Your Decision Making with Real-Time Automation
 
Presentation on how to chat with PDF using ChatGPT code interpreter
Presentation on how to chat with PDF using ChatGPT code interpreterPresentation on how to chat with PDF using ChatGPT code interpreter
Presentation on how to chat with PDF using ChatGPT code interpreter
 
Scaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organizationScaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organization
 
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
 
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptxEIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
 

Comparing robustness of AIS-based middleware implementations

  • 1. Budapest University of Technology and Economics Department of Measurement and Information Systems Comparing Robustness of AIS-Based Middleware Implementations Zoltán Micskei, István Majzik Budapest University of Technology and Economics Francis Tam Nokia Research Center Nokia Group International Service Availability Symposium (ISAS) 2007
  • 2. Motivation Comparison: mostly performance. However: Application Component 1 Component N SAF AIS invalid input A faulty application could crash even the HA middleware!
  • 3. Robustness  „The degree to which a system operates correctly in the presence of oexceptional inputs or ostressful environmental conditions.” [IEEE Std 610.12.1990]
  • 4. Robustness testing Functional testing o Conformance, expected output included o Valid inputs, some of the invalids Robustness testing − Try to „break” the system − Large amount of invalid input
  • 5. Goal  Test and compare robustness of HA MW o Based on common interface  Several fault type and mode → automatic test generation
  • 6. Fault model: Primary sources Custom Application AIS implementation Operating System Hardware API calls OS calls
  • 7. Fault model: Secondary sources Custom Application AIS implementation Operating System Hardware External Components Human Interface API calls OS calls HW failures Operators
  • 8. Our testing tools TBTS-TG (type spec.) Workload MBST-TG (mutation) Operating system Hardware OS call wrapper HA Middleware
  • 9. Testing tools TBTS-TG (type spec.) Workload MBST-TG (mutation) Operating system Hardware OS call wrapper HA Middleware
  • 10. Type specific testing  Goal: test the whole interface saAmfInitialize saAmfPmStart saComponentNameGet Handle invalid Handle closed Handle invalid Handle closed Monitoring started Component not registered Handle invalid Handle closed Component not registered Pointer null
  • 11. Type specific testing  Goal: test the whole interface saAmfInitialize saAmfPmStart saComponentNameGet SaAmfHandleT SaAmfName Handle invalid Handle closed Name invalid Component not registered
  • 12. Type specific testing  For each function o Fill a template with the parameters o Invalid and valid values  Middleware specific: o state based calls o Complex setup code for type values o Running tests as SA-aware components
  • 13. Testing tools TBTS-TG (type spec.) Workload MBST-TG (mutation) Operating system Hardware OS call wrapper HA Middleware
  • 14. Mutation-based testing  Goal: test complex scenarios using multiple functions  How? o Write complex test o Mutate existing code with injecting typical robustness faults  Sources to mutate o SAFtest o Functional tests in openais
  • 15. Testing tools TBTS-TG (type spec.) Workload MBST-TG (mutation) Operating system Hardware OS call wrapper HA Middleware
  • 16. OS call wrapper  Goal: test environment conditions  Provide workload  Intercept system calls and o delay, o change return value.  Support in OS: o e.g. strace and LD_PRELOAD in Linux
  • 17. Testing results  Three middleware o Openais version 0.80.1 and trunk o Fujitsu Siemens SAFE4TRY  Test execution environment o Configuration file, restart MW, logging…  Results: o Differences in headers o Test program aborts o Middleware crashes
  • 18. Type specific openais-0.80.1 openais-trunk SAFE4TRY success 24568 26019 29663 segmentation fault 1100 1468 0 timeout 467 2178 2 SAFE4TRY seems to be more robust to these kind of inputs For 6 functions in openais the middleware itself crashed In openais 0.69 segmentation fault was 8001 out of 13460
  • 19. Mutation based Example from the observed failures:
  • 20. OS call wrapper openais-0.80.1 openais-trunk SAFE4TRY No failure observed 6 5 5 Application failed 0 2 1 Middleware failed 3 2 3  Observations:  All are vulnerable for system call failure  Some calls cause failure for all: e.g. socket  Some depends on system: e.g. bind
  • 21. Future work - Obtaining metrics  Large amount of output  Number of failed tests for a function → robustness faults in the function  Help: o Assigning expected error codes o Data mining tools / decision tree
  • 22. Lessons learnt  Simple tests can find robustness failures  Different methods find different failures  There are problems even with the headers  Existing applications not up-to-date o LDAP DN format, component name get  Middleware differ heavily o How-to start, stop; configuration files  For complex scenarios, OS call failures o Detailed workload, complex test setup needed  Robustness improving