Test Automation for Verifying Software’s Detectability for Rule Violations Name: Zhishuai Yao Supervisor: Pro. Jukka Manner Place: Varian Medical Systems.

Slides:



Advertisements
Similar presentations
SolidWorks Enterprise PDM Data Loading Strategies
Advertisements

Estimation of TLD dose measurement uncertainties and thresholds at the Radiation Protection Service Du Toit Volschenk SABS.
Automated Software Testing: Test Execution and Review Amritha Muralidharan (axm16u)
Software Quality Assurance Plan
Chapter 4 Quality Assurance in Context
HORIZONT 1 ProcMan ® The Handover Process Manager Product Presentation HORIZONT Software for Datacenters Garmischer Str. 8 D München Tel ++49(0)89.
T-FLEX DOCs PLM, Document and Workflow Management.
1 Software Testing and Quality Assurance Lecture 21 – Class Testing Basics (Chapter 5, A Practical Guide to Testing Object- Oriented Software)
הטכניון - מכון טכנולוגי לישראל הפקולטה להנדסת חשמל המעבדה למערכות ספרתיות מהירות High Speed Serial Link Traffic Generator & Analyzer Verification.
© 2004 Programmed Instruction ­Students work through this Unit of Learning at their own pace and are tested at each step with a multiple choice question.
Principles of Information Systems, Sixth Edition Transaction Processing & Enterprise Resource Planning Systems Chapter 9.
Applied Software Project Management Andrew Stellman & Jennifer Greene Applied Software Project Management Applied Software.
Testing - an Overview September 10, What is it, Why do it? Testing is a set of activities aimed at validating that an attribute or capability.
THE DICOM 2013 INTERNATIONAL CONFERENCE & SEMINAR March 14-16Bangalore, India Experiences in building DICOM module for Proton radiation therapy planning.
Software Testing Prasad G.
Chapter 11: Testing The dynamic verification of the behavior of a program on a finite set of test cases, suitable selected from the usually infinite execution.
Radiotherapy Quality Assurance
Presented by INTRUSION DETECTION SYSYTEM. CONTENT Basically this presentation contains, What is TripWire? How does TripWire work? Where is TripWire used?
What Exactly are the Techniques of Software Verification and Validation A Storehouse of Vast Knowledge on Software Testing.
Transaction Processing & Enterprise Resource Planning Systems Chapter 9.
Evaluation of New Pre-Treatment In-Air Patient Specific QA Software for TomoTherapy Treatments Lydia L. Handsfield¹, Quan Chen¹, Kai Ding¹, Wendel Renner²,
Topics Covered: Data preparation Data preparation Data capturing Data capturing Data verification and validation Data verification and validation Data.
Vulnerability-Specific Execution Filtering (VSEF) for Exploit Prevention on Commodity Software Authors: James Newsome, James Newsome, David Brumley, David.
Commercial Database Applications Testing. Test Plan Testing Strategy Testing Planning Testing Design (covered in other modules) Unit Testing (covered.
1 Software Testing (Part-II) Lecture Software Testing Software Testing is the process of finding the bugs in a software. It helps in Verifying and.
TESTING.
Brachytherapy Medical radiation.
 Definitions  Goals of automation in pharmacy  Advantages/disadvantages of automation  Application of automation to the medication use process  Clinical.
© 2012 IBM Corporation Rational Insight | Back to Basis Series Chao Zhang Unit Testing.
Topics Covered: Software requirement specification(SRS) Software requirement specification(SRS) Authors of SRS Authors of SRS Need of SRS Need of SRS.
Robotic Radiation Oncology
Software Engineering 2003 Jyrki Nummenmaa 1 CASE Tools CASE = Computer-Aided Software Engineering A set of tools to (optimally) assist in each.
VeriFlow: Verifying Network-Wide Invariants in Real Time
Real-time Robotic Radiation Oncology Brian Murphy Electronic and Computer Engineering NUI Galway.
Unit Testing -Ranjit Shewale Contents  Scope  Owner  Approach  Conventional approach  Object oriented approach  Tips for the.
Event Management & ITIL V3
FDA Public Meeting: Device Improvements to Reduce the Number of Under-doses and Misaligned Exposures from Therapeutic Radiation.
Testing Methods Carl Smith National Certificate Year 2 – Unit 4.
Verification and Validation in the Context of Domain-Specific Modelling Janne Merilinna.
Module 15 Monitoring SQL Server 2008 R2 with Alerts and Notifications.
Integrating the Health Care Enterprise- Radiation Oncology Use Case: In Vivo Patient Dosimetry Editor: Juan Carlos Celi - IBA Reviewer: Zheng Chang – Duke.
Chapter 10 Verification and Validation of Simulation Models
INTRUSION DETECTION SYSYTEM. CONTENT Basically this presentation contains, What is TripWire? How does TripWire work? Where is TripWire used? Tripwire.
CISC Machine Learning for Solving Systems Problems Presented by: Suman Chander B Dept of Computer & Information Sciences University of Delaware Automatic.
MDD approach for the Design of Context-Aware Applications.
Software Engineering 2004 Jyrki Nummenmaa 1 BACKGROUND There is no way to generally test programs exhaustively (that is, going through all execution.
MANUAL TESTING KS SESSION PRESENTED BY 26/11/015 VISHAL KUMAR.
Software Testing. System/Software Testing Error detection and removal determine level of reliability well-planned procedure - Test Cases done by independent.
CS451 Software Implementation and Integration Yugi Lee STB #555 (816) Note: This lecture was designed.
Software Configuration Management SEII-Lecture 21
HNDIT23082 Lecture 09:Software Testing. Validations and Verification Validation and verification ( V & V ) is the name given to the checking and analysis.
1. Create an IMRT plan on the Cadplan/Helios system. When selecting the LMC options, select the “Extract Portal Image with” option and use 0 MU. This creates.
T EST T OOLS U NIT VI This unit contains the overview of the test tools. Also prerequisites for applying these tools, tools selection and implementation.
SOFTWARE TESTING Sampath Kumar Vuyyuru. INTRODUCTION Software Testing is a way of executing the software in a controlled manner to check whether the software.
Testing and Evolution CSCI 201L Jeffrey Miller, Ph.D. HTTP :// WWW - SCF. USC. EDU /~ CSCI 201 USC CSCI 201L.
Flair development for the MC TPS Wioletta Kozłowska CERN / Medical University of Vienna.
What is a software? Computer Software, or just Software, is the collection of computer programs and related data that provide the instructions telling.
Enabling Grids for E-sciencE LRMN ThIS on the Grid Sorina CAMARASU.
Software Testing.
SOFTWARE TESTING Date: 29-Dec-2016 By: Ram Karthick.
Regression Testing with its types
Testing Tutorial 7.
<Student’s name>
Prostate Edge Detection Using a Knowledge Base
WW TSS-06 S2 Monitor Automated Galaxy Log Monitoring Application
Software Verification and Validation
Software Verification and Validation
Software Verification and Validation
CSE 1020:Software Development
Security in SDR & cognitive radio
Presentation transcript:

Test Automation for Verifying Software’s Detectability for Rule Violations Name: Zhishuai Yao Supervisor: Pro. Jukka Manner Place: Varian Medical Systems Finland Oy

Outlines Overview and background Objectives of the thesis Design and implementation Results and conclusions Q & A

Overview and Background This thesis is done in a company which develops software for radiation therapy in cancer treatment Automated tests are created to verify the error detecting mechanism (“checking functions”) in the software

Overview and Background Radiation therapy – Using radiation beam to irradiate the tumor. – Requires high accuracy at tumor positioning and dosing the treatment

Overview and Background Treatment planning system (TPS) – Computerized application used for simulate the dose distribution in CT images – Various of inputs to the TPS increases the risk for radiation therapy

Objectives of the Thesis Implementing the tests is to: – High level: reducing the risk in radiation therapy – Low level: eliminating the errors in the TPS by verifying the “checking functions” in the application

Design and Implementation Testing target: “checking functions” – For each specific violation of rule, checking function throws error or warning message to notify the user Testing method: “black box testing” – Generate faulty cases to violate every predefined rules and check whether the correct error or warning message is throw by the “checking function”

Design and Implementation Challenges – Understand each rule (requirement) and find the proper parameter to violate the rule – Setting the criteria to the test – Short execution time and reusability (e.g. for regression testing)

Design and Implementation

Test procedures: – Importing prerequisite data – Running the checking function for original data No error or warning should be thrown – Modify specific parameter – Running the checking function again Expected error or warning should be thrown – Log the result

Results and Conclusions Automated test has covered 93 rules (requirements) by the time this thesis was finalized (currently more than 120 )

Results and Conclusions Associated warning or error is not shown. Non-related warning or error is shown in addition to the correct warning or error message. Corruption in data model dependency rule. Some of the mandatory attributes are not correctly configured in the system.

Thanks for your attention! Question & Answer