类 型
12 篇文献
 
Efficient Mutation Killers in Action  
This paper presents the techniques and results of a novel model-based test case generation approach that automatically derives test cases from UML state machines. Mutation testing is applied on the mo......
International Conference on Software Testing, Verification, and Validation  2011
0次引用 0 0
The Science of Killing Bugs in a Black Box  
In this talk I will discuss the combination of model-based testing and mutation testing. Model-based testing is a black-box testing technique that avoids the labour of manually writing hundreds of tes......
0次引用 0 0
Model-Based Mutation Testing of Hybrid Systems  
This paper presents a novel model-based testing approach developed in the MOGENTES project. The aim is to test embedded systems controlling a continuous environment, i.e., hybrid systems. We present o......
Formal Methods for Components and Objects  2009
2次引用 0 0
Alternating Simulation and IOCO  
We propose a symbolic framework called guarded labeled assignment systems or GLASs and show how GLASs can be used as a foundation for symbolic analysis of various aspects of formal specification langu......
IFIP International Conference on Testing of Communicating Systems  2010
0次引用 0 0
Software engineering: Testing real-time embedded systes using timed automata based approaches  
Real-time Embedded Systems (RTESs) have an increasing role in controlling society infrastructures that we use on a day-to-day basis. RTES behaviour is not based solely on the interactions it might hav......
0次引用 0 0
Mapping UML to Labeled Transition Systems for Test-Case Generation  
The Unified Modeling Language (UML) is a well known and widely used standard for building software models. While it is familiar to many software engineers, it lacks standardized formal semantics. In t......
0次引用 0 0
Integrating Model-Based Testing and Analysis Tools via Test Case Exchange  
Europe's industry in embedded system design is currently aiming for a better integration of tools that support their development, validation and verification processes. The idea is to combine model-dr......
Theoretical Aspects of Software Engineering  2012
0次引用 0 0
Towards symbolic model-based mutation testing: Combining reachability and refinement checking  
Abstract: Model-based mutation testing uses altered test models to derive test cases that are able to reveal whether a modelled fault has been implemented. This requires conformance checking between t......
0次引用 0 0
Towards Fault-based Generation of Test Cases for Dependable Embedded Software  
Abstract. In the European project MOGENTES1 methods for model-based generation of efficient test cases are developed. A special focus is laid on test cases, which not only allow for assessing the fulf......
Softwaretechnik-trends  2011
0次引用 0 0
Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints  
Model-based mutation testing uses altered models to generate test cases that are able to detect whether a certain fault has been implemented in the system under test. For this purpose, we need to chec......
International Conference on Software Testing, Verification, and Validation  2012
0次引用 0 0

1/2 第一页 上一页 1 2 下一页
Feedback
Feedback
Feedback
我想反馈:
排行榜