2008 The Eighth International Conference on Quality Software最新文献_第3页

Path and Context Sensitive Inter-procedural Memory Leak Detection 路径和上下文敏感的过程间内存泄漏检测

2008 The Eighth International Conference on Quality Software Pub Date : 2008-08-12 DOI: 10.1109/QSIC.2008.12

Zhongxing Xu, Jian Zhang

引用次数: 16

An Executable Interface Specification for Industrial Embedded System Design 工业嵌入式系统设计的可执行接口规范

2008 The Eighth International Conference on Quality Software Pub Date : 2008-08-12 DOI: 10.1109/QSIC.2008.28

Jinfeng Huang, J. Voeten, S. Wolfs, M. Coopmans

引用次数: 0

SMT-Based Bounded Model Checking for Real-Time Systems (Short Paper) 基于smt的实时系统有界模型检测(短论文)

2008 The Eighth International Conference on Quality Software Pub Date : 2008-08-12 DOI: 10.1109/QSIC.2008.10

Liang Xu

引用次数: 2

A UML Heavyweight Extension for MAS Modeling 用于MAS建模的UML重量级扩展

2008 The Eighth International Conference on Quality Software Pub Date : 2008-08-12 DOI: 10.1109/QSIC.2008.15

M. Al-Kady, R. Bahgat, A. Fahmy

引用次数: 1

Selecting a High-Quality Central Model for Sharing Architectural Knowledge 为建筑知识共享选择一个高质量的中心模型

2008 The Eighth International Conference on Quality Software Pub Date : 2008-08-12 DOI: 10.1109/QSIC.2008.20

Peng Liang, A. Jansen, P. Avgeriou

{"title":"Selecting a High-Quality Central Model for Sharing Architectural Knowledge","authors":"Peng Liang, A. Jansen, P. Avgeriou","doi":"10.1109/QSIC.2008.20","DOIUrl":"https://doi.org/10.1109/QSIC.2008.20","url":null,"abstract":"In the field of software architecture, there has been a paradigm shift from describing the outcome of architecting process to documenting architectural knowledge (AK), such as design decisions and rationale. To this end, a series of domain models have been proposed for defining the concepts and their relationships in the field of AK. To a large extent, the merit of this new paradigm is derived by sharing and reusing AK across organizations, especially in geographically distributed contexts. However, the employment of different AK domain models by different parties makes effective AK sharing challenging, as it needs to be mapped either from one domain model to another directly, or indirectly through a central model for simplicity when the number of AK models increases. The indirect mapping approach has proved to be a cost-effective way by sacrificing acceptable sharing quality compared with direct mapping approach. However, there exist no criteria for the selection of a high quality central model besides the intuitive judgment by domain experts. In this paper, we propose to tackle this issue by using the concept of semantic distance between AK models, which is calculated using rules based on the concept mapping relationships between the models. A high quality central model is therefore the one with the shortest semantic distance to all potential AK models.","PeriodicalId":6446,"journal":{"name":"2008 The Eighth International Conference on Quality Software","volume":"36 1","pages":"357-365"},"PeriodicalIF":0.0,"publicationDate":"2008-08-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81497232","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}

引用次数: 18

Web Service Test Case Generation Based on Decision Table (Short Paper) 基于决策表的Web服务测试用例生成(短文)

2008 The Eighth International Conference on Quality Software Pub Date : 2008-08-12 DOI: 10.1109/QSIC.2008.7

Siripol Noikajana, T. Suwannasart

引用次数: 27

Reachability and Propagation for LTL Requirements Testing LTL需求测试的可达性和传播

2008 The Eighth International Conference on Quality Software Pub Date : 2008-08-12 DOI: 10.1109/QSIC.2008.21

G. Fraser, P. Ammann

{"title":"Reachability and Propagation for LTL Requirements Testing","authors":"G. Fraser, P. Ammann","doi":"10.1109/QSIC.2008.21","DOIUrl":"https://doi.org/10.1109/QSIC.2008.21","url":null,"abstract":"It is important to test software with respect to user requirements, especially when adhering to safety standards, which require traceability from requirements to test cases. While research has resulted in many different model based testing techniques, only a few consider requirement properties; this paper helps fill this gap. We identify two fundamental characteristics of a test case intended to evaluate a given requirement property. The two characteristics are adapted from the venerable Reachability, Infection, and Propagation (RIP) model for faults and failures in ordinary code. In the context of requirements testing, we propose the reachability property amounts to the property not being vacuously true on a given test case, and the propagation property amounts to a potential violation of the property on the test case being observable. In particular, we formalize these notions in the context of requirement properties expressed in linear temporal logic (LTL), and not only show how to determine reachability and propagation for given test cases, but also how to modify test cases to satisfy these properties. To demonstrate the importance of reachability and propagation we evaluate test sets for a small real-life application generated according to previously published test criteria.","PeriodicalId":6446,"journal":{"name":"2008 The Eighth International Conference on Quality Software","volume":"40 1","pages":"189-198"},"PeriodicalIF":0.0,"publicationDate":"2008-08-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74908739","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}

引用次数: 6

Abstracting Execution Logs to Execution Events for Enterprise Applications (Short Paper) 将执行日志抽象为企业应用程序的执行事件(短文)

2008 The Eighth International Conference on Quality Software Pub Date : 2008-08-12 DOI: 10.1109/QSIC.2008.50

Z. Jiang, A. Hassan, P. Flora, Gilbert Hamann

引用次数: 86

A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams UML序列图推理的共代数语义框架

2008 The Eighth International Conference on Quality Software Pub Date : 2008-08-12 DOI: 10.1109/QSIC.2008.13

S. Meng, L. Barbosa

引用次数: 11

Architecture-Based Assessment of Software Reliability 基于体系结构的软件可靠性评估

2008 The Eighth International Conference on Quality Software Pub Date : 2008-08-12 DOI: 10.1109/QSIC.2008.57

S. Gokhale, V. Mendiratta

{"title":"Architecture-Based Assessment of Software Reliability","authors":"S. Gokhale, V. Mendiratta","doi":"10.1109/QSIC.2008.57","DOIUrl":"https://doi.org/10.1109/QSIC.2008.57","url":null,"abstract":"With the growing advent of object-oriented and component-based software development paradigms, architecture-based software reliability analysis has emerged as an attractive alternative to the conventional black-box analysis based on software reliability growth models. The primary advantage of the architecture-based approach is that it explicitly relates the application reliability to component reliabilities, which eases the identification of components that are critical from a reliability perspective. Furthermore, these techniques can be used for an early assessment of the application reliability. These two features together can provide valuable information to practitioners and architects who design software applications, and managers who plan the allocation of resources to achieve the desired reliability targets in a cost effective manner.The objective of this tutorial is to discuss techniques to assess the reliability of a software application taking into consideration its architecture and the failure behavior of its components. The tutorial will also present how the architecture-based approach could be used to analyze the sensitivity of the application reliability to component and architectural parameters and to compute the importance measures of the application components. We will demonstrate the potential of the techniques presented in the tutorial through a case study of the IP multimedia subsystem (IMS).","PeriodicalId":6446,"journal":{"name":"2008 The Eighth International Conference on Quality Software","volume":"8 1","pages":"444-444"},"PeriodicalIF":0.0,"publicationDate":"2008-08-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90328980","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}

引用次数: 4