Sungdeok Cha, Junsup Lee, Sangrok Kim, Sanghyun Cho
{"title":"ADAM: Web Anomaly Detection Assistant Based on Feature Matrix","authors":"Sungdeok Cha, Junsup Lee, Sangrok Kim, Sanghyun Cho","doi":"10.1109/QSIC.2009.24","DOIUrl":"https://doi.org/10.1109/QSIC.2009.24","url":null,"abstract":"Importance of web security cannot be overemphasized in the era of web-based economy. Although anomaly detection has long been considered a promising alternative to signature-based misuse detection technique, most studies to date used either small scale or artificially generated attack data. In this paper, based on security analysis applied on anonymous www.microsoft.com log of about 250GB,we propose Anomaly Feature Matrix (AFM) as an effective framework to characterize anomalies. Feature selection of AFM is based on the characteristics of well-known (e.g., DDoS) attacks as well as patterns of anomalous logs found in the Microsoft data. Independent security analysis performed on the same data by Microsoft security engineers concluded that 1) We did not miss any major attacks; and 2) AFM is a general enough framework to characterize likely web attacks. In order to assist AFM-based anomaly analysis in large organizations, we implemented an interactive and visual analysis tool named ADAM (Anomaly Detection Assistant based on feature Matrix). Integrated with mapping software such as Virtual Earth, ADAM enables efficient and focused security analysis on web logs.","PeriodicalId":219917,"journal":{"name":"2009 Ninth International Conference on Quality Software","volume":"74 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126163044","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Lian Yu, W. Tsai, Wei Zhao, Jun Zhu, Qianxing Wang
{"title":"Towards Selecting Test Data Using Topological Structure of Boolean Expressions","authors":"Lian Yu, W. Tsai, Wei Zhao, Jun Zhu, Qianxing Wang","doi":"10.1109/QSIC.2009.13","DOIUrl":"https://doi.org/10.1109/QSIC.2009.13","url":null,"abstract":"Boolean expressions can be used in programs and specifications to describe the complex logic decisions in mission-critical, safety-critical and Web services applications. We define a topological model (T-model) to represent Boolean expressions and characterize the test data. This paper provides proofs of relevant T-model properties, employs the combinatorial design approach, and proposes a family of strategies and techniques to detect a variety of faults associated with Boolean expressions. We compare our strategies with MC/DC, MUMCUT, MANY-A, MANY-B, MAX-A and MAX-B, and conclude that T-model based approach detects more types of faults than MC/DC, MUMCUT MANY-A and MAX-A, and detects the same types but more instances of faults than MANY-B and MAX-B with much smaller test data set.","PeriodicalId":219917,"journal":{"name":"2009 Ninth International Conference on Quality Software","volume":"108 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123284741","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"An Intuitive Approach for Specifying Interface Constraint","authors":"Qianxiang Wang","doi":"10.1109/QSIC.2009.62","DOIUrl":"https://doi.org/10.1109/QSIC.2009.62","url":null,"abstract":"Interface is important for software modules, e.g., classes, components and services. Most current description approaches focus only on each method signatures of the target interface, while constraint on interface, e.g. temporal sequence of the invocation is less considered so far. This paper proposes an intuitive approach for specifying interface constraint, especially the temporal constraints on different methods of the interface. As a directed graph, the proposed approach is intuitive and powerful. Notations of relationships are introduced, followed by some examples. One algorithm that can translate the high level intuitive graph to low level FSA is presented.","PeriodicalId":219917,"journal":{"name":"2009 Ninth International Conference on Quality Software","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114413669","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Are Fault Failure Rates Good Estimators of Adequate Test Set Size?","authors":"V. Debroy, W. E. Wong","doi":"10.1109/QSIC.2009.38","DOIUrl":"https://doi.org/10.1109/QSIC.2009.38","url":null,"abstract":"Test set size in terms of the number of test cases is an important consideration when testing software systems. Using too few test cases might result in poor fault detection and using too many might be very expensive and suffer from redundancy. For a given fault, the ratio of the number of failure causing inputs to the number of possible inputs is referred to as the failure rate. Assuming a test set represents the input domain uniformly, the failure rate can be re-defined as the fraction of failed test cases in the test set. This paper investigates the relationship between fault failure rates and the number of test cases required to detect the faults. Our experiments suggest that an accurate estimation of failure rates of potential fault(s) in a program can provide a reliable estimate of an adequate test set size with respect to fault detection (a test set of size sufficient to detect all of the faults) and therefore should be one of the factors kept in mind during test set generation.","PeriodicalId":219917,"journal":{"name":"2009 Ninth International Conference on Quality Software","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128228336","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Increasing Diversity in Coverage Test Suites Using Model Checking","authors":"G. Fraser, F. Wotawa","doi":"10.1109/QSIC.2009.36","DOIUrl":"https://doi.org/10.1109/QSIC.2009.36","url":null,"abstract":"Automated test case generation often results in test suites containing significant redundancy such as test cases that are duplicates, prefixes of other test cases, or cover the same test requirements. In this paper we consider the fact that items described by a coverage criterion can be covered in different ways. We introduce a technique where each created test case is guaranteed to cover a test requirement in a new way, even if it has previously been covered. This increases the diversity of how test objectives are satisfied, thus reducing the redundancy in test suites, improving their fault detection ability, and usually also decreasing the number of test cases generated. This approach is based in a scenario of specification based testing using model checkers as test case generation tools, and evaluation is performed on three different case study specifications.","PeriodicalId":219917,"journal":{"name":"2009 Ninth International Conference on Quality Software","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125699217","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Tag-Based Techniques for Black-Box Test Case Prioritization for Service Testing","authors":"Lijun Mei, W. Chan, T. Tse, Robert G. Merkel","doi":"10.1109/QSIC.2009.12","DOIUrl":"https://doi.org/10.1109/QSIC.2009.12","url":null,"abstract":"A web service may evolve autonomously, making peer web services in the same service composition uncertain as to whether the evolved behaviors may still be compatible to its originally collaborative agreement. Although peer services may wish to conduct regression testing to verify the original collaboration, the source code of the former service can be inaccessible to them. Traditional code-based regression testing strategies are inapplicable. The rich interface specifications of a web service, however, provide peer services with a means to formulate black-box testing strategies. In this paper, we formulate new test case prioritization strategies using tags embedded in XML messages to reorder regression test cases, and reveal how the test cases use the interface specifications of services. We evaluate experimentally their effectiveness on revealing regression faults in modified WS-BPEL programs. The results show that the new techniques can have a high probability of outperforming random ordering.","PeriodicalId":219917,"journal":{"name":"2009 Ninth International Conference on Quality Software","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132883997","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Lian Yu, Jun Zhou, Yue Yi, Jianchu Fan, Qianxiang Wang
{"title":"A Hybrid Approach to Detecting Security Defects in Programs","authors":"Lian Yu, Jun Zhou, Yue Yi, Jianchu Fan, Qianxiang Wang","doi":"10.1109/QSIC.2009.10","DOIUrl":"https://doi.org/10.1109/QSIC.2009.10","url":null,"abstract":"Static analysis works well at checking defects that clearly map to source code constructs. Model checking can find defects of deadlocks and routing loops that are not easily detected by static analysis, but faces the problem of state explosion. This paper proposes a hybrid approach to detecting security defects in programs. Fuzzy Inference System is used to infer selection among the two detection approaches. A cluster algorithm is developed to divide a large system into several clusters in order to apply model checking. Ontology based static analysis employs logic reasoning to intelligently detect the defects. We also put forwards strategies to improve performance of the static analysis. At last, we perform experiments to evaluate the accuracy and performance of the hybrid approach.","PeriodicalId":219917,"journal":{"name":"2009 Ninth International Conference on Quality Software","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123590309","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Robot Fault-Tolerance Approach Based on Fault Type","authors":"Bingu Shim, B. Baek, Suntae Kim, S. Park","doi":"10.1109/QSIC.2009.46","DOIUrl":"https://doi.org/10.1109/QSIC.2009.46","url":null,"abstract":"As the field of robot service expands, reliability has become one of the highest priorities in robot development. Fault-tolerance is an important characteristic for robots to increase their reliability levels. However, the literature on fault-tolerance in robotics has focused mainly on developing a single fault-tolerance technique that is focused on improving reliability for a limited set of context and situations. To meet the demands for reliable robots, a set of appropriate fault-tolerance techniques should be used in the given context and situation. In this paper, we present a systematic approach to facilitate the selection of appropriate robot fault-tolerance techniques on the basis of the context in the robot domain. We have applied the approach to build a fault-tolerance architecture for a robot platform.","PeriodicalId":219917,"journal":{"name":"2009 Ninth International Conference on Quality Software","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121985130","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Constraint-Oriented Approach to Software Architecture Design","authors":"M. Berg, A. Tang, R. Farenhorst","doi":"10.1109/QSIC.2009.59","DOIUrl":"https://doi.org/10.1109/QSIC.2009.59","url":null,"abstract":"Software architecture design constraints exist and they bound the solution space in some ways. However,in research and practice little is known about the characteristics of these constraints and how they influence decision making. In this paper we report our findings on design constraint characteristics based on case studies in two countries. We discovered how constraints typically manifest themselves in the architecture design process, and how they impact the architectural decisions taken. Based on these insights we suggest a number of implications and strategies to support architectural design.","PeriodicalId":219917,"journal":{"name":"2009 Ninth International Conference on Quality Software","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116739425","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Foutse Khomh, S. Vaucher, Yann-Gaël Guéhéneuc, H. Sahraoui
{"title":"A Bayesian Approach for the Detection of Code and Design Smells","authors":"Foutse Khomh, S. Vaucher, Yann-Gaël Guéhéneuc, H. Sahraoui","doi":"10.1109/QSIC.2009.47","DOIUrl":"https://doi.org/10.1109/QSIC.2009.47","url":null,"abstract":"The presence of code and design smells can have a severe impact on the quality of a program. Consequently, their detection and correction have drawn the attention of both researchers and practitioners who have proposed various approaches to detect code and design smells in programs. However, none of these approaches handle the inherent uncertainty of the detection process. We propose a Bayesian approach to manage this uncertainty. First, we present a systematic process to convert existing state-of-the-art detection rules into a probabilistic model. We illustrate this process by generating a model to detect occurrences of the Blob antipattern. Second, we present results of the validation of the model: we built this model on two open-source programs, GanttProject v1.10.2 and Xerces v2.7.0, and measured its accuracy. Third, we compare our model with another approach to show that it returns the same candidate classes while ordering them to minimise the quality analysts' effort. Finally, we show that when past detection results are available, our model can be calibrated using machine learning techniques to offer an improved, context-specific detection.","PeriodicalId":219917,"journal":{"name":"2009 Ninth International Conference on Quality Software","volume":"96 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134346498","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}