Proceedings 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology. ASSET'99 (Cat. No.PR00122)最新文献

筛选
英文 中文
Using an object-relational knowledge base for software testing 使用对象关系知识库进行软件测试
Minhua Xu, Taehyung Wang, P. Sheu, C. Ramamoorthy, S. Ohara, F. Tsunoda, H. Suganuma, A. Onoma
{"title":"Using an object-relational knowledge base for software testing","authors":"Minhua Xu, Taehyung Wang, P. Sheu, C. Ramamoorthy, S. Ohara, F. Tsunoda, H. Suganuma, A. Onoma","doi":"10.1109/ASSET.1999.756749","DOIUrl":"https://doi.org/10.1109/ASSET.1999.756749","url":null,"abstract":"We describe the use of an object-relational knowledge database to facilitate C++ software testing. We decompose a C++ program into a set of programming objects and store them in a database. We also decompose testing scripts, i.e., testcase profiles, and store them in the database in order to keep track of the testing history. The contents of the database can be accessed by a Web based user friendly interface.","PeriodicalId":340666,"journal":{"name":"Proceedings 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology. ASSET'99 (Cat. No.PR00122)","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114653053","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
SequenceL for the Information Power Grid 用于信息电网的序列
D. Cooke
{"title":"SequenceL for the Information Power Grid","authors":"D. Cooke","doi":"10.1109/ASSET.1999.756776","DOIUrl":"https://doi.org/10.1109/ASSET.1999.756776","url":null,"abstract":"This paper presents the major language issues facing the development of the Information Power Grid. The paper presents examples of the types of parallelisms desired in the Grid and gives Java solutions to those problems. The Java solutions contain artifacts of the design of parallel solutions. The same problems are recast in the high level language SequenceL, in which parallelisms are implied. The SequenceL approach seems to be a good candidate for a Grid Oriented Language, in that the abstraction relieves the problem solver of much of the burden normally required in development of parallel problem solutions.","PeriodicalId":340666,"journal":{"name":"Proceedings 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology. ASSET'99 (Cat. No.PR00122)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122865260","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 model of correlated team behaviour in a software development environment 软件开发环境中相关团队行为的模型
T. Potok, M. Vouk
{"title":"A model of correlated team behaviour in a software development environment","authors":"T. Potok, M. Vouk","doi":"10.1109/ASSET.1999.756781","DOIUrl":"https://doi.org/10.1109/ASSET.1999.756781","url":null,"abstract":"In today's highly competitive software development environments, accurately estimating software duration and cost can often mean the difference between project success or failure. Traditional software development estimation techniques often assume that software development teams operate independently from task to task. This assumption allows task covariances to be ignored. However, there is ample evidence that, in practice, the behaviour of a software development team over a project life-cycle has strong \"memory\" of previous tasks and external influences. This means that the accuracy of software development estimates may suffer due to this simplifying assumption of no-correlation. We present a model that we use to describe correlated team behaviour in a software development environment.","PeriodicalId":340666,"journal":{"name":"Proceedings 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology. ASSET'99 (Cat. No.PR00122)","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126257757","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
Systems engineering for software-intensive projects 软件密集型项目的系统工程
H. Hecht
{"title":"Systems engineering for software-intensive projects","authors":"H. Hecht","doi":"10.1109/ASSET.1999.756752","DOIUrl":"https://doi.org/10.1109/ASSET.1999.756752","url":null,"abstract":"The technical shortcomings of major software-intensive projects, as well as their cost overruns and schedule slippages, are usually attributed to poor management practices. We hope to show that the application of established systems engineering techniques can help to overcome, or at least to reduce, the difficulties that are encountered in the development of large information processing and automated control systems. The paper focuses on two life cycle events that have been identified in government studies as causes of the unsatisfactory outcomes: requirements formulation and early assessment of system capabilities. It is shown that establishing a figure of merit (FOM) for the primary system function at the outset of development helps in the management of requirements as well as in the early assessment of the system capabilities. As an example of trade-off methodology, an important system engineering tool that can be applied throughout the life cycle is also presented.","PeriodicalId":340666,"journal":{"name":"Proceedings 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology. ASSET'99 (Cat. No.PR00122)","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121090409","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
Odyssey: a reuse environment based on domain models Odyssey:基于领域模型的重用环境
R.M.M. Braga, C. Werner, M. Mattoso
{"title":"Odyssey: a reuse environment based on domain models","authors":"R.M.M. Braga, C. Werner, M. Mattoso","doi":"10.1109/ASSET.1999.756751","DOIUrl":"https://doi.org/10.1109/ASSET.1999.756751","url":null,"abstract":"This paper presents a reuse based software development environment that provides support to component-based software development (CBD) within certain domains, named Odyssey. Object-oriented frameworks, software architectures, artificial intelligence techniques, domain engineering, and mediators are some of the technologies used by Odyssey.","PeriodicalId":340666,"journal":{"name":"Proceedings 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology. ASSET'99 (Cat. No.PR00122)","volume":"264 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116822998","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}
引用次数: 46
A reverse engineering approach for software testing of object-oriented programs 面向对象程序软件测试的逆向工程方法
D. Kung, P. Hsia
{"title":"A reverse engineering approach for software testing of object-oriented programs","authors":"D. Kung, P. Hsia","doi":"10.1109/ASSET.1999.756750","DOIUrl":"https://doi.org/10.1109/ASSET.1999.756750","url":null,"abstract":"Object-oriented features such as encapsulation, inheritance, and state dependent behaviour raise new problems in software testing. In this paper, we describe a reverse engineering approach for software testing of object-oriented programs. The approach is based on a graphic model which consists of three types of diagram: object relation diagrams (ORD), block branch diagrams (BBD), and object state diagrams (OSD). An ORD presents the inheritance, aggregation, and association relations among the object classes. A BBD presents, for a member function, the control structure, the input parameters and output parameters, the external data that are used and affected, and other functions that are invoked. An OSD presents the states and state transitions. These diagrams are generated from C++/Java source code and may be used to 1) provide guidance on the order to test the classes and member functions; 2) prepare member function test cases; 3) prepare test cases for object state dependent behaviours and interaction between such behaviours; and 4) provide a graphic display of coverage information to a tester.","PeriodicalId":340666,"journal":{"name":"Proceedings 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology. ASSET'99 (Cat. No.PR00122)","volume":"85 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122836123","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
A software engineering methodology to optimize caching in multi-processor DSP architectures: TMS320C80 results towards the real-time execution of low level image processing 一种优化多处理器DSP架构中的缓存的软件工程方法:TMS320C80,可实现低级别图像处理的实时执行
F. Lohier, P. Garda
{"title":"A software engineering methodology to optimize caching in multi-processor DSP architectures: TMS320C80 results towards the real-time execution of low level image processing","authors":"F. Lohier, P. Garda","doi":"10.1109/ASSET.1999.756763","DOIUrl":"https://doi.org/10.1109/ASSET.1999.756763","url":null,"abstract":"This paper introduces an original software engineering methodology we developed while focusing on the implementation of a low-level image processing library targeted for a shared memory multi-processor DSP architecture: the TMS320C80. Real-time constraints led us to concentrate on the enhancement of data locality thanks to the software managing of caches based on an advanced multi-dimensional DMA. This contribution compares to other existing C80's image processing libraries in terms of genericity, flexibility and performance improvement. Our approach allows for the composing of concurrent processing chains grounded on a modular library gathering basic processing operators. Generic mechanisms allow to address all basic operator's requirements as well as to quickly expand the library thanks to a re-usable and well defined framework. Flexibility allows to dynamically re-configure a chain or to modify the region of interest and the number of processors. We finally demonstrate experimentally that our approach allows significant performance improvements.","PeriodicalId":340666,"journal":{"name":"Proceedings 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology. ASSET'99 (Cat. No.PR00122)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128760616","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 model of software development process for virtual environments: definition and a case study 虚拟环境的软件开发过程模型:定义和案例研究
T.G. Kimer, V.F. Martins
{"title":"A model of software development process for virtual environments: definition and a case study","authors":"T.G. Kimer, V.F. Martins","doi":"10.1109/ASSET.1999.756764","DOIUrl":"https://doi.org/10.1109/ASSET.1999.756764","url":null,"abstract":"This paper describes a software development process, especially proposed to support the creation of virtual environments and applications. This process follows an iterative approach of software development, which includes different phases, from the requirements definition to the product evaluation, each one comprising a series of activities. The software development process is presented and illustrated by a case study about a virtual environment of a historic museum. The main implementation aspects are presented in detail and the results are discussed.","PeriodicalId":340666,"journal":{"name":"Proceedings 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology. ASSET'99 (Cat. No.PR00122)","volume":"80 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129995691","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
A framework that uses repositories for information systems and knowledge integration 使用存储库进行信息系统和知识集成的框架
N. Georgalas
{"title":"A framework that uses repositories for information systems and knowledge integration","authors":"N. Georgalas","doi":"10.1109/ASSET.1999.756761","DOIUrl":"https://doi.org/10.1109/ASSET.1999.756761","url":null,"abstract":"Recent market conditions have forced companies to change their policies regarding systems development. Open architectures and distributed paradigms become first role players in the implementation of flexible, componentised systems that can easily adjust to changing requirements. However, there is a significant obstacle put across by the legacy, which still performs the main volume of business processes and stores the majority of the Enterprise Knowledge. Hence, a problem occurs regarding how we obtain integration of systems and knowledge when the legacy still dominates in the enterprise environment. In this paper we advocate that knowledge repositories may provide a solution by becoming the key components of distributed environments. Repositories support strong mechanisms for meta-level information management and systems specification. We present how a repository manages to integrate enterprise knowledge and IS at a conceptual level. Subsequently, we analyse the way a repository-based framework integrates knowledge and software components at a functional level. The analysis is based on the DELOS environment. An example practically exhibits the results achieved.","PeriodicalId":340666,"journal":{"name":"Proceedings 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology. ASSET'99 (Cat. No.PR00122)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130276572","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
CAPSL interface for the NRL Protocol Analyzer 用于NRL协议分析器的CAPSL接口
S. Brackin, C. Meadows, J. Millen
{"title":"CAPSL interface for the NRL Protocol Analyzer","authors":"S. Brackin, C. Meadows, J. Millen","doi":"10.1109/ASSET.1999.756753","DOIUrl":"https://doi.org/10.1109/ASSET.1999.756753","url":null,"abstract":"The Common Authentication Protocol Specification Language (CAPSL) is a high-level language for applying formal methods to the security analysis of cryptographic protocols. Its goal is to permit a protocol to be specified once in a form that is usable as an interface to any type of analysis tool or technique, given appropriate translation software. This paper describes the first operational CAPSL translator to the language used by the NRL Protocol Analyzer (NPA), a software tool developed specifically for the analysis of cryptographic protocols.","PeriodicalId":340666,"journal":{"name":"Proceedings 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology. ASSET'99 (Cat. No.PR00122)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130280909","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}
引用次数: 28
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学术官方微信