发布求助
文献互助 智能选刊 最新文献

Fifth International Conference on Quality Software (QSIC'05)最新文献

筛选
英文 中文
Cost and response time simulation for Web-based applications on mobile channels 移动渠道上基于web的应用程序的成本和响应时间模拟
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.21
Matthias Book, V. Gruhn, Malte Hülder, André Köhler, Andreas Kriegel
{"title":"Cost and response time simulation for Web-based applications on mobile channels","authors":"Matthias Book, V. Gruhn, Malte Hülder, André Köhler, Andreas Kriegel","doi":"10.1109/QSIC.2005.21","DOIUrl":"https://doi.org/10.1109/QSIC.2005.21","url":null,"abstract":"When considering the addition of a mobile presentation channel to an existing Web-based application, a key question that has to be answered even before development begins is how the mobile channel's characteristics will impact the user experience and the cost of using the application. If either of these factors is outside acceptable limits, economical considerations may forbid adding the channels, even if it would be feasible from a purely technical perspective. Both of these factors depend considerably on two metrics: The time required to transmit data over the mobile network, and the volume transmitted. The PETTICOAT method presented in this paper uses the dialog flow model and Web server log files of an existing application to identify typical interaction sequences and to compile volume statistics, which are then run through a tool that simulates the volume and time that would be incurred by executing the interaction sequences on a mobile channel. From the simulated volume and time data, we can then calculate the cost of accessing the application on a mobile channel.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115801156","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}
引用次数: 12
Domain consistency in requirements specification 需求规范中的领域一致性
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.24
Satyajit Acharya, C. George, H. Mohanty
{"title":"Domain consistency in requirements specification","authors":"Satyajit Acharya, C. George, H. Mohanty","doi":"10.1109/QSIC.2005.24","DOIUrl":"https://doi.org/10.1109/QSIC.2005.24","url":null,"abstract":"Fixing requirements errors that are detected late in the software development life cycle can be extremely costly. So, finding problems in requirements specification early in the development cycle is critical and crucial. A formal specification can reduce errors by reducing ambiguity and imprecision and by making some instances of inconsistency and incompleteness obvious. In this paper, with an example of a moderately complex system of the mobile computing domain, we discuss how the consistency conditions found during initial abstract formal specification help in detecting logical errors during early stages of system development. We also discuss the importance of consistency conditions while modelling the domain of a complex system and show how the identified consistency conditions help in better understanding the specification and to gain confidence on the correctness of the specification. We use a combination of techniques, like specification inspection and testing the executable specification of a prototype using test cases, to validate the specification against the requirements as well as to ensure that the specified consistency conditions are respected and maintained by the operations defined in the specification.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125984843","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}
引用次数: 13
Test order for class-based integration testing of Java applications Java应用程序基于类的集成测试的测试顺序
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.64
N. Hashim, H. Schmidt, S. Ramakrishnan
{"title":"Test order for class-based integration testing of Java applications","authors":"N. Hashim, H. Schmidt, S. Ramakrishnan","doi":"10.1109/QSIC.2005.64","DOIUrl":"https://doi.org/10.1109/QSIC.2005.64","url":null,"abstract":"This paper presents an improvement to existing class test ordering strategies by including coupling measures to reduce non-determinism and decrease the number of stubs to be produced. Our novel strategy aims to lift the known methods from class hierarchies to component-based product lines in which so-called connectors between components are key entities for structuring, assembling and integrating software architectures, and in which tighter coupling of classes inside components and looser coupling between classes in different components are fundamental to component-based architecture composition. The paper also evaluates the new method and confirms the expected reductions in the number of stubs generated and the improved test ordering. Two recent test order strategies for C++ are compared with our novel approach through experiments conducted on two mini product lines written in Java. The new proposed test ordering strategy is more deterministic through measuring coupling, which is at the heart of component-based product line architectures.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123719742","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}
引用次数: 19
Caste-centric agent-oriented programming 以种姓为中心的面向代理的编程
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.19
Ji Wang, R. Shen, Hong Zhu
{"title":"Caste-centric agent-oriented programming","authors":"Ji Wang, R. Shen, Hong Zhu","doi":"10.1109/QSIC.2005.19","DOIUrl":"https://doi.org/10.1109/QSIC.2005.19","url":null,"abstract":"The paper presents a caste-centric approach to agent-oriented programming by introducing SLABSp language. The fundamental concepts of caste-centric methodology, caste and scenario, as well as environment descriptions, are available as language facilities in SLABSp in a coherent way. In SLABSp programming, agents are organized into castes to represent their structure and behavior characteristics, and their behaviors are defined by scenarios and rules in the context of their environment. The relations between agents and castes are bound at runtime, and the perceptions and interactions between agents are supported with scenarios and behavior rules. Two selected SLABSp programs are demonstrated to illustrate the programming style.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130875239","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}
引用次数: 1
Teaching automated test case generation 教授自动化测试用例生成
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.61
T. Chen, Fei-Ching Kuo, Z. Zhou
{"title":"Teaching automated test case generation","authors":"T. Chen, Fei-Ching Kuo, Z. Zhou","doi":"10.1109/QSIC.2005.61","DOIUrl":"https://doi.org/10.1109/QSIC.2005.61","url":null,"abstract":"Software testing is a major approach to software quality assurance, but it is relatively neglected in universities' computing curricula. For students majoring in computer science or software engineering, several basic testing methods need to be taught. These testing methods generate test cases based on either specifications or program code. When introducing the testing methods based on program code, it is not easy to let the students experience automated test case generation due to the lack of supporting tools and limited teaching hours. In this paper we report our experience in teaching this topic with limited resources. The evaluation result indicates that our teaching method is effective and can also be adopted in other computer science/software engineering subjects where similar constraints exist.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134160545","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}
引用次数: 5
A metamorphic approach to integration testing of context-sensitive middleware-based applications 对基于上下文的中间件应用程序进行集成测试的变形方法
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.3
W. Chan, T. Chen, Heng Lu
{"title":"A metamorphic approach to integration testing of context-sensitive middleware-based applications","authors":"W. Chan, T. Chen, Heng Lu","doi":"10.1109/QSIC.2005.3","DOIUrl":"https://doi.org/10.1109/QSIC.2005.3","url":null,"abstract":"During the testing of context-sensitive middleware-based software, the middleware identifies the current situation and invokes the appropriate functions of the applications. Since the middleware remains active and the situation may continue to evolve, however, the conclusion of some test cases may not be easily identified. Moreover, failures appearing in one situation may be superseded by subsequent correct outcomes and may, therefore, be hidden. We alleviate the above problems by making use of a special kind of situation, which we call checkpoints, such that the middleware will not activate the functions under test. We propose to generate test cases that start at a checkpoint and end at another. We identify functional relations that associate different execution sequences of a test case. Based on a metamorphic approach, we check the results of the test case to detect any contravention of such relations. We illustrate our technique with an example that shows how re-hidden failures may be detected.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129413058","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}
引用次数: 48
Capturing and using software architecture knowledge for architecture-based software development 为基于体系结构的软件开发获取和使用软件体系结构知识
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.17
M. Babar, I. Gorton, Ross Jeffery
{"title":"Capturing and using software architecture knowledge for architecture-based software development","authors":"M. Babar, I. Gorton, Ross Jeffery","doi":"10.1109/QSIC.2005.17","DOIUrl":"https://doi.org/10.1109/QSIC.2005.17","url":null,"abstract":"Management of architecture knowledge is vital for improving an organization's architectural capabilities. Despite the recognition of the importance of capturing and reusing architecture knowledge, there is no suitable support mechanism. We have developed a conceptual framework to provide appropriate guidance and tool support for making tacit or informally described architecture knowledge explicit. This framework identifies different approaches to capturing implicit architecture knowledge. We discuss different usages of the captured knowledge to improve the effectiveness of architecture processes. This paper also presents a prototype of a Web-based architecture knowledge management tool to support the storage and retrieval of the captured knowledge. The paper concludes with open issues that we plan to address in order to successfully transfer this support mechanism for capturing and using architecture knowledge to the industry.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"143 8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121485074","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}
引用次数: 39
Verification of C programs using slicing execution 验证C程序使用切片执行
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.72
Xiaodong Yi, Ji Wang, Xuejun Yang
{"title":"Verification of C programs using slicing execution","authors":"Xiaodong Yi, Ji Wang, Xuejun Yang","doi":"10.1109/QSIC.2005.72","DOIUrl":"https://doi.org/10.1109/QSIC.2005.72","url":null,"abstract":"The paper presents a novel method, namely slicing execution, to verify C programs with respect to temporal safety properties. The distinguished feature is that it only simulates the execution of the relevant statements under abstraction criteria and checks the properties on the fly. The abstraction criterion begins with a proper initial set of program variables and may be iteratively refined according to spurious counter-examples. Provided that the properties to be verified usually involve only a few variables in practical programs, slicing execution may have the same precision as path-sensitive simulation with the cost close to standard flow-sensitive dataflow analysis. The presented method has been used to verify the initial handshake process of SSL protocol based on the C source code of openssl-0.9.6c. The experiment results confirm our claim and show that slicing execution is not only practical but also effective.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122510311","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}
引用次数: 5
GcpSensor: a CPU performance tool for grid environments GcpSensor:用于网格环境的CPU性能工具
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.33
Dong Guo, Liang Hu, Meng Zhang, Zhuopeng Zhang
{"title":"GcpSensor: a CPU performance tool for grid environments","authors":"Dong Guo, Liang Hu, Meng Zhang, Zhuopeng Zhang","doi":"10.1109/QSIC.2005.33","DOIUrl":"https://doi.org/10.1109/QSIC.2005.33","url":null,"abstract":"In grid computing environments, CPU performance discovery and allocation is a serious issue. Before they run their applications, grid users need to choose grid nodes based on available CPUs performance. Hence a tool is needed for measuring CPUs performance. To address this need, GcpSensor (grid CPU performance sensor) was developed. GcpSensor runs a typical benchmark program in every grid node to measure CPU performance and returns a metric named WMFLOPS which can be used to compare different CPUs performance directly. An algorithm, which can choose a moderate computation cost dynamically, is designed to ensure that every test is comprehensive and the added overhead is comparatively small. Our experiments have proved that GcpSensor can indicate the CPU performance sensitively and that users can use the GcpSensor data to compare different CPUs performance straightforward, thus the accuracy and efficiency for selecting computing resources are increased.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115982415","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}
引用次数: 2
Study on application of a quantitative evaluation approach for software architecture adaptability 软件体系结构适应性定量评价方法的应用研究
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.59
Xia Liu, Qing Wang
{"title":"Study on application of a quantitative evaluation approach for software architecture adaptability","authors":"Xia Liu, Qing Wang","doi":"10.1109/QSIC.2005.59","DOIUrl":"https://doi.org/10.1109/QSIC.2005.59","url":null,"abstract":"Due to the rapid changes of business environment and changing technologies, adaptability and measurement of the degree to which software is adaptable are critical factors for survival of software systems. Software are often claimed to be adaptable, however there is no explicit and concrete definition of architecture adaptability. This paper first gives a definition of architecture adaptability, and then presents a metric and a quantitative evaluation approach to evaluate the architecture adaptability based on adaptability scenario profile and impact analysis. The purpose of this study is to provide a structural adaptability evaluation method to support architecture improving and decision making for choosing among candidate architectures.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"257 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113968930","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}
引用次数: 29
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信