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

Third International Conference on Quality Software, 2003. Proceedings.最新文献

筛选
英文 中文
Using design pattern to develop the quality MSC simulator software in performance test for GSM and GPRS system 利用设计模式开发了GSM和GPRS系统性能测试的高质量MSC仿真软件
Third International Conference on Quality Software, 2003. Proceedings. Pub Date : 2003-11-06 DOI: 10.1109/QSIC.2003.1319124
Yunshan Ge
{"title":"Using design pattern to develop the quality MSC simulator software in performance test for GSM and GPRS system","authors":"Yunshan Ge","doi":"10.1109/QSIC.2003.1319124","DOIUrl":"https://doi.org/10.1109/QSIC.2003.1319124","url":null,"abstract":"Design pattern is a solution in the structured format describing the problem and solution that can be applied in the new background. Global system for mobile communication (GSM) and general packet radio service (GPRS) are such backgrounds and they all need good MSC simulator software to guarantee the quality of performance test for the system. This paper introduces the method to develop the simulator software using several design patterns for MSC performance test in GSM and GPRS system. The usage of these patterns in the software is also depicted in detail, especially in the aspect of object-oriented design. From this paper, we can see that it is economical to achieve quality software by using design pattern, which makes the MSC performance test more efficient and economical. So, this paper is hopeful to benefit the other systems which needs software development with good quality and efficiency.","PeriodicalId":145980,"journal":{"name":"Third International Conference on Quality Software, 2003. Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2003-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131312593","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 systematic framework for evaluating hyperlink validity in Web environments 用于评估Web环境中超链接有效性的系统框架
Third International Conference on Quality Software, 2003. Proceedings. Pub Date : 2003-11-06 DOI: 10.1109/QSIC.2003.1319101
Wen-Kui Chang, Shing-Kai Hon, W. Chu
{"title":"A systematic framework for evaluating hyperlink validity in Web environments","authors":"Wen-Kui Chang, Shing-Kai Hon, W. Chu","doi":"10.1109/QSIC.2003.1319101","DOIUrl":"https://doi.org/10.1109/QSIC.2003.1319101","url":null,"abstract":"In nowadays, the technical complexities of a Web site and variances to the browser make Web testing and quality control much more difficult. This paper investigates the quality issue of the Web systems and a systematic framework for Web testing is proposed, in which a Web application model is established to denote all components of a Web site by the Markov usage chain. To demonstrate its usability, a practical example of link validity testing is presented. The suggested validation mechanism not only generates automatically a complete set of the test scripts for link validation, but also provides quantitative analysis of the invalid components in a Web application.","PeriodicalId":145980,"journal":{"name":"Third International Conference on Quality Software, 2003. Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2003-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131260463","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
A note on test oracles and semantics of algebraic specifications 关于测试oracle和代数规范语义的注解
Third International Conference on Quality Software, 2003. Proceedings. Pub Date : 2003-11-06 DOI: 10.1109/QSIC.2003.1319090
Hong Zhu
{"title":"A note on test oracles and semantics of algebraic specifications","authors":"Hong Zhu","doi":"10.1109/QSIC.2003.1319090","DOIUrl":"https://doi.org/10.1109/QSIC.2003.1319090","url":null,"abstract":"Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checking if the equations of the specification are satisfied. One of the key techniques of algebraic testing is the use of observation contexts as a test oracle so that the comparison of values of structured data can be realised by comparing values of simple data types. This leads to a behavioural semantics of algebraic specifications and divides sorts into observable and non-observable. To represent the structure of object-oriented programs and to facilitate incremental integration testing, this paper extends the notion of observable sorts by introducing a partial ordering between sorts to represent the importation relation between classes. In this framework, the validity of test oracles is formally proved in final algebra semantics.","PeriodicalId":145980,"journal":{"name":"Third International Conference on Quality Software, 2003. Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2003-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134284052","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}
引用次数: 41
Modeling and verifying a Lego car using hybrid I/O automata 使用混合I/O自动机建模和验证乐高汽车
Third International Conference on Quality Software, 2003. Proceedings. Pub Date : 2003-11-06 DOI: 10.1109/QSIC.2003.1319112
A. Fehnker, F. Vaandrager, Miaomiao Zhang
{"title":"Modeling and verifying a Lego car using hybrid I/O automata","authors":"A. Fehnker, F. Vaandrager, Miaomiao Zhang","doi":"10.1109/QSIC.2003.1319112","DOIUrl":"https://doi.org/10.1109/QSIC.2003.1319112","url":null,"abstract":"We illustrate the application of the hybrid I/O automata framework of Lynch, Segala & Vaandrager by using it to model and analyze the behavior of a simple Lego car with caterpillar treads. We derive constraints on the values of the parameters that occur in our hybrid model that guarantee that the car always moves forward along a black tape, and never gets off the tape or move backward. In order to simplify the correctness proof, we introduce a transition system that abstracts from the hybrid automaton in a rather drastic manner, but still preserves validity of the correctness properties in which we are interested. Even though our original model does not involve any disturbances, the general parametric analysis of the system allows us to extend our results in a trivial manner to a hybrid model in which several disturbances are allowed (mistakes in measurements of lengths, drift and jitter of the hardware clock, velocity, and distance between the two caterpillar treads).","PeriodicalId":145980,"journal":{"name":"Third International Conference on Quality Software, 2003. Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2003-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124881950","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}
引用次数: 16
Using supervisory control to synthesize safety controllers for connected spaces 利用监控技术合成连接空间的安全控制器
Third International Conference on Quality Software, 2003. Proceedings. Pub Date : 2003-11-06 DOI: 10.1109/QSIC.2003.1319102
B. Sridharan, A. Mathur, K. Cai
{"title":"Using supervisory control to synthesize safety controllers for connected spaces","authors":"B. Sridharan, A. Mathur, K. Cai","doi":"10.1109/QSIC.2003.1319102","DOIUrl":"https://doi.org/10.1109/QSIC.2003.1319102","url":null,"abstract":"A procedure for synthesizing safety controllers for pervasive computing environments is described. Control-theoretic techniques are used in the synthesis. We describe the notions of connected spaces and digital device manuals for modeling pervasive computing environments and devices, respectively. The safety requirements for the environment are specified as a set of safety policies. The safety policies are enforced by the safety controller. The notions of policy relaxation cost of the safety policies and safety criticality ranking of the devices are novel to this work. An experimental evaluation of the synthesis procedure is presented. Results show that the synthesis procedure scales linearly with respect to the density of the set of policies.","PeriodicalId":145980,"journal":{"name":"Third International Conference on Quality Software, 2003. Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2003-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123110686","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
Component-based workflow architecture of a distributed software process management system 基于组件的分布式软件流程管理系统工作流体系结构
Third International Conference on Quality Software, 2003. Proceedings. Pub Date : 2003-11-06 DOI: 10.1109/QSIC.2003.1319104
Yongyi Xie, Weishi Zhang
{"title":"Component-based workflow architecture of a distributed software process management system","authors":"Yongyi Xie, Weishi Zhang","doi":"10.1109/QSIC.2003.1319104","DOIUrl":"https://doi.org/10.1109/QSIC.2003.1319104","url":null,"abstract":"This paper deals with the component-based workflow architecture of a distributed software process management system called BetterProcess which is constructed to help software companies improve the quality and efficiency of cooperative work in software process improvement. Five requirements are discussed as the motivations in this paper. This architecture presents the overall structure of the system BetterProcess, which consists of its architectural software components, the externally visible properties of those components, and the relationships of them. These components mainly include the Client Runtime Engine, the cooperative server engine, the information converter, the information access middleware, etc. This paper also presents the application of this architecture in a specific distributed software process management for an ongoing development of a Web-based shipping management information system.","PeriodicalId":145980,"journal":{"name":"Third International Conference on Quality Software, 2003. Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2003-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115039157","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
State of the art in testing components 测试组件的最新技术
Third International Conference on Quality Software, 2003. Proceedings. Pub Date : 2003-11-06 DOI: 10.1109/QSIC.2003.1319097
Sami Beydeda, V. Gruhn
{"title":"State of the art in testing components","authors":"Sami Beydeda, V. Gruhn","doi":"10.1109/QSIC.2003.1319097","DOIUrl":"https://doi.org/10.1109/QSIC.2003.1319097","url":null,"abstract":"The use of components in development of complex software systems can surely have various benefits. Their testing, however, is still one of the open issues in software engineering. Both the developer of a component and the developer of a system using components often face the problem that information vital for certain development tasks is not available. Such a lack of information has various consequences to both. One of the important consequences is that it might not only obligate the developer of a system to test the components used, it might also complicate these tests. This article gives an overview of component testing approaches that explicitly respect a lack of information in development.","PeriodicalId":145980,"journal":{"name":"Third International Conference on Quality Software, 2003. Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2003-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124409941","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}
引用次数: 56
Asynchronous communication for complicated e-commerce applications 用于复杂电子商务应用的异步通信
Third International Conference on Quality Software, 2003. Proceedings. Pub Date : 2003-11-06 DOI: 10.1109/QSIC.2003.1319099
WeiQi Cao, Juan-Zi Li, Kehong Wang, Tao Zeng
{"title":"Asynchronous communication for complicated e-commerce applications","authors":"WeiQi Cao, Juan-Zi Li, Kehong Wang, Tao Zeng","doi":"10.1109/QSIC.2003.1319099","DOIUrl":"https://doi.org/10.1109/QSIC.2003.1319099","url":null,"abstract":"In this paper, we explored the various complicated e-commerce applications enhanced by loosely coupled asynchronous communication. And then, we put forward the automatic modeling of e-commerce based on the server-side component models. It fully leverages the various features of the underlying middleware services and meanwhile combines the dynamic modeling and coordination feature of workflow with the auto-generation and logic integration of the components. It realizes the faster development of workflow management system and also satisfies the demand of swift flexibility and extensibility on the business logic.","PeriodicalId":145980,"journal":{"name":"Third International Conference on Quality Software, 2003. Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2003-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116878465","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
Industrial strength software and quality: software and engineering at Siemens 工业实力软件和质量:西门子的软件和工程
Third International Conference on Quality Software, 2003. Proceedings. Pub Date : 2003-11-06 DOI: 10.1109/QSIC.2003.1319117
R. Achatz, Frances Paulisch
{"title":"Industrial strength software and quality: software and engineering at Siemens","authors":"R. Achatz, Frances Paulisch","doi":"10.1109/QSIC.2003.1319117","DOIUrl":"https://doi.org/10.1109/QSIC.2003.1319117","url":null,"abstract":"This paper is based on Siemens extensive experience in the area of quality for software-based products, systems, and plants. It describes the \"best practices\" in the area of software and quality that are used at Siemens. These techniques include Siemens' approaches in the areas of assessments and improvement of development processes, the use of metrics to measure such improvements, testing and quality engineering, inspections and reviews, software architecture as well as organization issues associated with quality such as the sharing of best practices in these areas. The results are based on a number of examples from a broad variety of application areas (e.g. telecommunications, industrial automation, medical engineering and transportation). Our experience is that a focus on quality leads to reductions in cycle-time, effort, and costs and thus to business benefit.","PeriodicalId":145980,"journal":{"name":"Third International Conference on Quality Software, 2003. Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2003-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132121657","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
MaTeLo - statistical usage testing by annotated sequence diagrams, Markov chains and TTCN-3 统计使用测试的注释序列图，马尔可夫链和TTCN-3
Third International Conference on Quality Software, 2003. Proceedings. Pub Date : 2003-11-06 DOI: 10.1109/QSIC.2003.1319119
W. Dulz, Fenhua Zhen
{"title":"MaTeLo - statistical usage testing by annotated sequence diagrams, Markov chains and TTCN-3","authors":"W. Dulz, Fenhua Zhen","doi":"10.1109/QSIC.2003.1319119","DOIUrl":"https://doi.org/10.1109/QSIC.2003.1319119","url":null,"abstract":"In this paper, we present a general framework for testing time-critical systems and software, as it is proposed in the European IST project MaTeLo. The main focus is on automatically generating a MCUM (Markov chain usage model) starting from an FDT (formal description technique) description in order to derive TTCN-3 (testing and test control notation version 3) compatible test case definitions. Our approach is a combination of statistical usage testing based on a given MCUM and specification-based testing that is using FDT inputs. Within MaTeLo, special attention is given to international standardized FDT notations, specifically ITU-T MSC (message sequence chart). In addition, we make use of annotations to specify selected non-functional requirements to support the automated software testing of the real time systems. We also defined an XML-based representation format called MCML (Markov chain Markup Language) to build a common interface between various parts of the MaTeLo tool set.","PeriodicalId":145980,"journal":{"name":"Third International Conference on Quality Software, 2003. Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2003-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120983049","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}
引用次数: 44
首页 上一页 下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信