第三篇 流行前沿


3.1 ICST2010凑热闹

3.1.1 2010ICST的topic
1. Model-based testing
2. Mutation Analysis (Mutation 2010)
3. Search-based software testing (SBST)
4. SOA testing (SOAT)
5. Benchmark for event-driven software (TESTBEDS)
6. Validation and verification of dynamic systems (VIDAS)
7. Constraints in Software Testing, Verification and Analysis (CSTVA'10)
8. Modeling and detection of vulnerabilities (MDV)
9. Testing in the cloud (STITC)
10. Test driven development (TDD)
总结 ：1，3，8是基于模型测试的研究。10是基于敏捷思想的指导。
3.1.2走向前台的模型测试
ICST2010对模型测试进行了密集的关注。从研究方向上来看，越来越偏重于产品级别的分析与建模翻译。这个与过去对测试技术的单纯追求有较大区别。测试的过程与范畴越来越明确的跳出了编写case，执行case的限定。如何进行产品级别分析与评估不断涌现。
这个是百度的方向吗？是我们的价值体现？ 值得思考。

第四篇 路在脚下

4.1 场景抽象建模分析



4.2 百度典型产品场景抽象建模分析

 

4.3 百度基于模型测试的研究

 

作者： sevensky615