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

25th Annual International Computer Software and Applications Conference. COMPSAC 2001最新文献

筛选
英文 中文
Integrating white- and black-box techniques for class-level regression testing 集成类级别回归测试的白盒和黑盒技术
25th Annual International Computer Software and Applications Conference. COMPSAC 2001 Pub Date : 2001-10-08 DOI: 10.1109/CMPSAC.2001.960639
Sami Beydeda, V. Gruhn
{"title":"Integrating white- and black-box techniques for class-level regression testing","authors":"Sami Beydeda, V. Gruhn","doi":"10.1109/CMPSAC.2001.960639","DOIUrl":"https://doi.org/10.1109/CMPSAC.2001.960639","url":null,"abstract":"In recent years, several techniques have been proposed for class-level regression testing. Most of these techniques focus either on white- or black-box testing, although an integrated approach can have several benefits. As similar tasks have to be carried out for both white- and black-box testing, an integrated approach can improve efficiency and cost effectiveness. The article explains an approach for class-level regression testing, integrating existing techniques. Particularly, those of Rothermel et al. (2000) and Hong et al. (1995) for white-box regression testing and black-box testing, respectively, have been integrated into a single technique. The benefits of the resulting technique are shown by example.","PeriodicalId":269568,"journal":{"name":"25th Annual International Computer Software and Applications Conference. COMPSAC 2001","volume":"163 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132233672","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}
引用次数: 37
On modeling data mining with granular computing 基于颗粒计算的数据挖掘建模研究
25th Annual International Computer Software and Applications Conference. COMPSAC 2001 Pub Date : 2001-10-08 DOI: 10.1109/CMPSAC.2001.960680
Yiyu Yao
{"title":"On modeling data mining with granular computing","authors":"Yiyu Yao","doi":"10.1109/CMPSAC.2001.960680","DOIUrl":"https://doi.org/10.1109/CMPSAC.2001.960680","url":null,"abstract":"This paper deals with the formal and mathematical modeling of data mining. A framework is proposed for rule mining based on granular computing. It is developed in the Tarski's style through the notions of a model and satisfiability. The model is a database consisting of a finite set of objects described by a finite set of attributes. Within this framework, a concept is defined as a pair consisting of the intension, an expression in a certain language over the set of attributes, and an extension of the concept, a subset of the universe. An object satisfies the expression of a concept if the object has the properties as specified by the expression, and the object belongs to the extension of the concepts. Rules are used to describe relationships between concepts. A rule is expressed in terms of the intentions of the two concepts and is interpreted in terms of the extensions of the concepts. Two interpretations of rules are examined in detail, one is based on the logical implication and the other on the conditional probability.","PeriodicalId":269568,"journal":{"name":"25th Annual International Computer Software and Applications Conference. COMPSAC 2001","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115540284","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}
引用次数: 174
An observational theory of integration testing for component-based software development 基于组件的软件开发集成测试的观察理论
25th Annual International Computer Software and Applications Conference. COMPSAC 2001 Pub Date : 2001-10-08 DOI: 10.1109/CMPSAC.2001.960640
Hong Zhu, Xudong He
{"title":"An observational theory of integration testing for component-based software development","authors":"Hong Zhu, Xudong He","doi":"10.1109/CMPSAC.2001.960640","DOIUrl":"https://doi.org/10.1109/CMPSAC.2001.960640","url":null,"abstract":"Integration testing plays a crucial role in component-based software development. Complementary to the existing works on the selection of test cases and measurement of test adequacy in integration testing, the paper focuses on questions about how to observe the behaviours of a large and complicated system during dynamic testing. We first analyse the structure of white-box integration testing and propose a family of integration testing methods. We then discuss and formalise the requirements of proper uses of test drivers and component stubs in incremental integration. Finally, we propose a set of axioms for integration testing of concurrent systems.","PeriodicalId":269568,"journal":{"name":"25th Annual International Computer Software and Applications Conference. COMPSAC 2001","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126674073","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
An editing system for working processes 工作流程的编辑系统
25th Annual International Computer Software and Applications Conference. COMPSAC 2001 Pub Date : 2001-10-08 DOI: 10.1109/CMPSAC.2001.960636
Yin-Shinn Chen, Feng-Jian Wang
{"title":"An editing system for working processes","authors":"Yin-Shinn Chen, Feng-Jian Wang","doi":"10.1109/CMPSAC.2001.960636","DOIUrl":"https://doi.org/10.1109/CMPSAC.2001.960636","url":null,"abstract":"Business processes are often complex and varying. Workflow technologies help people minimize errors and delays in the progress of a process within an enterprise. Within a workflow management system (WFMS), a process or even a project can be specified and interpreted to work directly. In this paper, we present an editing system and its two major components, PDE (Process Definition Editor) and FormDesigner, for the specification of a process. PDE is a graphical editor for constructing /modifying process definitions. FormDesigner assumes the responsibility of integrating software components for building/modifying active application forms. With PDE and FormDesigner, a workflow application system can be constructed/modified rapidly and easily so that the WFMS is allowed to run smoothly.","PeriodicalId":269568,"journal":{"name":"25th Annual International Computer Software and Applications Conference. COMPSAC 2001","volume":"106 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132785566","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
Automation of design and development of embedded software on the basis of a strictly defined software architecture 在严格定义的软件体系结构的基础上实现嵌入式软件设计和开发的自动化
25th Annual International Computer Software and Applications Conference. COMPSAC 2001 Pub Date : 2001-10-08 DOI: 10.1109/CMPSAC.2001.960635
S. Baranov, V. Kotlyarov
{"title":"Automation of design and development of embedded software on the basis of a strictly defined software architecture","authors":"S. Baranov, V. Kotlyarov","doi":"10.1109/CMPSAC.2001.960635","DOIUrl":"https://doi.org/10.1109/CMPSAC.2001.960635","url":null,"abstract":"A technique for a complete cycle of automated design and development of embedded software in accordance with a strictly defined architecture is presented. Its characteristic feature is a tool and technology support for software development on the basis of the selected platform architecture and product specifications.","PeriodicalId":269568,"journal":{"name":"25th Annual International Computer Software and Applications Conference. COMPSAC 2001","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133401520","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
Using SOAP to clean up configuration management 使用SOAP清理配置管理
25th Annual International Computer Software and Applications Conference. COMPSAC 2001 Pub Date : 2001-10-08 DOI: 10.1109/CMPSAC.2001.960667
P. O'Connell, R. McCrindle
{"title":"Using SOAP to clean up configuration management","authors":"P. O'Connell, R. McCrindle","doi":"10.1109/CMPSAC.2001.960667","DOIUrl":"https://doi.org/10.1109/CMPSAC.2001.960667","url":null,"abstract":"Software products have become increasingly complicated over the past decade. For example, software is no longer restricted to a single binary file constructed from a small number of source files residing at a single location. Products today are frequently split across client and server architectures with further complications arising through the need for the client and the server to be built and run on different platforms, developed and deployed in multiple physical locations and by workers spanning several different time zones. These factors contribute to making modern software configuration management (CM) a vital but extremely complex process. In this paper we describe a new method for managing the configuration management of evolving modern day distributed systems based on the use of emerging web technologies, specifically XML (Extended Markup Language) XML-RPC (XML-Remote Procedure Call) and SOAP (Simple Object Access Protocol).","PeriodicalId":269568,"journal":{"name":"25th Annual International Computer Software and Applications Conference. COMPSAC 2001","volume":" 11","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113951962","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
Measuring the intensity of object coupling in C++ programs 测量c++程序中对象耦合的强度
25th Annual International Computer Software and Applications Conference. COMPSAC 2001 Pub Date : 2001-10-08 DOI: 10.1109/CMPSAC.2001.960665
C. Ma, Carl K. Chang, J. Cleland-Huang
{"title":"Measuring the intensity of object coupling in C++ programs","authors":"C. Ma, Carl K. Chang, J. Cleland-Huang","doi":"10.1109/CMPSAC.2001.960665","DOIUrl":"https://doi.org/10.1109/CMPSAC.2001.960665","url":null,"abstract":"Software metrics increase our ability to understand the behavior of software systems. An accurate measurement provides us with solid understanding of the entity we are measuring. In Object Oriented software, most current metrics quantify a class's coupling complexity by simply counting the number of connections with other classes but such metrics are unable to capture the underlying complexity or tension of individual connections. In this paper we propose a technique for measuring the strength of interclass relationships that takes into account both the number of statements participating in the connection, as well as the complexity of those statements. Our approach introduces a new concept for measuring Object Oriented coupling complexity and provides a more sensitive measurement than traditional approaches. We present examples in C++ to support our method.","PeriodicalId":269568,"journal":{"name":"25th Annual International Computer Software and Applications Conference. COMPSAC 2001","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124560858","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
Formal and use-case driven requirement analysis in UML 用UML进行正式的和用例驱动的需求分析
25th Annual International Computer Software and Applications Conference. COMPSAC 2001 Pub Date : 2001-10-08 DOI: 10.1109/CMPSAC.2001.960619
Xiaoshan Li, Zhiming Liu, Jifeng He
{"title":"Formal and use-case driven requirement analysis in UML","authors":"Xiaoshan Li, Zhiming Liu, Jifeng He","doi":"10.1109/CMPSAC.2001.960619","DOIUrl":"https://doi.org/10.1109/CMPSAC.2001.960619","url":null,"abstract":"We have recently proposed a formalization of the use of UML in requirement analysis. This paper applies that formalization to a library system as a case study. We intend to show how the approach supports a use case-driven, step-wised and incremental development in building models for requirement analysis. The actual process of building the models shows the importance and feasibility of the formalization itself.","PeriodicalId":269568,"journal":{"name":"25th Annual International Computer Software and Applications Conference. COMPSAC 2001","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114360456","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}
引用次数: 62
EC-SignGate: electronic contract signing gateway EC-SignGate:电子合同签署网关
25th Annual International Computer Software and Applications Conference. COMPSAC 2001 Pub Date : 2001-10-08 DOI: 10.1109/CMPSAC.2001.960623
M. Pong
{"title":"EC-SignGate: electronic contract signing gateway","authors":"M. Pong","doi":"10.1109/CMPSAC.2001.960623","DOIUrl":"https://doi.org/10.1109/CMPSAC.2001.960623","url":null,"abstract":"We describe the motivation, the concept, and the architecture of our electronic contract signing gateway (EC-SignGate) that lets e-merchants without public key infrastructure installation employ digital signatures in their web-based e-business.","PeriodicalId":269568,"journal":{"name":"25th Annual International Computer Software and Applications Conference. COMPSAC 2001","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125431660","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
CLPKIDS: a program analysis system for concurrent logic programs CLPKIDS:一个并发逻辑程序的程序分析系统
25th Annual International Computer Software and Applications Conference. COMPSAC 2001 Pub Date : 2001-10-08 DOI: 10.1109/CMPSAC.2001.960664
Jianjun Zhao, Jingde Cheng, K. Ushijima
{"title":"CLPKIDS: a program analysis system for concurrent logic programs","authors":"Jianjun Zhao, Jingde Cheng, K. Ushijima","doi":"10.1109/CMPSAC.2001.960664","DOIUrl":"https://doi.org/10.1109/CMPSAC.2001.960664","url":null,"abstract":"In this paper we describe a program analysis system called CLPKIDS, that is based on program dependence analysis, to support development of software engineering tools for understanding, testing, debugging, maintenance and complexity measurement of concurrent logic programs.","PeriodicalId":269568,"journal":{"name":"25th Annual International Computer Software and Applications Conference. COMPSAC 2001","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130377130","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
首页 上一页 下一页 尾页
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学术官方微信