Misra cpp, cert cpp 2016 and RTL design style guide with HAZOPKiyoshi Ogawa
?
safety and security system with MISRA C++, CERT C++ and STARC RTL design style guide using HAZOP analysis. In Japan we use English on safety and security analysis with source code and coding standards in English.
2019/10/16
初心者向け颁罢贵の奥别产分野の强化法
CTFのweb分野を勉強しているものの本番でなかなか解けないと悩んでいないでしょうか?そんな悩みを持った方を対象に、私の経験からweb分野の強化法を解説します。
How to strengthen the CTF Web field for beginners !!
Although you are studying the CTF web field, are you worried that you can't solve it in production?
For those who have such problems, I will explain how to strengthen the web field based on my experience.
(study group) https://yahoo-osaka.connpass.com/event/149524/
Misra cpp, cert cpp 2016 and RTL design style guide with HAZOPKiyoshi Ogawa
?
safety and security system with MISRA C++, CERT C++ and STARC RTL design style guide using HAZOP analysis. In Japan we use English on safety and security analysis with source code and coding standards in English.
2019/10/16
初心者向け颁罢贵の奥别产分野の强化法
CTFのweb分野を勉強しているものの本番でなかなか解けないと悩んでいないでしょうか?そんな悩みを持った方を対象に、私の経験からweb分野の強化法を解説します。
How to strengthen the CTF Web field for beginners !!
Although you are studying the CTF web field, are you worried that you can't solve it in production?
For those who have such problems, I will explain how to strengthen the web field based on my experience.
(study group) https://yahoo-osaka.connpass.com/event/149524/
2013年7月16日にシンガポールで開催された第一回アジア組み合わせテストワークショップ(1st Asian Workshop on Combinatorial Testing for Complex Computer Systems)で発表した"Combinatorial Testing in Japan"のスライドを日本語にしました(だいぶ遅くなりましたが)。
英語版はこちら
/Bugler/combinatorial-testing-injapan20130616
Timeline to the New Normal for Software TestingKeizo Tatsumi
?
The document provides a timeline of key technologies, methodologies, and trends in software development and testing from 1995 to 2018. It includes the rise of mobile/social media, cloud/big data analytics, agile/continuous development practices, test automation tools, and the growth of digital business models and IoT. Development has shifted to more iterative practices like agile, DevOps, and continuous delivery, while testing has evolved to continuous and automated approaches to keep pace with faster development cycles.
Introduction to the 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017) held on 13-17 March, 2017 in Tokyo, Japan.
Test Automation - Past, Present and FutureKeizo Tatsumi
?
The document discusses the history and future of test automation. It covers test automation from its beginnings in the 1950s-1960s, through its growth in the 1970s-1990s driven by the software crisis and emergence of new technologies. The document then discusses the present state of test automation, including tools for web, mobile, and cloud testing. Finally, it discusses potential future research areas like cloud/SaaS testing and the role of the test automator in planning and implementing automation strategies and frameworks.
Software testing magazines in the worldKeizo Tatsumi
?
This document lists 9 software testing magazines from around the world, including Testing Experience, Tea-Time with Testers, Testing Circus, Software Test & Quality Assurance, NZTester/OZTester, Testing Trapeze, Professional Tester, Methods & Tools, and TEST Magazine. Each magazine website is provided as a resource for readers to learn more about software testing.
How to Learn The History of Software Testing Keizo Tatsumi
?
The document provides a history of software testing covering several topics:
1. It discusses the prehistory of software testing, noting that Ada Lovelace is considered the first programmer and suggesting she may have also been the first tester while working on Charles Babbage's Analytical Engine in the 19th century.
2. It outlines the evolution of computers, software engineering, and the growth of software testing from the 1950s to the present day. Key periods included the debugging, demonstration, destruction, evaluation, and prevention-oriented periods.
3. It describes some of the early testing techniques developed in the 1960s-1970s, including the concept of test control processes at IBM, equivalence partitioning, and boundary
Conceptual support for test case design (COMPSAC 87)Keizo Tatsumi
?
My presentation slides for COMPSAC '87. One of the earliest presentation about Combinatorial Testing.
K.Tatsumi, S.Watanabe, Y.Takeuchi, and H.Shimokawa, "Conceptual support for test case design," Proc. 11th Intl. Computer Software & Applications Conf.(COMPSAC), Oct. 1987
I put together historical topics regarding combinatorial testing on this timeline.
In the 1930s, Ronald Fisher developed the Design of Experiments.
Rao introduced orthogonal arrays in the 1940s
From the 1950s, Genichi Taguchi developed a methodology for applying statistics to improve quality in manufacturing and established the Quality Engineering.
Afterwards, his methodology got a great reputation and was named "Taguchi method" in the United States.
I think this reputation in the US was transmitted to Japan, Taguchi method drew attention in Japan in the early 1980s.
Shortly after, software QA engineers at Fujitsu started to apply the Design of Experiments to software testing in 1983, and they published papers in 1984 and 1987.
In the late 1980s, a few case studies were reported from NEC and IBM Japan, howe
In 1989, Fujitsu introduced this technique to AT&T.
After that, OATS, CATS and AETG were developed by AT&T group companies.
From the mid 1990s, combinatorial testing began to spread in the US.
In 1995, Dr. Phadke's paper was translated into Japanese and printed in the journal of Quality engineering.
Also, some case studies were reported in the community of quality engineering in the late 1990s.
However, combinatorial testing got much attention again after HAYST method was announced by Fuji Xerox in 2004.
Currently, many Japanese testers consider that Combinatorial Testing is one of the must-have techniques.
For Japan, we can say combinatorial testing is a re import technique.
The History of Software Engineering and Software Testing (World and Japan)Keizo Tatsumi
?
The document provides a detailed timeline of the history of software engineering and software testing from 1950 to 2010. It covers the evolution of computer systems, software, systems and services, management perspectives on software engineering, and the growth of software testing. Key events and developments are noted for both the world/US and Japan. The timeline shows the transition from hardware-focused to software-focused eras as computing technologies advanced.
The document provides a history of software testing from the 1950s to 2010. It outlines some of the major developments in testing techniques over the decades, including decision tables in 1957, equivalence partitioning and boundary value analysis in the late 1960s, cause-effect graphs in 1970, orthogonal arrays and combinatorial testing techniques from the 1980s onward, and model-based techniques like classification trees in the 1990s and covering arrays in the 2000s. The timeline shows when key techniques and methods were developed.
26. ▲ ▲ ▲ ▲
EDSAC(最初の????型???????) IBM System/360 IBM System/370 Cray-1(スパコン)
▲ ▲ ▲ ▲ ▲
UNIVAC1(世界初の商用???????) DEC PDP-1 DEC PDP-8 Apple PC IBM PC
▲ ▲ ▲
IBM 701 IBM 704 Intel 4004MPU
(科学演算用) ●
(Apple社設立) (Sun Microsyste
▲ ▲ ▲ ▲
OS/360 UNIX CP/M MS-DOS
(4004MPU用OS)
▲ ▲ ▲ ▲ ▲ ▲ ▲
SpeedCode FORTRAN FORTRAN COBOL LISP PL/I C言語 ▲
開発開始 ▲ ALGOL Smalltalk-72 Smalltalk-80
FLOW-MATIC
●
(Microsoft社設立)
1965 19701950 1955 1960 1975 1980
26
-1960年代- テスト自動化の事始め
? テスト自動化の最初(?)の論文
1962年 Automatic Program Testing (Renfer、IBMカナダ)
Program Testing Packageによるテスト手順の標準化と計算機時間効率化
内容 : ファイル生成機能 (テープ、ディスク)
印刷機能 (メモリ、メモリ?スナップショット、テープ)
トレース (ディスクファイル、ブランチトレース)
プログラマが用意した操作指示カードから操作指示書の生成
(C) Keizo Tatsumi 2016
1957, Digital Computer Programming
(McRacken)
?最も初期のプログラミング教科書
?”Program Checkout”の章でデバッグや
テストを説明
1961, Computer Programming Fundamentals
(Leeds & Weinberg)
?IBM社のLeedsとWeinbergが書籍
?初めて"Program Testing"の章が設けられた
27. 27
-1970年代- 自動検証システム
?ソフトウェア危機
1968年,1969年 NATO Software Engineering
ソフトウェア開発(Production)におけるToolsも主検討テーマ
?テストの自動化への取り組み
1972年 Program Test Methods
最初のテストのシンポジウム、最初のテストの書籍
テストの自動化に関する論文
? Automated Software Quality Assurance (TRW)
? A Software Testing Control System (IBM)
自動検証システム (Automated verification system)
PACE (Product Assurance Confidence Evaluator) [TRW社,1972]
PET (Program Evaluater and Tester) [McDonnell Douglas社,1972]
RXVP [General Research社,1974]
(C) Keizo Tatsumi 2016
28. 28
-1970年代- ソフトウェアツールの拡大
?最初のソフトウェアツールのリスト (D. Reifer)
1975年 Automated Aids for Reliable Software
1977年 A Glossary of Software Tools & Techniques
テスト実行時ツール
Automated Test Generator
NASA ATDG
Automated Verification System
RXVP, PET, PACE
Environment simulator
Test Drivers, Scripts, Data Generators
Test-Results Processor
(C) Keizo Tatsumi 2016
38. 38
-2010年代- テストツールの今
?TKB (Tool Knowledge Base)
英国Gerrard Consulting社のPaul Gerrard氏が運営
2,304本のテストツールの情報を掲載(2016年11月時点)
[出典] TKB Tools by Type https://tkbase.com/tools
(C) Keizo Tatsumi 201638
Purpose
"... a trusted directory of
tools that support Devops,
SDET and Test activity."
[出典] TKB About The Tools Knowledge Base
https://tkbase.com/about
39. 39
-2010年代- テストツールの今
?TKB掲載のテストツールのタイプ別本数
[出典] TKB Tools by Type https://tkbase.com/tools
Test Management tools 202
Test Execution 298
Load/Performance Testing 128
Screen capture/reading/Comparison 42
Exploratory testing support 9
Test data mgt/generation 48
Test Design support 70
Static Testing 39
Integrated test tool suite 8
Browser Add-On 28
Mobile emulators 17
Input Fuzzing 1
19
4
2812
本数
合計
281
890
76
89
292
931
177
34
19
Development
Collaboration
Productivity
Security
Cloud-Based Services
Utility
DevOps
ツールのタイプ
Testing
Analysis
Analytics
Infrastructure
注)複数の機能(タイプ)をもつ製
品はそれぞれのタイプで重複し
てカウントしている
(C) Keizo Tatsumi 201639
41. 41
テスト自動化の研究
?AST (International Workshop on Automation of Software Test)
ICSE併設のワークショップ
2006年に第1回開催(2009年から2日間の開催)
テーマ&トピックス
方法論
技法
テストツールと環境
実験/実証報告
課題/将来ビジョン
[出典] AST 2016 http://tech.brookes.ac.uk/AST2016
ICSE : International Conference on Software Engineering
(C) Keizo Tatsumi 2016
42. 42
テスト自動化の研究テーマ (ASTの場合)
?特別テーマ (2008年から毎回特別テーマを設定)
2008年 Model-Based Testing for Test Automation
2009年 Testing Web Services
2010年 Integration Testing
2011年 Relating Software Design to Test Automation
2012年 Automation of Security Test
2013年 Testing Software as a Service (*1)
2014年 Testing Mobile Applications
2015年 Test Oracle
2016年 Scalability of Test Automation
(*1) Testing as a Service (TaaS)
Cloudにおける新ビジネス、サービスモデル cf. SaaS, IaaS, PaaS
最近は「Cloudのテスト」に加えて「Cloudを使ったテスト」も含む概念
(C) Keizo Tatsumi 2016
43. 43
Cloud Testing, TaaS
? Cloud Testing
クラウド技術とソリューションを活用して、クラウドの環境やインフラ上でテストと
測定を行う活動。4つの主要な目標を持つ[Gao]
クラウド上のアプリケーションの品質保証 Testing a SaaS in a cloud
クラウド環境のサービス(SaaS)の妥当性確認 Testing of a cloud
クラウドサービス機能(プロビジョニングなど)のチェック Testing inside a cloud
SaaSやアプリケーション間の互換性や相互運用性の確認 Testing over clouds
? TaaS (Testing as a Service)
TaaSの概念は2009年にデンマークのTieto社が最初に提唱[Gao]
要求に応じていつでもクラウド中/上/間で静的/動的なテストサービスを提供
サービス提供会社の例
SOASTA http://www.soasta.com/
ITKO (2011年にCA社が買収) http://www.itko.com/solutions/cloud.jsp
IBM – Cloud Application Management – Cloud Testing Services
HP Application Lifecycle Management (ALM) on SaaS
<参考文献>
Jerry Gao et al., "Cloud-Testing - Issues, Challenges, Needs and Practice," 2011 http://seij.dce.edu/Paper%201.pdf
Sergiy Vilkomir, "Cloud Testing: A State-of-the-Art Review," 2012 http://www.it4sec.org/node/3146
(C) Keizo Tatsumi 2016