Using implied scenarios in security testing
Proceedings of the 2010 ICSE Workshop on Software Engineering for Secure Systems
Assisting conformance checks between architectural scenarios and implementation
Information and Software Technology
Mining quantified temporal rules: Formalism, algorithms, and evaluation
Science of Computer Programming
Finding relevant answers in software forums
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Validating interaction-based systems behavior via simulation and detecting implied scenarios
SCSC '09 Proceedings of the 2009 Summer Computer Simulation Conference
Hi-index | 0.00 |
A scenario describes how one or more system components interact to provide a certain set of functionalities. Because each scenario only represents a partial view of the overall system behavior, scenario- based specifications may hide unexpected interactions (called implied scenarios) which are not part of any scenario individually. Implied scenarios may either indicate gaps in the original scenario specification, or undesired behavior that should be avoided during scenario implementation. This paper presents a reverse engineering environment to support extraction and detection of implied scenarios from execution traces. The main contribution of the paper is to demonstrate how the concept of implied scenarios, thus far restricted to early phases of the software life- cycle, such as requirements elaboration and reliability prediction, can also be applied to support comprehension and testing of existing systems.