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

Proceedings Second Asia-Pacific Conference on Quality Software最新文献

筛选
英文 中文
Partial validation of a design specification with respect to requirements 根据需求对设计规范进行部分验证
Proceedings Second Asia-Pacific Conference on Quality Software Pub Date : 2001-12-10 DOI: 10.1109/APAQS.2001.990011
Cédric Besse, A. Cavalli, F. Khendek
{"title":"Partial validation of a design specification with respect to requirements","authors":"Cédric Besse, A. Cavalli, F. Khendek","doi":"10.1109/APAQS.2001.990011","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990011","url":null,"abstract":"The paper presents a method for partial validation of system design specifications. In the method presented, the requirements are given as a set of views described with MSC and referred to as a set of MSC/sub R/. The design specification can be given in any formal language. Our method allows for the verification, against each MSC/sub R/, of each simulation of the design specification collected into a MSC and referred to as MSC/sub T/ in the paper. For the verification of MSC/sub T/ against MSCR, we introduce a conformance relation and an algorithm to verify this relation. Our method is illustrated with an example, the INRES protocol.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"87 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116659513","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
URL-driven automated testing url驱动的自动化测试
Proceedings Second Asia-Pacific Conference on Quality Software Pub Date : 2001-12-10 DOI: 10.1109/APAQS.2001.990029
R. Wen
{"title":"URL-driven automated testing","authors":"R. Wen","doi":"10.1109/APAQS.2001.990029","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990029","url":null,"abstract":"Web-based applications pose new and unique software testing challenges as the World Wide Web suddenly surges in global e-Commerce. The Web-based test process becomes more challenging than non-Web applications testing. It is no longer sufficient to obtain accurate analysis and measurements of the Internet computing systems with manual testing alone. IT professionals have repeatedly and convincingly produced the case for the automated software testing (AST) process. The most critical challenge to enterprises is the ability to build a friendly, cost-effective and maintainable AST system. The paper contributes a new concept of efficient testing methodologies to support the rapid deployment of new Web-based applications and technologies. A URL-Driven Navigation Testing (URL-DNT) case is used as an example to introduce the URL-Driven Automated Testing (URL-DAT) methodology.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125003728","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
Testable use cases in the Abstract State Machine Language 抽象状态机语言中的可测试用例
Proceedings Second Asia-Pacific Conference on Quality Software Pub Date : 2001-12-10 DOI: 10.1109/APAQS.2001.990016
W. Grieskamp, M. Lepper, Wolfram Schulte, N. Tillmann
{"title":"Testable use cases in the Abstract State Machine Language","authors":"W. Grieskamp, M. Lepper, Wolfram Schulte, N. Tillmann","doi":"10.1109/APAQS.2001.990016","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990016","url":null,"abstract":"Use cases are a method for describing interactions between humans and/or systems. However, despite their popularity there is no agreed formal syntax and semantics of use cases. The Abstract State Machine Language (ASML) is an executable specification language developed at Microsoft Research. We define an encoding of use cases in ASML and demonstrate the advantages by describing techniques to generate test cases and test oracles from the encoding.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121707018","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
Constructing hardware/software interface using protocol converters 使用协议转换器构建硬件/软件接口
Proceedings Second Asia-Pacific Conference on Quality Software Pub Date : 2001-12-10 DOI: 10.1109/APAQS.2001.990012
S. Qin, Z. Qiu, Jifeng He
{"title":"Constructing hardware/software interface using protocol converters","authors":"S. Qin, Z. Qiu, Jifeng He","doi":"10.1109/APAQS.2001.990012","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990012","url":null,"abstract":"Hardware/software partition is a critical phase in hardware/software co-design. The paper proposes a hybrid partitioning framework, in which we design a set of protocol converters to construct the interface component between the hardware and software components, and reuse the formerly well-built partitioning rules by introducing protocol converters and rewriting them for this hybrid framework. The hardware components generated by our partitioning process are coded directly in Verilog HDL, which will greatly facilitate the further compilation from it down to netlists.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115082397","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
Beyond e-commerce software quality: Web services effectiveness 超越电子商务软件质量:Web服务的有效性
Proceedings Second Asia-Pacific Conference on Quality Software Pub Date : 2001-12-10 DOI: 10.1109/APAQS.2001.990045
Hung-Sheng Chiu, Chyan Yang
{"title":"Beyond e-commerce software quality: Web services effectiveness","authors":"Hung-Sheng Chiu, Chyan Yang","doi":"10.1109/APAQS.2001.990045","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990045","url":null,"abstract":"The article describes a successful experience on a 30 man-month software project of the Technology Development Program (TDP) of thw Ministry Of Economic Affairs (MOEA) in Taiwan. In this research, attention is strictly focused on the interrelationships among key components that link between business processes, architecture-centric, and component-based systems to surpass the goal of software quality. The project presents a Web services model for building new era applications. It discusses the definition of Web services, the generic architecture of a Web services, and how our solution relates to Microsoft Windows DNA and .NET. We then conducted a Web services-enabled ERP application to validate the feasibility of a Web services programming model and confirm the corresponding fulfillment of software quality.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122118724","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
Analysis of interrater agreement in ISO/IEC 15504-based software process assessment 基于ISO/IEC 15504的软件过程评估中互解释器一致性分析
Proceedings Second Asia-Pacific Conference on Quality Software Pub Date : 2001-12-10 DOI: 10.1109/APAQS.2001.990039
Hye-young Lee, Ho-Won Jung, Chang-shin Chung, Jong Moo Lee, Kyung Whan Lee, Hack Jong Jeong
{"title":"Analysis of interrater agreement in ISO/IEC 15504-based software process assessment","authors":"Hye-young Lee, Ho-Won Jung, Chang-shin Chung, Jong Moo Lee, Kyung Whan Lee, Hack Jong Jeong","doi":"10.1109/APAQS.2001.990039","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990039","url":null,"abstract":"The emerging ISO/IEC 15504 standard provides a framework and a model for software process assessment and improvement. There are two requirements for reliable process assessment: internal reliability and external reliability. The objective of the study is to provide an empirical case of external reliability, i.e. the interrater agreement in ISO/IEC 15504-based software process assessment. Interrater agreement implies the extent to which independent assessors agree in their ratings of software process attributes. Our dataset was from two assessments conducted using the ISO/IEC 15504 standard. The results showed \"substantial\" to \"excellent\" agreement. This implies that the two assessments acquired external reliability.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"193 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115637805","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}
引用次数: 24
A risk-driven design model for embedded system 嵌入式系统风险驱动设计模型
Proceedings Second Asia-Pacific Conference on Quality Software Pub Date : 2001-12-10 DOI: 10.1109/APAQS.2001.990021
Ying Dong, Mingshu Li
{"title":"A risk-driven design model for embedded system","authors":"Ying Dong, Mingshu Li","doi":"10.1109/APAQS.2001.990021","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990021","url":null,"abstract":"Embedded systems are becoming a hot issue for many appliances. However, the development of embedded systems faces the challenge of high risks from market pressures and lack of domain expertise. We introduce a risk-driven model for embedded system development. Driven by risk evaluation, the model guides the embedded system development in a module-based approach. Moreover, a risk evaluation framework composed of three-dimensional metrics is provided with the model to address and track the development risk, including metrics for economy, personnel and technology. A case study is provided to demonstrate how the model and framework are applied.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116781900","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
A new tool to analyze ER-schemas 用于分析er模式的新工具
Proceedings Second Asia-Pacific Conference on Quality Software Pub Date : 2001-12-10 DOI: 10.1109/APAQS.2001.990035
F. Boufarès, Naoufel Kraïem
{"title":"A new tool to analyze ER-schemas","authors":"F. Boufarès, Naoufel Kraïem","doi":"10.1109/APAQS.2001.990035","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990035","url":null,"abstract":"Cardinality constraints as well as key constraints and functional dependencies are among the most popular classes of constraints in database models. While each constraint class is now well understood, little is done about their interaction. Today, cardinality constraints and key constraints are embedded in most CASE tools, which are usually based on the entity-relationship model. However, these tools do not offer intelligent consistency checking routines for cardinality constraints and they do not consider the global coherence. Conflicts among the constraints are not detected. Our aim is then, to propose a tool for reasoning about a set of cardinality constraints, key and certain functional dependencies in order to help in database design. We treat the global coherence of cardinality constraints. We propose two steps: a syntactical analysis according to our ER Meta-schema and a semantic analysis in order to verify the cardinality constraints and their interactions.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"943 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133510840","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
Quality and people in the development of situationally specific methods 质量与人在具体情况下的发展方法
Proceedings Second Asia-Pacific Conference on Quality Software Pub Date : 2001-12-10 DOI: 10.1109/APAQS.2001.990020
S. Young, Sharon McDonald, H. Edwards, J. B. Thompson
{"title":"Quality and people in the development of situationally specific methods","authors":"S. Young, Sharon McDonald, H. Edwards, J. B. Thompson","doi":"10.1109/APAQS.2001.990020","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990020","url":null,"abstract":"It is argued that personality testing and group dynamic principles could improve the success of development teams in developing systems by providing a mechanism for repeatable and valid identification, rating and selection of stakeholders in the method engineering process. The method presented, MEWSIC, aims to formalise the development of situational methods so that the link to quality assurance processes are retained. MEWSIC accounts for the number of stakeholders who have a legitimate interest in the success of the project, but distinguishes between those who provide input that informs the method engineering process, those who carry out this process and their team role types. An overview of MEWSIC and a discussion on the need for personality testing and group dynamic measures is given.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133622017","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}
引用次数: 18
Towards automatic verification of embedded control software 嵌入式控制软件的自动验证
Proceedings Second Asia-Pacific Conference on Quality Software Pub Date : 2001-12-10 DOI: 10.1109/APAQS.2001.990043
N. Bauer, Ralf Huuck
{"title":"Towards automatic verification of embedded control software","authors":"N. Bauer, Ralf Huuck","doi":"10.1109/APAQS.2001.990043","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990043","url":null,"abstract":"The language: sequential function charts (SFC), is a programming and structuring language for programmable logic controllers (PLC). It is defined in the IEC 61131-3 standard and includes various interesting concepts such as parallelism, hierarchy, priorities, and activity manipulation. Although SFCs are perpetually used in the engineering community for programming and the design of embedded control systems, there are hardly any specific verification approaches for them. Existing approaches for Petri nets, Grafcets, or (UML-)Statecharts do not really apply to SFCs, whose structures are similar but include distinct features. We present a method to model-check SFCs. This is done by defining a translation of SFCs into the native language of the Cadence Symbolic Model Verifier (CaSMV). This translation is specifically tailored to cover all the concepts of SFCs and can be performed automatically. Moreover, we demonstrate our approach by an application to a control process in chemical engineering.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117057480","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
下一页 尾页
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学术官方微信