Pub Date : 2003-11-06DOI: 10.1109/QSIC.2003.1319124
Yunshan Ge
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.
{"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}
Pub Date : 2003-11-06DOI: 10.1109/QSIC.2003.1319101
Wen-Kui Chang, Shing-Kai Hon, W. Chu
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.
{"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}
Pub Date : 2003-11-06DOI: 10.1109/QSIC.2003.1319090
Hong Zhu
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.
{"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}
Pub Date : 2003-11-06DOI: 10.1109/QSIC.2003.1319112
A. Fehnker, F. Vaandrager, Miaomiao Zhang
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).
{"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}
Pub Date : 2003-11-06DOI: 10.1109/QSIC.2003.1319102
B. Sridharan, A. Mathur, K. Cai
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.
{"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}
Pub Date : 2003-11-06DOI: 10.1109/QSIC.2003.1319104
Yongyi Xie, Weishi Zhang
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.
{"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}
Pub Date : 2003-11-06DOI: 10.1109/QSIC.2003.1319097
Sami Beydeda, V. Gruhn
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.
{"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}
Pub Date : 2003-11-06DOI: 10.1109/QSIC.2003.1319099
WeiQi Cao, Juan-Zi Li, Kehong Wang, Tao Zeng
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.
{"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}
Pub Date : 2003-11-06DOI: 10.1109/QSIC.2003.1319117
R. Achatz, Frances Paulisch
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.
{"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}
Pub Date : 2003-11-06DOI: 10.1109/QSIC.2003.1319119
W. Dulz, Fenhua Zhen
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.
{"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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：