Graph-based Testing Methodology for IoT Systems

Slides:



Advertisements
Similar presentations
Nov. 17, 2005CSLP Themes1 Information and Communication Technology Integration Theme* Emerging Theme Expanding the scope of previous focus on Post-secondary.
Advertisements

Test Automation Success: Choosing the Right People & Process
Object-Oriented Software Development CS 3331 Fall 2009.
Chapter 3 Process Models
November 5, 2007 ACM WEASEL Tech Efficient Time-Aware Prioritization with Knapsack Solvers Sara Alspaugh Kristen R. Walcott Mary Lou Soffa University of.
Continuous Catalytic Oxidation in Pharmaceutical Processing B. Frank Gupton VCU John Monnier USC Steve Fong VCU Center for Rational Catalyst Synthesis.
DECO3008 Design Computing Preparatory Honours Research KCDCC Mike Rosenman Rm 279
1 Short presentation title Name Organisation Contact details © EPoSS 2015EPoSS Brokerage Workshop on IoT Large Scale Pilots, London,
Industrial Organization Economists have developed a branch of economic analysis called Industrial Organization to trace the relationship between the structure.
At the end of this module, participants should have a better understanding of the following : Elements of Gender Mainstreaming Basics of Gender Analysis.
Evidence based research in education Cathy Gunn University of Auckland.
What is a life cycle model? Framework under which a software product is going to be developed. – Defines the phases that the product under development.
GENERAL STATISTICS OFFICE OF VIETNAM VIETNAM STATISTICS: PROGRESS AND REFORMS.
University of Palestine software engineering department Testing of Software Systems Testing throughout the software life cycle instructor: Tasneem Darwish.
Prof. Aiken CS 169 Lecture 61 Project Planning CS169 Lecture 6.
Program Development Cycle Modern software developers base many of their techniques on traditional approaches to mathematical problem solving. One such.
Info-Tech Research Group1 Requirements Gathering World Class Operations - Impact Workshop.
CS525T the Internet of Things Professor Bob Kinicki Fall 2015.
WERST – Methodology Group
Thomas L. Gilchrist Testing Basics Set 3: Testing Strategies By Tom Gilchrist Jan 2009.
Software Engineering Seminar Proposal Name: Mr.Prachya Plasananya ID: Major: Software Engineering Seminar Advisor: Aj. Nikorn Rongbutsri.
Methodology Review Chapter 7 Part 2: Design Methodology Object-Oriented Modeling and Design Byung-Hyun Ha
This is a customer facing presentation that you can use to present the your assessment findings, recommendations, options, benefits and requirements. This.
FLEX - FIRE LTE TESTBEDS FOR OPEN EXPERIMENTATION PROJECT OVERVIEW Nikos Makris, University of Thessaly (UTH) Contract number: Starting date: 1/1/2014.
Cs498dm Software Testing Darko Marinov January 24, 2012.
HCC 831 User Interface Design and Evaluation. What is Usability?
What we mean by Big Data and Advanced Analytics
סווג וניתוח מבוסס מודלים של פרויקטים מורכבים לצורך שיפור ביצועיהם
Presented by: Debarun das (DED59)
Earth Science Data Analytics:
Project Methodologies and Processes
Updating the Value Proposition:
Software Development and Safety Critical Decisions
Matt Hornbrook James Beams
MadeCR: Correlation-based Malware Detection for Cognitive Radio
MGT 498 TUTORIAL Success trials - mgt498tutorial.com
Improving PCOR Methods: Causal Inference
Software Life Cycle “What happens in the ‘life’ of software”
DT249/4 Information Systems Engineering Lecture 0
Preface to the special issue on context-aware recommender systems
WP4 Measurements & social indicators.
Designing Software for Ease of Extension and Contraction
Advanced systems for prevention & early detection of forest fires (ASPires) KICK OFF MEETING Call for proposals for prevention and preparedness project.
An Application in Analyzing Isolated Malicious Activities
MGT 498 TUTORIAL Education for Service--mgt498tutorial.com.
MGT 498 EDU Education for Service-- mgt498edu.com.
Mobile edge computing Report by Weiqing huang.
Writing a Technical Report
Object Oriented Analysis and Design
Welcome: How to use this presentation
Computer Science Life Cycle Models.
Closed Loop Wind Farm Control
IoT and the New Product Organization
Usability Techniques Lecture 13.
Dr. Zhijie Huang and Prof. Hong Jiang University of Texas at Arlington
Software Testing: A Research Travelogue
User Interface Design and Evaluation
Units with – James tedder
CASCADE FUNDING WORKSHOP
Prof. Bhavani Thuraisingham The University of Texas at Dallas
Define Your IT Strategy
New Challenges in Systems Safety - Themes
SPECIFIC : The target will be Middle School students
Silvia Losco, ISTAT, Strategies and approaches for managing risks in the official statistics production: ISTAT experience in the.
Key outcomes.
Simulation-driven Enterprise Modelling: WHY ?
A Development-Testing-Maintenance model for software evolution
Presentation transcript:

Graph-based Testing Methodology for IoT Systems Linghuan Hu Prof. Eric Wong University of Texas at Dallas

The Problem, Need and Industrial Relevance Challenges of Testing IoT IoT is a complicated system with heterogeneous devices and different software Software behavior can be affected by the heterogeneous devices IoT is dynamic, highly scalable Very easy to have more than 1000 different devices in IoT Many effective and mature software testing life cycles have been used in industry for testing traditional software IoT has no such consensus No evaluation metrics for IoT testing Industry still uses the traditional software metrics for IoT testing

The Problem, Need and Industrial Relevance

Project Goals and Objectives Provide a guidance on which set of paths and in what order you should test for a particular IoT system Systematically and effectively test the entire system Measure the test coverage based on the tested path of the system Identify the paths that still require testing Where should I start? Did I miss anything?

Research Methods and Novelty of Approach Unlike other IoT testing approaches that only focus on the implementation level, we provide a testing methodology that Provides an effective and efficient guidance Integrates the low level testing techniques (e.g., combinatorial testing, symbolic testing, security testing, etc.)

Expected Outcomes and Deliverables Develop and refine an effective IoT testing methodology, and integrate it with industry-level testing techniques Modeling techniques Path identification algorithms Prioritization algorithms Effective and efficient testing techniques … Apply developed methodology in industry-settings Conduct empirical study using real-world systems Revise the methodology based on feedback from industry

Project Timeframe 1 year project duration First 7 months: modeling, algorithm, and testing techniques design Last 5 months: empirical study, evaluation, and refinement

Impact of work proposed or already performed Provide a helpful guidance on testing IoT systems Measure the testing coverage for IoT systems

Questions? Linghuan Hu <Linghuan.Hu@utdallas.edu> Prof. Eric Wong <wew021000@utdallas.edu>