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

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

筛选
英文 中文
Automatic Quality Assessment of SRS Text by Means of a Decision-Tree-Based Text Classifier 基于决策树的文本分类器的SRS文本质量自动评估
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.20
I. Hussain, O. Ormandjieva, Leila Kosseim
{"title":"Automatic Quality Assessment of SRS Text by Means of a Decision-Tree-Based Text Classifier","authors":"I. Hussain, O. Ormandjieva, Leila Kosseim","doi":"10.1109/QSIC.2007.20","DOIUrl":"https://doi.org/10.1109/QSIC.2007.20","url":null,"abstract":"The success of a software project is largely dependent upon the quality of the Software Requirements Specification (SRS) document, which serves as a medium to communicate user requirements to the technical personnel responsible for developing the software. This paper addresses the problem of providing automated assistance for assessing the quality of textual requirements from an innovative point of view, namely through the use of a decision- tree-based text classifier, equipped with Natural Language Processing (NLP) tools. The objective is to apply the text classification technique to build a system for the automatic detection of ambiguity in SRS text based on the quality indicators defined in the quality model proposed in this paper. We believe that, with proper training, such a text classification system will prove to be of immense benefit in assessing SRS quality. To the authors' best knowledge, ours is the first documented attempt to apply the text classification technique for assessing the quality of software documents.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"208 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":"122053289","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}
引用次数: 42
Detecting Double Faults on Term and Literal in Boolean Expressions 布尔表达式中术语和文字的双重错误检测
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.23
M. Lau, Y. Liu, Yuen-Tak Yu
{"title":"Detecting Double Faults on Term and Literal in Boolean Expressions","authors":"M. Lau, Y. Liu, Yuen-Tak Yu","doi":"10.1109/QSIC.2007.23","DOIUrl":"https://doi.org/10.1109/QSIC.2007.23","url":null,"abstract":"Fault-based testing aims at selecting test cases to guarantee the detection of certain prescribed faults in programs. The detection conditions of single faults have been studied and used in areas like developing test case selection strategies, establishing relationships between faults and investigating the fault coupling effect. It is common, however, for programmers to commit more than one fault. Our previous studies on the detection conditions of faults in Boolean expressions show that (1) some test case selection strategies developed for the detection of single faults can also detect all double faults related to terms, but (2) these strategies cannot guarantee to detect all double faults related to literals. This paper supplements our previous studies and completes our series of analysis of the detection condition of all double fault classes in Boolean expressions. Here we consider the fault detection conditions of combinations of two single faults, in which one is related to term and the other is related to literal. We find that all such faulty expressions, except two, can be detected by some test case selection strategies for single fault detection. Moreover, the two exception faulty expressions can be detected by existing strategies when used together with a supplementary strategy which we earlier developed to detect double literal faults.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"05 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":"129798322","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}
引用次数: 12
Testability and Test Framework for Collaborative Real-Time Editing Tools 协同实时编辑工具的可测试性和测试框架
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.60
Lian Yu, Lifeng Xu, Guanzhu Wang, C. Chi, Wenping Xiao, Hui Su
{"title":"Testability and Test Framework for Collaborative Real-Time Editing Tools","authors":"Lian Yu, Lifeng Xu, Guanzhu Wang, C. Chi, Wenping Xiao, Hui Su","doi":"10.1109/QSIC.2007.60","DOIUrl":"https://doi.org/10.1109/QSIC.2007.60","url":null,"abstract":"The difficulties with testing Internet-based Collaborative Real-time Editing Tools (CRETs) come from the requirements of collaboration, real-time and distribution. This paper considers testability as a quality attribute of CRETs requirements, and explores its design and implementation to facilitate testing CRETs. Dyanmic CRETs' testability aspects include controllability, observability and traceability. In addition, Test agent based test execution framework is built to further smooth the test progress. The automatic test framework provides functionality of estimates of test case parameters, auto-editing robot, time synchronization, testing XMLHttpRequest object, and on-line verification. To provide visualization of test execution, a SVG-based timeline diagram is developed to demonstrate the motions of testing CRETs on-line.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"88 2 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":"128988245","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
Uniform Selection of Feasible Paths as a Stochastic Constraint Problem 可行路径的一致选择作为随机约束问题
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.67
M. Petit, A. Gotlieb
{"title":"Uniform Selection of Feasible Paths as a Stochastic Constraint Problem","authors":"M. Petit, A. Gotlieb","doi":"10.1109/QSIC.2007.67","DOIUrl":"https://doi.org/10.1109/QSIC.2007.67","url":null,"abstract":"Automatic structural test data generation is a real challenge of software testing. Statistical structural testing has been proposed to address this problem. This testing method aims at building an input probability distribution to maximize the coverage of some structural criteria. Under the all paths testing objective, statistical structural testing aims at selecting each feasible path of the program with the same probability. In this paper, we propose to model a uniform selector of feasible paths as a stochastic constraint program. Stochastic constraint programming is an interesting framework which combines stochastic decision problem and constraint solving. This paper reports on the translation of uniform selection of feasible paths problem into a stochastic constraint problem. An implementation which uses the library PCC(FD) of SICStus Prolog designed for this problem is detailed. First experimentations, conducted over a few academic examples, show the interest of our approach.","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":"114112238","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
An Incremental and FCA-Based Ontology Construction Method for Semantics-Based Component Retrieval 一种基于fca的基于语义的构件检索本体构建方法
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.16
Xin Peng, Wenyun Zhao
{"title":"An Incremental and FCA-Based Ontology Construction Method for Semantics-Based Component Retrieval","authors":"Xin Peng, Wenyun Zhao","doi":"10.1109/QSIC.2007.16","DOIUrl":"https://doi.org/10.1109/QSIC.2007.16","url":null,"abstract":"In semantics-based component retrieval ontology is usually employed as the semantic basis for component representation and matching. Existing methods always assume that the ontology already exists. However, ontology construction itself is a big challenge and the construction of ontology for component retrieval has its own characteristics differing from general domain ontology, including the emphasis on functional semantics, the explicit instance set (i.e. semantic descriptions of all the components stored in the repository) and the explicit objective of characterizing components for retrieval. In this paper, we propose an incremental and FCA (Formal Concept Analysis) based ontology construction method. The feature of incremental ontology construction means a collaborative and interactive process with component providers to collect basic input/output descriptions of components. FCA with the extension of hierarchical-valued concept context is adopted to elicit concepts from original component descriptions to construct ontological hierarchy for functional concepts. After concept analysis, semantic representation of each component can also be filled automatically. So our method can alleviate the efforts of ontology construction remarkably and the quality can also be ensured in terms of the requirements of component retrieval.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"119 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":"121740977","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
Architectural Test Coverage for Component-Based Integration Testing 基于组件的集成测试的体系结构测试覆盖率
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.18
N. Hashim, S. Ramakrishnan, H. Schmidt
{"title":"Architectural Test Coverage for Component-Based Integration Testing","authors":"N. Hashim, S. Ramakrishnan, H. Schmidt","doi":"10.1109/QSIC.2007.18","DOIUrl":"https://doi.org/10.1109/QSIC.2007.18","url":null,"abstract":"This paper introduces a component-based integration testing method with an architectural test coverage criteria. This method is suitable for systems that lack system documentation and is applicable during regression testing and deployment phase. This paper also presents the initial results of an empirical study that validates the proposed test coverage criteria against an existing method in terms of the test coverage using a test suite precision parameter. We also describe the test models used that are based on probabilistic deterministic finite automata which are used to represent gate usage profiles at run-time and test execution. These models facilitate the representation and validation of the gate protocol, test coverage measurement and monitoring of the test suite coverage of each gate.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"44 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":"122648736","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
Quality Assurance in Web Information Systems Development Web信息系统开发中的质量保证
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.43
K. Schewe, Jane Zhao, B. Thalheim
{"title":"Quality Assurance in Web Information Systems Development","authors":"K. Schewe, Jane Zhao, B. Thalheim","doi":"10.1109/QSIC.2007.43","DOIUrl":"https://doi.org/10.1109/QSIC.2007.43","url":null,"abstract":"Information systems that are accessible via the web have become a very important class of large-scale software systems. In order to assure a high quality of such systems we propose a layered approach using integrated methods for all levels. In doing so we bring together knowledge from semiotics, goal-oriented requirements engineering, conceptual modelling, databases, human-computer interaction and web-oriented languages. In this paper we outline our approach and argue why the systematic application of our methodology to web information systems development will result in quality.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"12 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":"117064919","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
Cohesion Metrics for Predicting Maintainability of Service-Oriented Software 面向服务软件可维护性预测的内聚度量
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.21
M. Perepletchikov, C. Ryan, Keith Frampton
{"title":"Cohesion Metrics for Predicting Maintainability of Service-Oriented Software","authors":"M. Perepletchikov, C. Ryan, Keith Frampton","doi":"10.1109/QSIC.2007.21","DOIUrl":"https://doi.org/10.1109/QSIC.2007.21","url":null,"abstract":"Although service-oriented computing (SOC) is a promising paradigm for developing enterprise software systems, existing research mostly assumes the existence of black box services with little attention given to the structural characteristics of the implementing software, potentially resulting in poor system maintainability. Whilst there has been some preliminary work examining coupling in a service-oriented context, there has to date been no such work on the structural property of cohesion. Consequently, this paper extends existing notions of cohesion in OO and procedural design in order to account for the unique characteristics of SOC, allowing the derivation of assumptions linking cohesion to the maintainability of service-oriented software. From these assumptions, a set of metrics are derived to quantify the degree of cohesion of service oriented design constructs. Such design level metrics are valuable because they allow the prediction of maintainability early in the SDLC.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"18 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":"115424381","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}
引用次数: 120
Synthesizing Component-Based WSN Applications via Automatic Combination of Code Optimization Techniques 基于组件的无线传感器网络应用的自动组合代码优化技术
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.55
Zhenyu Zhang, W. Chan, T. Tse
{"title":"Synthesizing Component-Based WSN Applications via Automatic Combination of Code Optimization Techniques","authors":"Zhenyu Zhang, W. Chan, T. Tse","doi":"10.1109/QSIC.2007.55","DOIUrl":"https://doi.org/10.1109/QSIC.2007.55","url":null,"abstract":"Wireless sensor network (WSN) applications sense events in-situ and compute results in-network. Their software components should run on platforms with stringent constraints on node resources. Developers often design their programs by trial-and-error with a view to meeting these constraints. Through numerous iterations, they manually measure and estimate how far the programs cannot fulfill the requirements, and make adjustments accordingly. Such manual process is time-consuming and error-prone. Automated support is necessary. Based on an existing task view that treats a WSN application as tasks and models resources as constraints, we propose a new component view that associates components with code optimization techniques and constraints. We develop algorithms to synthesize components running on nodes, fulfilling the constraints, and thus optimizing their quality. We evaluate our proposal by a simulation study adapted from a real-life WSN application. Keywords: Wireless sensor network, adaptive software design, resource constraint, code optimization technique.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"15 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":"121727957","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
Test-Driven Component Integration with UML 2.0 Testing and Monitoring Profile 与UML 2.0测试和监控概要文件的测试驱动组件集成
Seventh International Conference on Quality Software (QSIC 2007) Pub Date : 2007-10-11 DOI: 10.1109/QSIC.2007.59
Donglin Liang, Kai Xu
{"title":"Test-Driven Component Integration with UML 2.0 Testing and Monitoring Profile","authors":"Donglin Liang, Kai Xu","doi":"10.1109/QSIC.2007.59","DOIUrl":"https://doi.org/10.1109/QSIC.2007.59","url":null,"abstract":"Test-driven development (TDD) is a software development methodology for achieving high reliability. However, the practice of TDD at the integration level is rare. In this paper, we propose a test-driven component integration approach with the support of UML 2.0 Testing and Monitoring Profile (U2TMP) that is also proposed in this paper. In our approach, automated integration-level test cases are specified using U2TMP before writing the glue-code that integrates components. U2TMP enhances UML 2.0 diagrams for specifying how test scenarios should be set up and how the integrated components are expected to interact under these scenarios. Test cases written in U2TMP can be automatically transformed into test artifacts that setup the test environment, generate test stimuli, and monitor the component interactions at runtime. These test cases serve as a guideline for writing the glue-code and a regression test- bed. With this approach, the software developers may produce glue-code of high reliability.","PeriodicalId":136227,"journal":{"name":"Seventh International Conference on Quality Software (QSIC 2007)","volume":"63 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":"124666572","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
首页 上一页 下一页 尾页
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学术官方微信