International audienceMocking objects is a common technique that substitutes parts of a program to simplify the test case development, to increase test coverage or to speed up performance. Today, mocks are almost exclusively used with object oriented programs. But mocks could offer the same benefits with communicating systems to make them more reliable. This paper proposes a model-based approach to help developers generate mocks for this kind of system, i.e. systems made up of components interacting with each other by data networks and whose communications can be monitored. The approach combines model learning to infer models from event logs, quality metric measurements to help chose the components that may be replaced by mocks, and mock ge...
Software developers use modeling to explore design alternatives before investing in the higher costs...
International audienceIn order to reduce the cost and provide rapid development, most of the modern ...
In Extreme Programming, unit testing is an integral activity of everyday software development. For i...
International audienceMocking objects is a common technique that substitutes parts of a program to s...
During testing, there are several reasons to exclude some of the components used by the unit under t...
One of the single most important reasons that modeling and modelbased testing are not yet common pra...
When testing software artifacts that have several dependencies, one has the possibility of either in...
Mocking in the context of automated software tests allows testing program units in isolation. Design...
International audienceEvent logs are helpful to figure out what is happening in a system or to diagn...
When writing automated unit tests, developers often deal with software artifacts that have several d...
Capsules are modeling language elements which are sometimes used to develop real-time software. One ...
The goal of this thesis is to provide comprehensive set of information about a technique called the ...
International audienceModel checking is an effective technique for the verification of critical syst...
International audienceModels have been shown to be useful during virtually all stages of the softwar...
When writing automated unit tests, developers often deal with software artifacts that have several d...
Software developers use modeling to explore design alternatives before investing in the higher costs...
International audienceIn order to reduce the cost and provide rapid development, most of the modern ...
In Extreme Programming, unit testing is an integral activity of everyday software development. For i...
International audienceMocking objects is a common technique that substitutes parts of a program to s...
During testing, there are several reasons to exclude some of the components used by the unit under t...
One of the single most important reasons that modeling and modelbased testing are not yet common pra...
When testing software artifacts that have several dependencies, one has the possibility of either in...
Mocking in the context of automated software tests allows testing program units in isolation. Design...
International audienceEvent logs are helpful to figure out what is happening in a system or to diagn...
When writing automated unit tests, developers often deal with software artifacts that have several d...
Capsules are modeling language elements which are sometimes used to develop real-time software. One ...
The goal of this thesis is to provide comprehensive set of information about a technique called the ...
International audienceModel checking is an effective technique for the verification of critical syst...
International audienceModels have been shown to be useful during virtually all stages of the softwar...
When writing automated unit tests, developers often deal with software artifacts that have several d...
Software developers use modeling to explore design alternatives before investing in the higher costs...
International audienceIn order to reduce the cost and provide rapid development, most of the modern ...
In Extreme Programming, unit testing is an integral activity of everyday software development. For i...