Characterization of implied scenarios as families of common behavior

• Published in: The Journal of systems and software 2019-12, Vol.158, p.110425, Article 110425
• Main Authors: de Melo, Caio Batista, Cançado, André Luiz Fernandes, Rodrigues, Genaína Nunes
• Format: Article
• Language: English
• Subjects: Concurrent systems; Dependability; Hierarchical clustering; Implied scenarios; Smith-Waterman algorithm
• ISSN: 0164-1212; 1873-1228
• DOI: 10.1016/j.jss.2019.110425

•We propose a new manner to deal with implied scenarios, by detecting commonalities.•These common behaviors, describe common faults of different implied scenarios.•By treating these common faults, various implied scenarios are resolved.•Seven case studies were conducted, where 1798 ISs were treated with 14 constraints.•After treatment, the case studies observed a considerable increase in reliability. Concurrent systems face a threat to their reliability in emergent behaviors, which are not included in the specification but can happen during runtime. When concurrent systems are modeled in a scenario-based manner, it is possible to detect emergent behaviors as implied scenarios (ISs) which, analogously, are unexpected scenarios that can happen due to the concurrent nature of the system. Until now, the process of dealing with ISs can demand significant time and effort from the user, as they are detected and dealt with in a one by one basis. In this paper, a new methodology is proposed to deal with various ISs at a time, by finding Common Behaviors (CBs) among them. Additionally, we propose a novel way to group CBs into families utilizing a clustering technique using the Smith-Waterman algorithm as a similarity measure. Thus allowing the removal of multiple ISs with a single fix, decreasing the time and effort required to achieve higher system reliability. A total of 1798 ISs were collected across seven case studies, from which 14 families of CBs were defined. Consequently, only 14 constraints were needed to resolve all collected ISs, applying our approach. These results support the validity and effectiveness of our methodology.