Open Source Testing Framework: real project example and best practicesAliaksandr Ikhelis
油
Summary: Presentation on open source testing frameworks (improved version, more focus on real project example) at Software Engineering Forum 2009 (SEF-1) conference by Aliaksandr Ikhelis. Sponte framework developer and owner is Stanislaw Wozniak, Expedia Limited, UK. Sponte project homepage: http://rubyforge.org/projects/sponte/; http://github.com/swozniak/sponte/tree/master
Building Open Source Test Automation Frameworks. Watir based automation case ...Aliaksandr Ikhelis
油
Summary: Presentation on open source testing frameworks at SQA Days 2008 conference by Aliaksandr Ikhelis. Sponte framework developer and owner is Stanislaw Wozniak, Expedia Limited, UK. Sponte project homepage: http://rubyforge.org/projects/sponte/; http://github.com/swozniak/sponte/tree/master
DevOps guide for awesome quality assurance仆舒舒亳 亠亠于舒
油
The practical story telling how Devops changed the culture of quality in the Bank. Recently Devops became mainstream topic. But only few people have a deep understanding how to apply it to the process of software quality assurance. Some believe that the Devops kills manual testing.
I will talk about changes it makes to the role of QA engineers themself. The discussion main point is NOT about tools or technologies. Its NOT about the silver bullet for your problems with the quality of products.
Instead, I will show you an integrated approach which we used for quality assurance. It allowed us to significantly reduce the cost of finding and fixing defects. This approach has also accelerated the development and delivery value to our customers and made the whole process more transparent and predictable.
The document discusses combining branching time logic with logics of knowledge for reasoning about multi-agent systems. It proposes an update and abstraction algorithm for model checking Computational Tree Logic with Knowledge (Act-CTL-K) in perfect recall synchronous settings. The key points are:
1) The algorithm transforms Act-CTL-K formulas of bounded knowledge depth k into Act-CTL, using k-trees and knowledge update functions to represent the original environment.
2) A k-tree is a finite tree of height k that represents the knowledge of agents. Knowledge update functions are defined to transform k-trees after actions.
3) The resulting model checking algorithm solves Act-CTL on the transformed k-trees,
2. 弌仂亟亠亢舒仆亳亠
亠仄仆仂亞仂 仂 仗仂亟从亠 Microsoft SQL Server
弌从舒 仂亞舒仆亳亰舒亳亳 Microsoft SQL Server
仂亠 亠亳仂于舒仆亳
仆仆仂于舒亳亳 于 仗仂亠亠 亠亳仂于舒仆亳
舒亰舒弍仂从舒 亠仂于
仗仂仍仆亠仆亳亠 亠仂于
3. MS SQL Server
仂从仂仗仂亳亰于仂亟亳亠仍仆舒 弌丕
亠亳仄亠于舒 MS SQL Server
亠亞从仂 于 仆舒仂亶从亠 亳 仂仗仂于仂亢亟亠仆亳亳
从舒亰仂仂亶亳于仂 亳 仆舒亟亠亢仆仂
仆仂于仆亠 从仂仆从亠仆
Oracle
IBM DB2
MySQL
http://www.microsoft.com/sqlserver/en/us/product-
info/competitor-compare.aspx
4. 亞舒仆亳亰舒亳 MS SQL Server
~1200 亠仍仂于亠从
仆仂于仆亠 亞仗仗:
SQL Engine (~250 亠仍仂于亠从)
Data Programmability & Manageability
Business Intelligence
Data Warehousing
仗仗舒 仗仂亟亟亠亢从亳 亳 仂仗仂于仂亢亟亠仆亳
(Central Services)
5. 舒亟仂于亶 仂舒于
仆仂于仆亠 仗仂亰亳亳亳
SDET Software Development Engineer
in Test
PM Program Manager
SDE Software Development Engineer
弌仂仂仆仂亠仆亳亠 从仂仍亳亠于舒 SDE 从 SDET ~ 1:1
14. 亳仄亠 舒亳亠从仂亞仂 亠舒
弌仂亰亟舒仆亳亠 亳仆亟亠从舒
1. CREATE TABLE table
2. INSERT INTO table
3. CREATE CLUSTERED INDEX index ON table
4. 仂于亠从舒 仄亠舒-亟舒仆仆
5. DBCC CHECKDB
6. DROP INDEX index
7. 仂于仂仆舒 仗仂于亠从舒 仄亠舒-亟舒仆仆
8. DROP TABLE table
15. 亳仆舒仄亳亠从亳亶 亠: pipeline
Create Index
仂于亠从舒 仄亠舒-亟舒仆仆
InsertCreate Table
Diff results DBCCAuto File
Schema Data Gen
Cluster Non-cluster,
Column
35. 弌仗舒亳弍仂!
亟仂从仍舒亟亳从亠
弍舒亰仂于舒仆亳亠
弌丕丶 丕丕
丕丐丕-丕, 丐个, 亳仆亢亠仆亠
University of Vermont, MS in Computer Science
C 2007 亞仂亟舒 Microsoft, SDET SQL Server
email: KateSi@microsoft.com
Editor's Notes
#4: Relational DB: what is it, small example on bank
#6: 仂亰亳亳 SDET, importance of SDET, 从舒亠仆亶 仂: lead vs IC, culture: diversity, non-discremenation: age \ gender \ race
Motivation: interesting projects, training 5% time (1 week),
仂亠仆从舒 仗仂 亠亰仍舒舒仄 于仂弍仂亟仆亶 亞舒亳从, performance reviews, peer reviews
Career growth opportunities: lead vs IC. Interested in senior Ics.
#10: 仂亠仄 亠亳仂于舒仆亳亠 亟仍 仆舒 舒从 于舒亢仆仂. 亳仄亠 leap year problem
仂亠仄 仄 仄仂亢亠仄 亞仂于仂亳 仂 亠亳仂于舒仆亳亳
Virtual Teams,
#16: Each step is replaced by a generic component. We are yet to instantiate this.
Model based testing