Pub Date : 1999-03-24DOI: 10.1109/ASSET.1999.756749
Minhua Xu, Taehyung Wang, P. Sheu, C. Ramamoorthy, S. Ohara, F. Tsunoda, H. Suganuma, A. Onoma
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.
{"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}
Pub Date : 1999-03-24DOI: 10.1109/ASSET.1999.756776
D. Cooke
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.
{"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}
Pub Date : 1999-03-24DOI: 10.1109/ASSET.1999.756781
T. Potok, M. Vouk
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.
{"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}
Pub Date : 1999-03-24DOI: 10.1109/ASSET.1999.756752
H. Hecht
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.
{"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}
Pub Date : 1999-03-24DOI: 10.1109/ASSET.1999.756751
R.M.M. Braga, C. Werner, M. Mattoso
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.
{"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}
Pub Date : 1999-03-24DOI: 10.1109/ASSET.1999.756750
D. Kung, P. Hsia
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.
{"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}
Pub Date : 1999-03-24DOI: 10.1109/ASSET.1999.756763
F. Lohier, P. Garda
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.
{"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}
Pub Date : 1999-03-24DOI: 10.1109/ASSET.1999.756764
T.G. Kimer, V.F. Martins
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.
{"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}
Pub Date : 1999-03-24DOI: 10.1109/ASSET.1999.756761
N. Georgalas
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.
{"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}
Pub Date : 1999-03-24DOI: 10.1109/ASSET.1999.756753
S. Brackin, C. Meadows, J. Millen
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.
{"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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：