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

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

筛选
英文 中文
Automatic generation of analyzable failure propagation models from component-level failure annotations 从组件级故障注释自动生成可分析的故障传播模型
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.16
Lars Grunske, Bernhard Kaiser
{"title":"Automatic generation of analyzable failure propagation models from component-level failure annotations","authors":"Lars Grunske, Bernhard Kaiser","doi":"10.1109/QSIC.2005.16","DOIUrl":"https://doi.org/10.1109/QSIC.2005.16","url":null,"abstract":"Model-driven and component-based software engineering methodologies are currently key factors for the successful construction of complex software systems. To effectively apply these methodologies to mission- and safety-critical systems, component-based models should also support hazard analysis techniques and enable the automatic construction of safety cases. This paper outlines a technique, which annotates components with modular failure mode assumptions, described in the failure propagation transformation notation (FPTN) and generates an analyzable failure propagation model for the complete system. Based on this technique, a model-based safety evaluation is possible, which enables the automatic generation of safety cases based on system models. Consequently, a consistency between the safety case and the system model can be ensured, even if the system's architecture is changed.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"40 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":"115296949","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}
引用次数: 43
Model-based testing of concurrent programs with predicate sequencing constraints 具有谓词排序约束的并发程序基于模型的测试
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1142/S0218194006002999
Peng Wu, Huimin Lin
{"title":"Model-based testing of concurrent programs with predicate sequencing constraints","authors":"Peng Wu, Huimin Lin","doi":"10.1142/S0218194006002999","DOIUrl":"https://doi.org/10.1142/S0218194006002999","url":null,"abstract":"A predicate sequencing constraint logic (PSCL) is proposed to represent test purpose for testing of concurrent programs. The advantage of PSCL rests in its capability of expressing not only sequencing relationships among I/O events, but also data dependencies between event parameters. A PSCL-based symbolic test case generation method is also proposed to automatically derive symbolic test cases that incorporate given data dependency constraints as verdict conditions. The method works in a syntactic way without referring to concrete program states and the derived test cases allow for dynamic test data selection according to the response from, the software under test. A case study shows the PSCL-based test case generation can achieve transition coverage with smaller number of test steps.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"7 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":"123713255","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
Scalable enterprise level workflow manager for the grid 用于网格的可伸缩企业级工作流管理器
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.55
R. Dheepak, Shakeb Ali, Ira Gupta, H. Dave, Adarsh Kailash Upadhyay, L. D. Alves, A. Damodaran, Anirban Chakrabarti, Anirban Ghosh
{"title":"Scalable enterprise level workflow manager for the grid","authors":"R. Dheepak, Shakeb Ali, Ira Gupta, H. Dave, Adarsh Kailash Upadhyay, L. D. Alves, A. Damodaran, Anirban Chakrabarti, Anirban Ghosh","doi":"10.1109/QSIC.2005.55","DOIUrl":"https://doi.org/10.1109/QSIC.2005.55","url":null,"abstract":"A grid is described as a distributed network which comprises of heterogeneous and non-dedicated elements. The heterogeneity of a grid is not only defined in terms of computing elements and operating systems but also in terms of implementation of policies, policy decisions and the environment. In this paper we have described in detail the architecture of the scalable workflow manager on grid called Grid Workflow Manager (GridWorM) which works with different existing schedulers. The workflow solution is scalable and is able to integrate the business requirements with the underlying grid infrastructure.","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":"124156058","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}
引用次数: 8
Higher-order entity relationship modelling with UML 使用UML进行高阶实体关系建模
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.35
A. Tretiakov, Sven Hartmann
{"title":"Higher-order entity relationship modelling with UML","authors":"A. Tretiakov, Sven Hartmann","doi":"10.1109/QSIC.2005.35","DOIUrl":"https://doi.org/10.1109/QSIC.2005.35","url":null,"abstract":"To explore the use of UML for creating value-representable data models, we use the object management group (OMG) meta object facility-(MOF) to formally describe the higher-order entity relationship model (HERM). In addition, we formally define a UML profile for HERM. By demonstrating that MOF and UML can represent the most critical capabilities of HERM, we open way for better integration of HERM models into projects relying on UML for application modelling and for the use of UML tools for HERM modelling.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"121 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":"128125045","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}
引用次数: 8
Fault-based testing of database application programs with conceptual data model 基于概念数据模型的数据库应用程序故障测试
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.27
W. Chan, S. Cheung, T. Tse
{"title":"Fault-based testing of database application programs with conceptual data model","authors":"W. Chan, S. Cheung, T. Tse","doi":"10.1109/QSIC.2005.27","DOIUrl":"https://doi.org/10.1109/QSIC.2005.27","url":null,"abstract":"Database application programs typically contain program units that use SQL statements to manipulate records in database instances. Testing the correctness of data manipulation by these programs is challenging. When a tester provides a database instance to test such a program, the program unit may output faulty SQL statements and, hence, manipulate inappropriate database records. Nonetheless, these failures may only be revealed in very specific database instances. This paper proposes to integrate SQL statements and the conceptual data models of an application for fault-based testing. It proposes a set of mutation operators based on the standard types of constraint used in the enhanced entity-relationship model. These operators are semantic in nature. This semantic information guides the construction of affected attributes and join conditions of mutants. The usefulness of our proposal is illustrated by an example in which a missing-record fault is revealed.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"6 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":"123705234","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}
引用次数: 60
A peer-to-peer architecture for workflow in virtual enterprises 虚拟企业工作流的点对点体系结构
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.6
J. Noll
{"title":"A peer-to-peer architecture for workflow in virtual enterprises","authors":"J. Noll","doi":"10.1109/QSIC.2005.6","DOIUrl":"https://doi.org/10.1109/QSIC.2005.6","url":null,"abstract":"Workflow technology seeks to support or automate the performance of organizational processes. When the organization is a virtual enterprise, the conventional client-server workflow architecture is not suitable: virtual enterprises lack centralized resources and administration to support server installations. Further, virtual enterprise participants can be highly autonomous and heterogeneous. A workflow system to support virtual enterprises must account for autonomy and heterogeneity, as well as wide geographic distribution. This paper proposes a peer-to-peer architecture for deploying workflow in virtual enterprises engaged in knowledge-intensive activities. It views a virtual enterprise as a loosely coupled organization of autonomous, distributed actors supported by individual workflow nodes that enact local processes to guide the actor, and share events to coordinate activities with other members of the organization.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"46 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":"125021441","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
A case study of the recursive least squares estimation approach to adaptive testing for software components 递归最小二乘估计方法在软件组件自适应测试中的应用研究
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.1
Hai Hu, W. E. Wong, Chang-Hai Jiang, K. Cai
{"title":"A case study of the recursive least squares estimation approach to adaptive testing for software components","authors":"Hai Hu, W. E. Wong, Chang-Hai Jiang, K. Cai","doi":"10.1109/QSIC.2005.1","DOIUrl":"https://doi.org/10.1109/QSIC.2005.1","url":null,"abstract":"The strategy used for testing a software system should not be fixed, because as time goes on we may have a better understanding of the software under test. A solution to this problem is to introduce control theory into software testing. We can use adaptive testing where the testing strategy is adjusted on-line by using the data collected during testing. Since the use of software components in software development is increasing, it is now more important than ever to adopt a good strategy for testing software components. In this paper, we use an adaptive testing strategy for testing software components. This strategy (AT/spl I.bar/RLSE/sub c/ with c indicating components) applies a recursive least squares estimation (RLSE) method to estimate parameters such as failure detection rate. It is different from the genetic algorithm-based adaptive testing (AT/spl I.bar/GA) where a genetic algorithm is used for parameter estimation. Experimental data from our case study suggest that the fault detection effectiveness of AT/spl I.bar/RLSE/sub c/ is better than that of AT/spl I.bar/GA and random testing.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"117 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":"127360531","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
Runtime validation of behavioural contracts for component software 组件软件行为契约的运行时验证
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.54
Yan Jin, Jun Han
{"title":"Runtime validation of behavioural contracts for component software","authors":"Yan Jin, Jun Han","doi":"10.1109/QSIC.2005.54","DOIUrl":"https://doi.org/10.1109/QSIC.2005.54","url":null,"abstract":"In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contract with its neighbouring components regarding the use of its services. In general, such a contract should cover issues beyond interface signatures, such as service functionality, usage and quality. The interface definition languages (IDLs) used by commercial middleware such as CORBA, however, lack mechanisms for capturing such semantic characteristics. In this paper, we introduce a framework and associated techniques that augment commercial IDLs with behavioural contract specifications and validate at runtime component interactions against such contracts. The behavioural contract of a component describes occurrence or sequencing constraints on its interactions with the environment. The validation of such constraints is achieved by intercepting runtime interactions between components and validating them against the finite state automata that semantically represent the constraints. The validation provides a useful tool for testing whether the component services are used properly and whether the component fulfils its behavioural obligations in a distributed system.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"33 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":"127018372","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}
引用次数: 7
Towards a metamorphic testing methodology for service-oriented software applications 面向服务的软件应用程序的变形测试方法
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.67
W. Chan, S. Cheung, Karl R. P. H. Leung
{"title":"Towards a metamorphic testing methodology for service-oriented software applications","authors":"W. Chan, S. Cheung, Karl R. P. H. Leung","doi":"10.1109/QSIC.2005.67","DOIUrl":"https://doi.org/10.1109/QSIC.2005.67","url":null,"abstract":"Testing applications in service-oriented architecture (SOA) environments needs to deal with issues like the unknown communication partners until the service discovery, the imprecise black-box information of software components, and the potential existence of non-identical implementations of the same service. In this paper, we exploit the benefits of the SOA environments and metamorphic testing (MT) to alleviate the issues. We propose an MT-oriented testing methodology in this paper. It formulates metamorphic services to encapsulate services as well as the implementations of metamorphic relations. Test cases for the unit test phase is proposed to generate follow-up test cases for the integration test phase. The metamorphic services invoke relevant services to execute test cases and use their metamorphic relations to detect failures. It has potentials to shift the testing effort from the construction of the integration test sets to the development of metamorphic relations.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"18 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":"126794354","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}
引用次数: 57
Formal fault tree analysis of state transition systems 状态转换系统的形式化故障树分析
Fifth International Conference on Quality Software (QSIC'05) Pub Date : 2005-09-19 DOI: 10.1109/QSIC.2005.32
Jianwen Xiang, K. Ogata
{"title":"Formal fault tree analysis of state transition systems","authors":"Jianwen Xiang, K. Ogata","doi":"10.1109/QSIC.2005.32","DOIUrl":"https://doi.org/10.1109/QSIC.2005.32","url":null,"abstract":"Fault tree analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitions between states, and it is difficult to decompose complex system fault events that are composed of multiple normal components' states rather than individual component failures. To solve these problems, we first propose two different fault events of fault trees, and then present a formal fault tree construction model by introducing the concept of transition rules for event decomposition, in which the semantics of gates and minimal cut sets of fault trees are revised compared with traditional FTA.","PeriodicalId":150211,"journal":{"name":"Fifth International Conference on Quality Software (QSIC'05)","volume":"18 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":"123613506","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
首页 上一页 下一页 尾页
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学术官方微信