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

2010 10th International Conference on Quality Software最新文献

筛选
英文 中文
An MDE Based Approach for Generating Software Architecture Models from Formal Specifications 基于MDE的形式化规范生成软件体系结构模型方法
2010 10th International Conference on Quality Software Pub Date : 2010-07-14 DOI: 10.1109/QSIC.2010.13
Yi Zhu, Zhiqiu Huang, Zining Cao, Hang Zhou, Min Yuan
{"title":"An MDE Based Approach for Generating Software Architecture Models from Formal Specifications","authors":"Yi Zhu, Zhiqiu Huang, Zining Cao, Hang Zhou, Min Yuan","doi":"10.1109/QSIC.2010.13","DOIUrl":"https://doi.org/10.1109/QSIC.2010.13","url":null,"abstract":"The transformation approaches from requirements specification to software architecture models and requirements traceability are two hot topics, UML-RT is widely used in modeling the software architectures of real-time systems, but UML-RT models are often inaccurate or ambiguous, because they are created from natural language specifications. In order to obtain more accurate UML-RT models, UML-RT models need to be given formal semantics. In this paper we use LOTOS to describe the requirements specification of real-time systems and propose an approach for generating software architecture models from formal specifications by establishing a mechanism for transforming LOTOS specifications into UML-RT models, the UML-RT models generated by this approach can increase the reliability for designing the software architectures of real-time systems.","PeriodicalId":111067,"journal":{"name":"2010 10th International Conference on Quality Software","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124816808","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
A Novel Approach to Automatic Test Case Generation for Web Applications 一种自动生成Web应用测试用例的新方法
2010 10th International Conference on Quality Software Pub Date : 2010-07-14 DOI: 10.1109/QSIC.2010.33
Yuan-Hsin Tung, S. Tseng, Tsung-Ju Lee, Jui-Feng Weng
{"title":"A Novel Approach to Automatic Test Case Generation for Web Applications","authors":"Yuan-Hsin Tung, S. Tseng, Tsung-Ju Lee, Jui-Feng Weng","doi":"10.1109/QSIC.2010.33","DOIUrl":"https://doi.org/10.1109/QSIC.2010.33","url":null,"abstract":"As the quantity and breadth of Web-based software systems continue to grow rapidly, it is becoming critical to assure the quality and reliability of a Web application. Web application testing is a challenging work owing to its dynamic behaviors and complex dependencies. Test case generation, in general, is costly and labor-intensive processes. How to automatically generate effective test case is important for Web applications testing. In this paper, we propose the two-phase approach to generate test cases automatically by analyzing structure of the Web application. We define the dependence relationships, data dependence and control dependence, in the Web application and detect the relationships from source code and improve the way of test case generation with analysis result. The experimental result show that our approach can reduce test case set in test case generation processes.","PeriodicalId":111067,"journal":{"name":"2010 10th International Conference on Quality Software","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122403350","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}
引用次数: 15
An Extension to Data-Flow-Oriented Formal Specification Language for Specifying Concurrent Software Systems 面向数据流的并发软件系统形式化规范语言的扩展
2010 10th International Conference on Quality Software Pub Date : 2010-07-14 DOI: 10.1109/QSIC.2010.49
Yuting Chen, Shaoying Liu, Linzhang Wang
{"title":"An Extension to Data-Flow-Oriented Formal Specification Language for Specifying Concurrent Software Systems","authors":"Yuting Chen, Shaoying Liu, Linzhang Wang","doi":"10.1109/QSIC.2010.49","DOIUrl":"https://doi.org/10.1109/QSIC.2010.49","url":null,"abstract":"Data-flow-oriented formal specification languages, such as SOFL, bridge formal methods to industrial applications, allowing software developers to effectively use formal methods in developing practical software systems. In this paper, we introduce an extension to SOFL specification language for specifying concurrent software systems. SOFL is designed by integrating different notations and techniques on the basis that they are all needed to work together effectively in a coherent manner for specification constructions and verifications. We mainly introduce two notions, region and channel, to the SOFL language so that concurrency can be specified both graphically and formally, thus making SOFL specifications both intuitive and precise.","PeriodicalId":111067,"journal":{"name":"2010 10th International Conference on Quality Software","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128695247","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
Algebraic Specification of Web Services Web服务的代数规范
2010 10th International Conference on Quality Software Pub Date : 2010-07-14 DOI: 10.1109/QSIC.2010.47
Hong Zhu, Bo Yu
{"title":"Algebraic Specification of Web Services","authors":"Hong Zhu, Bo Yu","doi":"10.1109/QSIC.2010.47","DOIUrl":"https://doi.org/10.1109/QSIC.2010.47","url":null,"abstract":"This paper presents an algebraic specification language for the formal specification of the semantics of web services. A set of rules for transforming WSDL into algebraic structures is proposed. Its practical usability is also demonstrated by an example.","PeriodicalId":111067,"journal":{"name":"2010 10th International Conference on Quality Software","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115883004","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}
引用次数: 9
Visualized Scenario Classification Method 可视化场景分类方法
2010 10th International Conference on Quality Software Pub Date : 2010-07-14 DOI: 10.1109/QSIC.2010.81
Yusaku Yoshida, A. Ohnishi
{"title":"Visualized Scenario Classification Method","authors":"Yusaku Yoshida, A. Ohnishi","doi":"10.1109/QSIC.2010.81","DOIUrl":"https://doi.org/10.1109/QSIC.2010.81","url":null,"abstract":"A classification method of scenarios using differential/similar information among scenarios is presented. Behaviors of scenarios belonging to the same problem domain are quite similar, for example reservation of flight ticket and reservation of train ticket are similar behaviors. We derive the differential/similar information between them, and apply the differential and/or similar information to classify scenarios. This paper describes a language for describing scenarios in which simple action traces are embellished to include typed frames based on a simple case grammar of actions and illustrates our method with examples of scenario classification.","PeriodicalId":111067,"journal":{"name":"2010 10th International Conference on Quality Software","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129401476","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}
引用次数: 0
Towards an Empirical Reuse Approach for the Software Evolution: A Case Study 面向软件演进的经验重用方法:一个案例研究
2010 10th International Conference on Quality Software Pub Date : 2010-07-14 DOI: 10.1109/QSIC.2010.62
Ziyou Wang, Minghui Zhou, Hong Mei
{"title":"Towards an Empirical Reuse Approach for the Software Evolution: A Case Study","authors":"Ziyou Wang, Minghui Zhou, Hong Mei","doi":"10.1109/QSIC.2010.62","DOIUrl":"https://doi.org/10.1109/QSIC.2010.62","url":null,"abstract":"Software systems must evolve, or they risk losing market share to competitors. However, evolving such a system is extraordinarily difficult, complicated, and time consuming. In this case, how to reuse the existing features of the previous version and reduce the code redundancy is a really appealing problem. For example, in order to support EJB3.0, many application server vendors have to evolve their existing EJB2.x containers to comply with the new standards. However, the code redundancy between both of the container versions not only increases the development cost, but also increases the maintenance cost when the software are modified because of potential problems or new requirements. In this paper, we propose an empirical reuse approach for software evolution and demonstrate it in a real EJB container evolution project.","PeriodicalId":111067,"journal":{"name":"2010 10th International Conference on Quality Software","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132689824","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
A Grouping-Based Strategy to Improve the Effectiveness of Fault Localization Techniques 基于分组的故障定位方法研究
2010 10th International Conference on Quality Software Pub Date : 2010-07-14 DOI: 10.1109/QSIC.2010.80
V. Debroy, W. E. Wong, Xiaofeng Xu, Byoungju Choi
{"title":"A Grouping-Based Strategy to Improve the Effectiveness of Fault Localization Techniques","authors":"V. Debroy, W. E. Wong, Xiaofeng Xu, Byoungju Choi","doi":"10.1109/QSIC.2010.80","DOIUrl":"https://doi.org/10.1109/QSIC.2010.80","url":null,"abstract":"Fault localization is one of the most expensive activities of program debugging, which is why the recent years have witnessed the development of many different fault localization techniques. This paper proposes a grouping-based strategy that can be applied to various techniques in order to boost their fault localization effectiveness. The applicability of the strategy is assessed over – Tarantula and a radial basis function neural network-based technique; across three different sets of programs (the Siemens suite, grep and gzip). Results are suggestive that the grouping-based strategy is capable of significantly improving the fault localization effectiveness and is not limited to any particular fault localization technique. The proposed strategy does not require any additional information than what was already collected as input to the fault localization technique, and does not require the technique to be modified in any way.","PeriodicalId":111067,"journal":{"name":"2010 10th International Conference on Quality Software","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124751459","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}
引用次数: 47
A Simulation Study on Some Search Algorithms for Regression Test Case Prioritization 回归测试用例排序搜索算法的仿真研究
2010 10th International Conference on Quality Software Pub Date : 2010-07-14 DOI: 10.1109/QSIC.2010.15
Sihan Li, Naiwen Bian, Zhenyu Chen, Dongjiang You, Yuchen He
{"title":"A Simulation Study on Some Search Algorithms for Regression Test Case Prioritization","authors":"Sihan Li, Naiwen Bian, Zhenyu Chen, Dongjiang You, Yuchen He","doi":"10.1109/QSIC.2010.15","DOIUrl":"https://doi.org/10.1109/QSIC.2010.15","url":null,"abstract":"Test case prioritization is an approach aiming at increasing the rate of faults detection during the testing phase, by reordering test case execution. Many techniques for regression test case prioritization have been proposed. In this paper, we perform a simulation experiment to study five search algorithms for test case prioritization and compare the performance of these algorithms. The target of the study is to have an in-depth investigation and improve the generality of the comparison results. The simulation study provides two useful guidelines: (1) Two search algorithms, Additional Greedy Algorithm and 2-Optimal Greedy Algorithm, outperform the other three search algorithms in most cases. (2) The performance of the five search algorithms will be affected by the overlap of test cases with regard to test requirements.","PeriodicalId":111067,"journal":{"name":"2010 10th International Conference on Quality Software","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128274937","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
Mapping UML Activity Diagrams to Analyzable Petri Net Models 将UML活动图映射到可分析的Petri网模型
2010 10th International Conference on Quality Software Pub Date : 2010-07-14 DOI: 10.1109/QSIC.2010.26
Nianhua Yang, Huiqun Yu, Hua Sun, Zhilin Qian
{"title":"Mapping UML Activity Diagrams to Analyzable Petri Net Models","authors":"Nianhua Yang, Huiqun Yu, Hua Sun, Zhilin Qian","doi":"10.1109/QSIC.2010.26","DOIUrl":"https://doi.org/10.1109/QSIC.2010.26","url":null,"abstract":"To enhance formal analysis, activity diagrams annotated with MARTE stereotypes are mapped into timed colored Petri nets with inhibitor arcs (TCPNIA). The mapping rules for the elements of activity diagrams and MARTE stereotypes are proposed respectively. The rules to map pin nodes and object flows to Petri nets are presented. These nodes can improve activity diagrams’ modeling abilities for complicated systems. The reaching of any final nodes will stop all the flows in an activity. A method to map final nodes into Petri nets preserving this semantics is also presented with the help of inhibitor arcs. The data related issues are processed through colored properties in the TCPNIA model, guard functions and operational functions.","PeriodicalId":111067,"journal":{"name":"2010 10th International Conference on Quality Software","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115815761","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}
引用次数: 27
Testing Long-Lived Web Services Transactions Using a Risk-Based Approach 使用基于风险的方法测试长期存在的Web服务事务
2010 10th International Conference on Quality Software Pub Date : 2010-07-14 DOI: 10.1109/QSIC.2010.46
Ruben Casado, J. Tuya, M. Younas
{"title":"Testing Long-Lived Web Services Transactions Using a Risk-Based Approach","authors":"Ruben Casado, J. Tuya, M. Younas","doi":"10.1109/QSIC.2010.46","DOIUrl":"https://doi.org/10.1109/QSIC.2010.46","url":null,"abstract":"Transactions are crucial to ensuring the quality (such as recovery and reliability) of web services applications by constraining them to a mutually agreed outcome. This paper addresses the issue of testing the long-lived web services transactions which has been given little attention by the current research. It proposes a risk-based approach and also defines a set of properties for web services transactions. The proposed approach identifies for each property a set of potential situations that must be tested. We present an analysis for the Recovery property using a Fault Tree diagram where the leaf nodes represent potentially dangerous scenarios that must be checked. Finally we show with a case study how this Fault Tree can be used to derive test cases for web services transactions.","PeriodicalId":111067,"journal":{"name":"2010 10th International Conference on Quality Software","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133290281","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}
引用次数: 22
下一页 尾页
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学术官方微信