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

Seventh International Conference on Quality Software (QSIC 2007)最新文献

筛选
英文 中文
A Model-Driven Approach for Dependable Software Systems 可靠软件系统的模型驱动方法
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.3
M. Jiang, Zhihui Yang
{"title":"A Model-Driven Approach for Dependable Software Systems","authors":"M. Jiang, Zhihui Yang","doi":"10.1109/QSIC.2007.3","DOIUrl":"https://doi.org/10.1109/QSIC.2007.3","url":null,"abstract":"High dependability is a key requirement for many types of systems, such as safety-critical systems, telecommunication systems, and mission-critical software systems. Although software components and web services are proven technologies to tackle design complexity, their reliability affects the reliability and availability of the systems they are part of. The composition of components and web services further complicates the issue. For highly dependable systems, the faults of components and web services have to be minimized to achieve overall system dependability. This paper describes a model-driven engineering approach to improve the dependability of domain- specific software systems built with component and web service composition. In this framework, web services and components are specified as model elements and their dependability is enhanced by generating both functional code and protective mechanisms to reduce the impact of component and service failures. The applicability of this approach is demonstrated in our implementation and deployment of mobile services.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124763658","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
Message of the Program Chairs of STEV'07 STEV'07项目主席寄语
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.35
Johannes Mayer, Sami Beydeda
{"title":"Message of the Program Chairs of STEV'07","authors":"Johannes Mayer, Sami Beydeda","doi":"10.1109/QSIC.2007.35","DOIUrl":"https://doi.org/10.1109/QSIC.2007.35","url":null,"abstract":"The First International Workshop on Software Test Eval- uation (STEV'07) co-located with QSIC'07 is the first work- shop to address the oracle problem in software testing. Unfortunately, this important problem has often been ne- glected. The workshop is intended as a forum for those working in the field of software test oracles and its aim is to foster collaboration among those researcher in order to advance the state of the art. An program with presentations on a lot of topics in the field of test oracles guarantees an interesting and hopefully also inspiring workshop. 30350372","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129907912","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
Real-Time Component Composition Using Hierarchical Timed Automata 使用分层时间自动机的实时组件组合
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.44
Xianli Jin, Huadong Ma, Z. Gu
{"title":"Real-Time Component Composition Using Hierarchical Timed Automata","authors":"Xianli Jin, Huadong Ma, Z. Gu","doi":"10.1109/QSIC.2007.44","DOIUrl":"https://doi.org/10.1109/QSIC.2007.44","url":null,"abstract":"In component-based software development, it is important to use formal models to describe component composition. However, the existing component composition models generally ignore real-time issues. We present a formal integration model based on Hierarchical Timed Automata (HTA) for real-time software system. We present formal definition of components and different component composition techniques. We then introduce the notions of composable and compatible composition, and use Multiset Labeled Transition Systems to represent the interface actions of HTA to perform compositional verification. This hierarchical and unified framework establishes the foundation for formal analysis of real-time properties of the system.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130054721","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}
引用次数: 10
Testing against Natural Language Requirements 根据自然语言需求进行测试
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.61
H. Sneed
{"title":"Testing against Natural Language Requirements","authors":"H. Sneed","doi":"10.1109/QSIC.2007.61","DOIUrl":"https://doi.org/10.1109/QSIC.2007.61","url":null,"abstract":"Testing against natural language requirements is the standard approach for system and acceptance testing. This test is often performed by an independent test organization unfamiliar with the application area. The only things the testers have to go by are the written requirements. So it is essential to be able to analyze those requirements and to extract test cases from them. In this paper an automated approach to requirements based testing is presented and illustrated on an industrial application.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133095418","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}
引用次数: 35
Testing Non-Functional Requirements with Aspects: An Industrial Case Study 用方面测试非功能需求:一个工业案例研究
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.62
Jani Metsä, Mika Katara, T. Mikkonen
{"title":"Testing Non-Functional Requirements with Aspects: An Industrial Case Study","authors":"Jani Metsä, Mika Katara, T. Mikkonen","doi":"10.1109/QSIC.2007.62","DOIUrl":"https://doi.org/10.1109/QSIC.2007.62","url":null,"abstract":"Testing is regarded as one of the most resource consuming tasks of an average software project. A common goal of testing related activities is to make sure that requirements are satisfied by the implementation. Although existing tools are often effective in functional testing, emerging nonfunctional requirements set new demands. Aspect-oriented techniques offer a promising approach for capturing such issues under verification. However, prior to industrial adoption more pragmatic guidelines on applying aspects are required. In this paper, we evaluate aspect-oriented techniques in testing non-functional requirements of an industrial system. In addition, we discuss the types of requirements that lend themselves for more efficient testing using aspects than conventional techniques.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127138933","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
A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software 分布式嵌入式软件的一种带模型检验的资源调度设计方法
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.8
Masahiko Watanabe, Akira Fukuda, M. Matsumoto, Hirokazu Yatsu, I. Hosotani, S. Kido
{"title":"A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software","authors":"Masahiko Watanabe, Akira Fukuda, M. Matsumoto, Hirokazu Yatsu, I. Hosotani, S. Kido","doi":"10.1109/QSIC.2007.8","DOIUrl":"https://doi.org/10.1109/QSIC.2007.8","url":null,"abstract":"In this paper, we deal with the kind of distributed embedded software that is constructed from tasks that communicate with each other by sending and receiving multicast messages. These tasks must share resources. So, it is important to schedule a timetable describing when the tasks occupy the resources so that there is no resource competition and the tasks occupy the resources within pre-specified periods. We call this scheduling process resource scheduling. Because tasks must satisfy many constraints and there are message delays in the communication of the tasks, resource scheduling is a difficult task. So, resource scheduling design methods are necessary. In this paper, we propose a resource scheduling design method that allows multicast messages whose receivers can be more than three tasks and an efficient verification method for the method.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127733148","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
An Automated Approach to System Testing Based on Scenarios and Operations Contracts 基于场景和操作契约的自动化系统测试方法
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.14
Najla Raza, A. Nadeem, Muhammad Zohaib Z. Iqbal
{"title":"An Automated Approach to System Testing Based on Scenarios and Operations Contracts","authors":"Najla Raza, A. Nadeem, Muhammad Zohaib Z. Iqbal","doi":"10.1109/QSIC.2007.14","DOIUrl":"https://doi.org/10.1109/QSIC.2007.14","url":null,"abstract":"Scenarios are an important mechanism for requirements specification and can be used to generate test paths at the requirements level. UML 2.0 provides a rich set of models for specifying scenarios, however, little work has focused on using UML 2.0 models for system testing. We propose a novel testing approach that uses UML 2.0 models for automated generation of test paths. This is done by enhancing the information with contracts and then formalizing it into a transition system. Test paths are then generated by path traversal of the transition system. The proposed approach is fully automatable and supported by a prototype tool, thus providing a platform for reducing the gap between high level scenarios and system testing.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115345151","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}
引用次数: 11
Developing Adaptive Software with Multiple QoS Requirements 开发具有多种QoS需求的自适应软件
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.24
S. Yau
{"title":"Developing Adaptive Software with Multiple QoS Requirements","authors":"S. Yau","doi":"10.1109/QSIC.2007.24","DOIUrl":"https://doi.org/10.1109/QSIC.2007.24","url":null,"abstract":"3035004","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116605933","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
Coping with API Evolution for Running, Mission-Critical Applications Using Virtual Execution Environment 使用虚拟执行环境处理运行的关键任务应用程序的API演变
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.22
Bashar Gharaibeh, Tien N. Nguyen, J. Morris Chang
{"title":"Coping with API Evolution for Running, Mission-Critical Applications Using Virtual Execution Environment","authors":"Bashar Gharaibeh, Tien N. Nguyen, J. Morris Chang","doi":"10.1109/QSIC.2007.22","DOIUrl":"https://doi.org/10.1109/QSIC.2007.22","url":null,"abstract":"Recent research showed that the majority of compatibility-breaking changes in a component-based, object-oriented software system are refactorings [5]. The software updating process in such system with the presence of heavily refactored application programming interface (API) is largely manual and disruptive to running, mission-critical applications, which are expected to run continuously without any interruptions. To address the online, API update issue for mission-critical systems, we have developed an online updating framework based on virtual execution environment (VEE) such as Java virtual machine. The framework extends the VEE to take the API change log, which records changes to API components, and seamlessly apply proper updates to the running system without human intervention and without shutting down the system. This framework was implemented as an extension to Jikes Research virtual machine. Our experimental study showed that our online update tool requires little overhead while maintaining the consistent state of the updated running application.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128871736","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
Formal Embedded Operating System Model Based on Resource-Based Design Framework 基于资源设计框架的形式化嵌入式操作系统模型
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.29
J. H. Kim, Jae-Hwan Sim, Chang-Jin Kim, Jin-Young Choi
{"title":"Formal Embedded Operating System Model Based on Resource-Based Design Framework","authors":"J. H. Kim, Jae-Hwan Sim, Chang-Jin Kim, Jin-Young Choi","doi":"10.1109/QSIC.2007.29","DOIUrl":"https://doi.org/10.1109/QSIC.2007.29","url":null,"abstract":"Embedded operating system(OS) is one of most critical software in safety-critical systems. To certify it to a certification organization, it is recommended that specifications for systems are formally described nowadays. This paper introduces an executable model of embedded real-time OS of which purpose is to certify an embedded OS, called pCOS, to a certification organization in Korean nuclear society. The behavioral model of embedded OS is built by a design framework, called resource-oriented design. In this framework, we would aim at capturing the behavioral models of embedded OS requirement and design separately and verifying them incrementally from functionality and hardware's constraints. By means of resource-oriented design, we can identify the property of hardware resources and acquire a formally verifiable and executable model of embedded OS that can be a proof of its safety.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129154447","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}
引用次数: 3
首页 上一页 下一页 尾页
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学术官方微信