| 1. |
|
|
| 2. |
- Khakpour, Narges, et al.
(författare)
-
Formal analysis of policy-based self-adaptive systems
- 2010
-
Ingår i: Proceedings of the 2010 ACM Symposium on Applied Computing, SAC'10. - New York, NY, USA : ACM Press. - 9781605586397 ; , s. 2536-2543
-
Konferensbidrag (refereegranskat)abstract
- PobSAM is a flexible actor-based model with formal foundation for model-based development of self-adaptive systems. In PobSAM policies are used to control and adapt the system behavior, and allow us to decouple the adaptation concerns from the application code. In this paper, we use the actor-based language Rebeca to model check PobSAM models. Since policies are used to govern the system behavior, it is required to verify if the governing policies are enforced correctly. To this aim, we present a new generic classification of the policy conflicts and provide temporal patterns expressed in LTL to detect each class of conflicts. Moreover, we propose LTL patterns for checking the correctness of adaptation. An approach based on static analysis of adaptation policies is presented to check the system stability as well.
|
|
| 3. |
- Noroozi, Neda, et al.
(författare)
-
Synchronizing Asynchronous Conformance Testing
- 2011
-
Ingår i: Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM 2011). - Berlin : Springer Berlin/Heidelberg. - 9783642246890 ; , s. 334-349
-
Konferensbidrag (refereegranskat)abstract
- We present several theorems and their proofs which enable using synchronous testing techniques such as input output conformance testing (ioco ) in order to test implementations only accessible through asynchronous communication channels. These theorems define when the synchronous test-cases are sufficient for checking all aspects of conformance that are observable by asynchronous interaction with the implementation under test. © 2011 Springer-Verlag.
|
|
| 4. |
- Noroozi, Neda, et al.
(författare)
-
Synchrony and asynchrony in conformance testing
- 2015
-
Ingår i: Software and Systems Modeling. - Heidelberg : Springer. - 1619-1366 .- 1619-1374. ; 14:1, s. 149-172
-
Tidskriftsartikel (refereegranskat)abstract
- We present and compare different notions of conformance testing based on labeled transition systems. We formulate and prove several theorems which enable using synchronous conformance testing techniques such as input–output conformance testing (ioco) in order to test implementations only accessible through asynchronous communication channels. These theorems define when the synchronous test cases are sufficient for checking all aspects of conformance that are observable by asynchronous interaction with the implementation under test. © 2015, Springer-Verlag Berlin Heidelberg.
|
|
