Model-Based Testing
基于模型测试 |
| Model-Based Testing Home Page* |
|
|
| Model-Based Testing Online Papers* |
|
|
| Model-Based Testing |
|
|
| Model-Based Testing – An Introduction |
|
|
| Model-Based Testing in Practice |
|
|
| MBT 2006: Second Workshop on Model-Based Testing |
|
|
| Eliminating Functional Defects Through Model-Based Testing |
|
|
| Enjoying the Perks of Model-Based Testing |
|
|
| International Workshop on Model-Based Testing (MBT 2004) |
|
|
| Model-Based Testing in Evolutionary Software Development |
|
|
| Model-Based Testing In Real |
|
|
| Towards Anti-Model-Based Testing |
|
|
| Model-Based Extreme Testing |
|
|
| Specification Based Testing and Model Based Testing |
|
|
| Model-Based Testing of Reactive Systems |
|
|
| Model-Based Testing of A Highly Programmable System |
|
|
| Model-Based Testing of Object-Oriented Systems |
|
|
| Model-Based Testing Helps Sun Microsystems Remove Software Defects |
|
|
| Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer |
|
|
|
| Model-Based Software Testing |
|
|
| Model-based testing using IBM Rational Functional Tester |
|
|
| Model-Based Testing Demo |
|
|
| Model Based Testing with Constraint Logic Programming: First Results and Challenges |
|
|
| Uniform Descriptions For Model-Based Testing |
|
|
| Model-Based Testing: An Overview |
|
|
| On The Correctness of Model-Based Testing |
|
|
| Model-based testing with Spec# and Spec Explorer |
|
|
| Model-Based Testing and Validation of Control Softgware with Reactis |
|
|
| Software Modeling and Verification |
|
|
| Action Refinement In Model-Based Testing |
|
|
| Model-Based Testing of Automotive Electronic Control Units |
|
|
| Model-Based Testing For Web and Java |
|
|
| Model-Based Software Testing |
|
|
| JSS Special Issue On Model-Based Software Testing |
|
|
| Hybrid Model-Based Testing |
|
|
| Model-Based Testing For Enterprise Software Solutions |
|
|
| Demonstration of an Operational Procedure for. the Model-Based Testing of CTI Systems |
|
|
| Model-Based Testing and Validation |
|
|
| Requirements-Based Testing In A Model-Based World |
|
|
| State of The Art of Model-Based Testing With Markov Chain Usage Models |
|
|
| Arithnet Technical Offers Model-Based Testing Tools |
|
|
| Model-Based Testing Using UML |
|
|
| Model-Based Testing of Large-Scale Software |
|
|
| Getting Started With Model-Based Testing |
|
|
| Model-Based Testing with chi and TorX |
|
|
| Extended-Model Based Testing by Directed Chinese Postman Algorithm |
|
|
| T-UPPAAL: Online Model-Based Testing of Real-Time Systems |
|
|
| Introducing A Reasonably Complete and Coherent Approach For Model-Based Testing |
|
|
| Model-Based Testing Systems |
|
|
| Model-Based Testing With UML Applied To A Roaming Algorithm For Bluetooth Devices |
|
|
| Model-Based Testing and Monitoring For Hybrid Embedded Systems |
|
|
| Systematic Model-based Testing of Embedded Conrol Software - The MB3T Approach |
|
|
| Model-Based Testing In the Key of C# |
|
|
| Is There Any Difference Between Model Based Testing and Model Driven Quality Assurance? |
|
|
| Dynamic Model-based Test Automation - A Key to Testing Productivity |
|
|
| Model-Based Testing In Incremental System Development |
|
|
| Model-based Testing of Embedded Automation Software |
|
|
| Aotomated Model-Based Testing With Formal Methods |
|
|
| TorX: Automated Model Based Testing |
|
|
| Automated Model-Based Testing of Communication Protocols |
|
|
| Model-Based Testing of Embedded Systems |
|
|
| Model-Based Testing and Monitoring |
|
|
| Graph Transformations For Model-Based Testing |
|
|
| Model-Based Testing with AsmL.NET |
|
|
| Model-Based Testing For Real |
|
|
| Model Based Exploratory Testing ? |
|
|
| Using Spec Explorer For Model-Based Test Development @ .NET |
|
|
| Testing and Quality of Systems |
|
|
| Model-Based Analysis and Testing |
|
|
| Event Driven Graph Explorer for Model-Based Testing of Software |
|
|
| Model-Based Automated Security Functional Testing |
|
|
|
| Model-Based Specification and Conformance Testing |
|
|
| Model-Based Statistical Testing |
|
|
| Automated Model-Based Testing of χ Simulation Models with TorX |
|
|
| Model-Based Software Development and Usability Testing |
|
|
| Plavis/FSM An Environment To Integrate FSM-Based Testing Tools |
|
|
| Automated Model-Based Conformance Testing of Real-Time Systems |
|
|
| Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints |
|
|
| Model-Based Test Generation Tools |
|
|
| A Model-Based Approach For Robustness Testing |
|
|
| Towards Model-Driven Testing |
|
|
| Model-Based Testing of Cryptographic Protocols |
|
|
| Test-Suite Reduction For Model-Based Test: Effects on Test Quality and Implications for Testing |
|
|
| UML-Based Integration Testing |
|
|
| Unit Testing With Monkeys |
|
|
| Model-Driven Development and Testing – A Case Study |
|
|
| FiniteState Model-Based Testing User Interface |
|
|
| State-Based Testing |
|
|
| The UML and Testing : A Perfect Fit ? |
|
|
| HOTTest: A Model Based Test Design Technique for Enhanced Testing of Domain Specific Applications |
|
|
| Model-Based Software TestingTechnology Changes Management |
|
|
| Model-Driven Testing |
|
|
| Model-Based Test Data Generation For Testing Integrated Modular Avionics |
|
|
| Testing Agile Requirements Models |
|
|
| Specification-Based Testing of User Interfaces |
|
|
| Top-Down Model-Driven Testing Reduces Risk |
|
|
| State Based Testing |
|
|
| Generalized Symbolic Execution For Model Checking and Testing |
|
|
| Model-Based Testing In Industry |
成才乐园
软件架构
原理与实践