April 12, 2023 2
Summary
Introduction Fundaments of Testing Formal Verification, Testability and Testing Component Testing in a Software Engineering
Process Phases of Testing Test Automation Testing in C.E.S.A.R Motorola Brazil Test Center
April 12, 2023 3
Formal Verification, Testability and Testing
[VOAS et al, 1995] Combine Testability, Formal Verification and Testing Testability
"The degree to which a system or component facilitates the establishent of test criteria and the performance of tests to determine whether those criteria have been met.”
IEEE Standard Glossary of Software Engineering Technology
Formal Verification“Process of evaluating a system or component to determine whether the products of a given development phase satisfy the conditions imposed at the start of that phase.”
IEEE Standard Glossary of Software Engineering Technology
Testing ?????????
April 12, 2023 4
Component Testing in a Software Engineering Process
[GOUVEIA, 2004] “unir o processo de teste ao processo de desenvolvimento do software, isto
é, fazer com que estas duas etapas ocorram paralelamente e de forma colaborativa, e não uma após a outra.”
April 12, 2023 5
Phases of Testing
[WHITTAKER, 2000] Modeling the software’s enviroment
1st Point 2nd Point
Selecting test scenarios 1st Point 2nd Point
Running and evaluating test scenarios 1st Point 2nd Point
Measuring testing progress 1st Point 2nd Point
April 12, 2023 6
Software Test Automation
Advantages 1st Point 2nd Point
Disadvantages 1st Point 2nd Point
Statistically 1st Point 2nd Point
How to make it worthful? 1st Point 2nd Point
April 12, 2023 7
Tests on C.E.S.A.R
Motorola E2E Web Testing
Motorola P2K Brazil Test Center Mobile software testing
April 12, 2023 8
Brazil Test Center
BTC Test Design Writes test cases based on scaped defects
BTC Test Execution Runs Sanity, Regression, Integration and Load Tests
BTC Feature Test Writes test cases based on software requirements and
Executes the test cases BTC Test Automatic Execution
Executes Automated Test Cases for Sanity, Integration and Stress Tests
BTC Test Automation Develops a Test Automation Framework and Automated
Test Cases
April 12, 2023 9
Reuse in Test Design
High Level Test Cases What is? Why? How to?
April 12, 2023 10
Reuse in Test Execution
Execution History What is?
Automation of the tests’ initial condition What is?
April 12, 2023 11
Test Automation: Reuse
Framework based on reuse Implementation + Design Design Patterns
Memento Composite Builder Facade Visitor Template Method Abstract Factory Singleton Adapter Bridge
Same test case for all kinds of software More than 6 executions per machine
April 12, 2023 12
References
[VOAS et al, 1995] Jeffrey M. Voas and Keith W. Miller, Software Testability: The New Verification, IEEE Software, May 1995.
[WHITTAKER, 2000] James A. Whittaker, What is Software Testing? And Why Is It So Hard?, IEEE Software, Practice Tutorial, January 2000.
[GOUVEIA, 2004] Cidinha C. Gouveia, Testes de Integração para Sistemas Baseados em Componentes. Master’s thesis, UFCG, July 2004.
[OLIVEIRA et al, 2005] Jorge Corrêa de Oliveira, Cidinha C. Gouveia, Romulo Quidute, Test automation viability analysis method, November 2005.