Complex Test Suites Organization Victor Kuliamin ISP RAS, Moscow.

Slides:



Advertisements
Similar presentations
A Lightweight Platform for Integration of Mobile Devices into Pervasive Grids Stavros Isaiadis, Vladimir Getov University of Westminster, London {s.isaiadis,
Advertisements

VCS 5.0 for VMware ESX.
© 2013 IBM Corporation Implement high-level parallel API in JDK Richard Ning – Enterprise Developer 1 st June 2013.
Name: Date: Read temperatures on a thermometer Independent / Some adult support / A lot of adult support
Gail-Joon Ahn and Ravi Sandhu George Mason University Myong Kang and Joon Park Naval Research Laboratory Injecting RBAC to Secure a Web-based Workflow.
© 2005 by Prentice Hall Chapter 13 Finalizing Design Specifications Modern Systems Analysis and Design Fourth Edition Jeffrey A. Hoffer Joey F. George.
Chapter 24 Quality Management.
1 Evaluating the Security Threat of Instruction Corruptions in Firewalls Shuo Chen, Jun Xu, Ravishankar K. Iyer, Keith Whisnant Center of Reliable and.
Tom Sugden EPCC OGSA-DAI Future Directions OGSA-DAI User's Forum GridWorld 2006, Washington DC 14 September 2006.
Prevalence of Obesity* among U.S. Adults BRFSS, 1992 Source: Mokdad AH, et al. J Am Med Assoc 1999;282:16. 15% no data.
Software Process Modeling with UML and SPEM
The big picture A tough decade has come to an end and there now is an opportunity to strengthen the quality of education.
© 1998, Progress Software Corporation 1 Migration of a 4GL and Relational Database to Unicode Tex Texin International Product Manager.
3 Copyright © 2005, Oracle. All rights reserved. Designing J2EE Applications.
Presenter Name(s) Issue date National Student.
0 - 0.
FACTORING ax2 + bx + c Think “unfoil” Work down, Show all steps.
Addition Facts
Year 6 mental test 15 second questions Numbers and number system Numbers and the number system, Measures and Shape.
Making the System Operational
CS4026 Formal Models of Computation Running Haskell Programs – power.
Construction process lasts until coding and testing is completed consists of design and implementation reasons for this phase –analysis model is not sufficiently.
5.5 Resource Management Section 5.6 Resource Management Examples.
$100 $200 $300 $400 $100 $200 $300 $400 $100 $200 $300 $400 $100 $200 $300 $400 $100 $200 $300 $400.
Insert image here © SPEC-Soft SAVINGS AND EXPERTISE FOR YOUR PLANT PFS-Suite Life-cycle Tools For Process Automation PFS-Suite TM.
Real Time Versions of Linux Operating System Present by Tr n Duy Th nh Quách Phát Tài 1.
Configuration management
Karl-Heinz Kühnlein Conquest 2009: Experiences with model centric Testing in Standard-based Medical IT Environments Test Management Aspects.
Why Do We Need a (Plan) Portability API? Gerd Breiter Frank Leymann Thomas Spatzier.
Uncovering Performance Problems in Java Applications with Reference Propagation Profiling PRESTO: Program Analyses and Software Tools Research Group, Ohio.
Multi-Application in Smart Card-based Devices Christophe Colas, Chief Software Architect August 2002.
Testing Constrained Combinations Vera Pironska QA Engineer XAML Team 1 XAML Team 1 Telerik QA Academy Telerik QA Academy.
INTRODUCTION TO SIMULATION WITH OMNET++ José Daniel García Sánchez ARCOS Group – University Carlos III of Madrid.
Describing Complex Products as Configurations using APL Arrays.
HORIZONT TWS/WebAdmin TWS/WebAdmin for Distributed
Copyright © 2006 by The McGraw-Hill Companies, Inc. All rights reserved. McGraw-Hill Technology Education Introduction to Computer Administration Introduction.
Lecture plan Outline of DB design process Entity-relationship model
Operating Systems An Introduction. 2 What Does An Operating System Do? Manages the hardware and software resources of the system. In a desktop computer,
آزمایشگاه مهندسی نرم افزار
Executional Architecture
COMPUTER B Y : L K. WINDOWS INFORMATION B Y : L K.
23-8 3x6 Double it Take Away 6 Share By 9 Double it +10 Halve it Beginner Start Answer Intermediate 70 50% of this ÷7÷7 x8 Double it Start Answer.
Towards Corrective Assurance in Adaptive Service-Based Applications Raman Kazhamiakin 1, Andreas Metzger 2, Marco Pistore 1 FBK-Irst, Trento, Italy SSE,
Addition 1’s to 20.
Equal or Not. Equal or Not
Slippery Slope
Test B, 100 Subtraction Facts
©Ian Sommerville 1995/2000 (Modified by Spiros Mancoridis 1999) Software Engineering, 6th edition. Chapters 1,3 Slide 1 Software Engineering Software Engineering.
Landings by Species Group and Year. Revenue by Species Group.
Week 1.
Copyright McGraw-Hill/Irwin, 2005 Legislative Mandate Fiscal Policy and the AD-AS Model Expansionary and Contractionary Fiscal Policy Financing.
Fractions Simplify: 36/48 = 36/48 = ¾ 125/225 = 125/225 = 25/45 = 5/9
Partial Products. Category 1 1 x 3-digit problems.
1  1998 Morgan Kaufmann Publishers Interfacing Processors and Peripherals.
These courseware materials are to be used in conjunction with Software Engineering: A Practitioner’s Approach, 6/e and are provided with permission by.
Installing Windows XP Professional Using Attended Installation Slide 1 of 30Session 8 Ver. 1.0 CompTIA A+ Certification: A Comprehensive Approach for all.
Personalized Navigation in the Semantic Web: An Enhanced Faceted Browser Michal Tvarožek FIIT STU BA.
Import Tracking and Landed Cost Processing An Enhancement For AS/400 DMAS from  Copyright I/O International, 2001, 2005, 2008, 2012 Skip Intro Version.
OPC and the 5000 Connections made even easier! Adrian Oliver iTools Development Team
From Model-based to Model-driven Design of User Interfaces.
University of Rostock 1 CADUI' June FUNDP Namur Automatic user interface generation from declarative models Egbert Schlungbaum & Thomas.
Folksam migrating to IIS 8.7 Information Server User Group meeting 2013 Daniel Palmgren, Folksam.
How Can Simple Model Test Complex System Model Based Testing of Large-Scale Software Victor Kuliamin ISP RAS, Moscow.
Chapter 13 Embedded Systems
CSE 303 – Software Design and Architecture
Magnetic Field Measurement System as Part of a Software Family Jerzy M. Nogiec Joe DiMarco Fermilab.
Software Verification Academician V.P.Ivannikov, Director of ISPRAS Moscow, November 2008.
UniTesK Test Suite Architecture Igor Bourdonov Alexander Kossatchev Victor Kuliamin Alexander Petrenko.
Chapter 1 Basic Concepts of Operating Systems Introduction Software A program is a sequence of instructions that enables the computer to carry.
UniTesK Test Suite Architecture Igor Bourdonov Alexander Kossatchev Victor Kuliamin Alexander Petrenko.
Presentation transcript:

Complex Test Suites Organization Victor Kuliamin ISP RAS, Moscow

2/16 Modern Software Complexity Modern software systems Are huge and have a lot of functions Have very complex interfaces Are developed by hundreds of people System Year Size(MLOC) Windows Windows NT Windows NT Windows Windows NT Solaris Red Hat Linux Debian Windows Red Hat Linux Sun StarOffice Debian Red Hat Linux Windows XP Red Hat Linux Debian Windows Vista Beta Fedora Core Debian Mac OS X System Year DevTeam Size Windows NT Windows NT Windows NT Debian * Debian * Windows Debian * Debian * Debian *

3/16 Test Suites Complexity Scalability of testing techniques is strongly related with test suite organization System Size(MLOC) Test suite size(MLOC) Java (JCK) System Year TestTeam Size Windows NT Windows NT Windows NT (0.9) Windows (1.2) System Test Cases MS Word XP Oracle 10i Windows XP >

4/16 Traditional Test Suite Organization Set of test cases Suitable for test suite size management Suitable for failure analysis Test suites for complex systems became huge and poorly manageable Many common parts and low reuse Hard to modify Test suite

5/16 Full Set of Problems Test execution Selection the necessary tests Test suite configuration Test result analysis Failure diagnostics Test adequacy reporting Test creation and maintenance Explicit relations with requirements, testing goals, and components under test Fight with complexity Reuse

6/16 Approaches Attributing Configuration parameters Modularization

7/16 Attributing Adding a set of test case attributes Very simple Provides multi-aspect tests classification Provides links to requirements and components under tests Can help to measure test completeness Test suite 1x3F7 /tests/ usr/t1 2AB41 /tests/ sys/t2 3x9E /tests/ sys/t3

8/16 Configuration Parameters A set of parameters that control test execution and test results assessment Provide additional flexibility, portability and adaptability of test suite Help to check optional requirements May be assigned dynamically May make test suite too complex

9/16 Modularization Separation of modules performing specific tasks Facilitates reuse Enhances maintainability Facilitates requirements traceability May complicate test suite May complicate failure analysis

10/16 Right Modules Test run-time support Scheduler Timer Event monitor Test adapter Test data generator Test oracle

11/16 Test Adapters Make possible reusable and abstract tests TestSUTAdapter

12/16 Test Data Generators Provide data for tests Can contain filters or selectors Can be composed from smaller data generators

13/16 Test Oracles Provide verdict of SUT behavior correctness Test Data Generator System under Test Test Oracle Partial oracles - Event or operation oracle - Data integrity constraint Enhance reuse Simplify requirements traceability ?

14/16 Oracle Composition Simple case Any failure detected by partial oracle is global ­ Complex data integrity constraints Behavior of distributed systems Interleaving semantics

15/16 Conclusion Test suite organization techniques improving testing scalability already exist The most powerful one is modularization But usage of these techniques is restricted by existing tools All the techniques presented need proper support in tools

16/16 Thank you for attention! Any questions?