AFChecker: Effective model checking for context-aware adaptive applications

► We propose a novel approach to improving the effectiveness of the existing adaptation fault detection technique. ► Our approach automatically derives domain and environment models for rule-based context-aware adaptive applications. ► We leverage the constraints formulated from the derived models t...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	The Journal of systems and software Ročník 86; číslo 3; s. 854 - 867
Hlavní autori:	Liu, Yepang, Xu, Chang, Cheung, S.C.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York Elsevier Inc 01.03.2013 Elsevier Sequoia S.A
Predmet:	Adaptability Adaptation Adaptation fault Changing environments Computer programs Construction Customization Deterministic constraint Dynamical systems Dynamics False positive Fault diagnosis Fault ranking Faults Mathematical models Probabilistic constraint Running Software engineering Studies Fault ranking Probabilistic constraint Deterministic constraint False positive Adaptation fault
ISSN:	0164-1212, 1873-1228
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!