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
 
Paper PsUpload
Paper PsUploadPaper PsUpload
Paper PsUploadtechweb08
 
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
 

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
 
Paper PsUpload
Paper PsUploadPaper PsUpload
Paper PsUpload
 
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
 

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

Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...
Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...
Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...apidays
 
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...apidays
 
Vector Search -An Introduction in Oracle Database 23ai.pptx
Vector Search -An Introduction in Oracle Database 23ai.pptxVector Search -An Introduction in Oracle Database 23ai.pptx
Vector Search -An Introduction in Oracle Database 23ai.pptxRemote DBA Services
 
DBX First Quarter 2024 Investor Presentation
DBX First Quarter 2024 Investor PresentationDBX First Quarter 2024 Investor Presentation
DBX First Quarter 2024 Investor PresentationDropbox
 
Architecting Cloud Native Applications
Architecting Cloud Native ApplicationsArchitecting Cloud Native Applications
Architecting Cloud Native ApplicationsWSO2
 
Elevate Developer Efficiency & build GenAI Application with Amazon Q​
Elevate Developer Efficiency & build GenAI Application with Amazon Q​Elevate Developer Efficiency & build GenAI Application with Amazon Q​
Elevate Developer Efficiency & build GenAI Application with Amazon Q​Bhuvaneswari Subramani
 
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost SavingRepurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost SavingEdi Saputra
 
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, AdobeApidays 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, Adobeapidays
 
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...Jeffrey Haguewood
 
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...Angeliki Cooney
 
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...apidays
 
WSO2's API Vision: Unifying Control, Empowering Developers
WSO2's API Vision: Unifying Control, Empowering DevelopersWSO2's API Vision: Unifying Control, Empowering Developers
WSO2's API Vision: Unifying Control, Empowering DevelopersWSO2
 
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers:  A Deep Dive into Serverless Spatial Data and FMECloud Frontiers:  A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FMESafe Software
 
How to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected WorkerHow to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected WorkerThousandEyes
 
Six Myths about Ontologies: The Basics of Formal Ontology
Six Myths about Ontologies: The Basics of Formal OntologySix Myths about Ontologies: The Basics of Formal Ontology
Six Myths about Ontologies: The Basics of Formal Ontologyjohnbeverley2021
 
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWEREMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWERMadyBayot
 
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot TakeoffStrategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoffsammart93
 
Boost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdfBoost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdfsudhanshuwaghmare1
 
Apidays New York 2024 - The value of a flexible API Management solution for O...
Apidays New York 2024 - The value of a flexible API Management solution for O...Apidays New York 2024 - The value of a flexible API Management solution for O...
Apidays New York 2024 - The value of a flexible API Management solution for O...apidays
 
DEV meet-up UiPath Document Understanding May 7 2024 Amsterdam
DEV meet-up UiPath Document Understanding May 7 2024 AmsterdamDEV meet-up UiPath Document Understanding May 7 2024 Amsterdam
DEV meet-up UiPath Document Understanding May 7 2024 AmsterdamUiPathCommunity
 

Recently uploaded (20)

Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...
Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...
Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...
 
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
 
Vector Search -An Introduction in Oracle Database 23ai.pptx
Vector Search -An Introduction in Oracle Database 23ai.pptxVector Search -An Introduction in Oracle Database 23ai.pptx
Vector Search -An Introduction in Oracle Database 23ai.pptx
 
DBX First Quarter 2024 Investor Presentation
DBX First Quarter 2024 Investor PresentationDBX First Quarter 2024 Investor Presentation
DBX First Quarter 2024 Investor Presentation
 
Architecting Cloud Native Applications
Architecting Cloud Native ApplicationsArchitecting Cloud Native Applications
Architecting Cloud Native Applications
 
Elevate Developer Efficiency & build GenAI Application with Amazon Q​
Elevate Developer Efficiency & build GenAI Application with Amazon Q​Elevate Developer Efficiency & build GenAI Application with Amazon Q​
Elevate Developer Efficiency & build GenAI Application with Amazon Q​
 
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost SavingRepurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
 
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, AdobeApidays 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
 
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
 
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
 
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
 
WSO2's API Vision: Unifying Control, Empowering Developers
WSO2's API Vision: Unifying Control, Empowering DevelopersWSO2's API Vision: Unifying Control, Empowering Developers
WSO2's API Vision: Unifying Control, Empowering Developers
 
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers:  A Deep Dive into Serverless Spatial Data and FMECloud Frontiers:  A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
 
How to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected WorkerHow to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected Worker
 
Six Myths about Ontologies: The Basics of Formal Ontology
Six Myths about Ontologies: The Basics of Formal OntologySix Myths about Ontologies: The Basics of Formal Ontology
Six Myths about Ontologies: The Basics of Formal Ontology
 
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWEREMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
 
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot TakeoffStrategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
 
Boost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdfBoost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdf
 
Apidays New York 2024 - The value of a flexible API Management solution for O...
Apidays New York 2024 - The value of a flexible API Management solution for O...Apidays New York 2024 - The value of a flexible API Management solution for O...
Apidays New York 2024 - The value of a flexible API Management solution for O...
 
DEV meet-up UiPath Document Understanding May 7 2024 Amsterdam
DEV meet-up UiPath Document Understanding May 7 2024 AmsterdamDEV meet-up UiPath Document Understanding May 7 2024 Amsterdam
DEV meet-up UiPath Document Understanding May 7 2024 Amsterdam
 

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