Proceedings., Fourteenth Annual International Computer Software and Applications Conference最新文献_第8页

Transformation technique of algebraic specification 代数规范的变换技术

Proceedings., Fourteenth Annual International Computer Software and Applications Conference Pub Date : 1990-10-31 DOI: 10.1109/CMPSAC.1990.139463

Liqun Jin, Jiahua Qian

引用次数: 0

Application-level software self-balancing 应用级软件自平衡

Proceedings., Fourteenth Annual International Computer Software and Applications Conference Pub Date : 1990-10-31 DOI: 10.1109/CMPSAC.1990.139352

C. King, T. Shiau, Chin-Piao Chan

引用次数: 0

The hyper-geometric distribution software reliability growth model (HGDM): precise formulation and applicability 超几何分布软件可靠性增长模型(HGDM):公式精确，适用性强

Proceedings., Fourteenth Annual International Computer Software and Applications Conference Pub Date : 1990-10-31 DOI: 10.1109/CMPSAC.1990.139307

R. Jacoby, Y. Tohma

引用次数: 23

A semi-adaptive DCT compression method that uses minimal space 一种使用最小空间的半自适应DCT压缩方法

Proceedings., Fourteenth Annual International Computer Software and Applications Conference Pub Date : 1990-10-31 DOI: 10.1109/CMPSAC.1990.139383

Rosalee Nerheim

引用次数: 0

Hybrid relations for database schema evolution 用于数据库模式演化的混合关系

Proceedings., Fourteenth Annual International Computer Software and Applications Conference Pub Date : 1990-10-31 DOI: 10.1109/CMPSAC.1990.139410

Junichi Takahashi

引用次数: 5

A new 3D-border algorithm by neighbor finding 一种新的基于邻居查找的三维边界算法

Proceedings., Fourteenth Annual International Computer Software and Applications Conference Pub Date : 1990-10-31 DOI: 10.1109/CMPSAC.1990.139382

Shin-Nine Yang, T. Lin

引用次数: 4

Methods for distributed join processing using a voice-data protocol 使用语音数据协议进行分布式连接处理的方法

Proceedings., Fourteenth Annual International Computer Software and Applications Conference Pub Date : 1990-10-31 DOI: 10.1109/CMPSAC.1990.139462

Kirk Scott, W. Perrizo

引用次数: 0

VIPEG: a generator of environments for software maintenance VIPEG:软件维护环境的生成器

Proceedings., Fourteenth Annual International Computer Software and Applications Conference Pub Date : 1990-10-31 DOI: 10.1109/CMPSAC.1990.139411

W. Khorshid, V. Rajlich

引用次数: 0

A unified hardware/software fault detection experiment in a 5ESS system 5ESS系统硬件/软件统一故障检测实验

Proceedings., Fourteenth Annual International Computer Software and Applications Conference Pub Date : 1990-10-31 DOI: 10.1109/CMPSAC.1990.139425

K. Hwang, A. A. Kapauan, W. N. Toy

{"title":"A unified hardware/software fault detection experiment in a 5ESS system","authors":"K. Hwang, A. A. Kapauan, W. N. Toy","doi":"10.1109/CMPSAC.1990.139425","DOIUrl":"https://doi.org/10.1109/CMPSAC.1990.139425","url":null,"abstract":"A new approach to customer-oriented end-to-end testing is proposed as an integral part of the architecture for enhancing the reliability of AT&T Bell Labs' products and the quality of their ISDN services. The basic idea is to create virtual customers who are constantly using the system as real customers, thereby continually exercising and monitoring the system's operations in a real working environment. Any potential system problem will thus be detected first by the virtual customers. Therefore, problems are expected to be corrected before any reaction from the paying customers. Such a proposal appears to be relatively simple. The important question concerns whether one can emulate the customers who can effectively set up end-to-end dialogs as done by real customers. The objective of this experiment on the 5ESS (electronic switching system) is to apply this technique to implement virtual customers as a means of on-line, real-time testing of the system's capability in providing high quality customers services. Although a very limited data collection has been taken, the on-line customer-service-oriented testing approach has been demonstrated to be an effective means of uncovering difficult problems in a real system environment.<<ETX>>","PeriodicalId":127509,"journal":{"name":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126412871","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

Methods of comparing test data adequacy criteria 比较测试数据充分性标准的方法

Proceedings., Fourteenth Annual International Computer Software and Applications Conference Pub Date : 1990-10-31 DOI: 10.1109/CMPSAC.1990.139305

S. N. Weiss

{"title":"Methods of comparing test data adequacy criteria","authors":"S. N. Weiss","doi":"10.1109/CMPSAC.1990.139305","DOIUrl":"https://doi.org/10.1109/CMPSAC.1990.139305","url":null,"abstract":"The comparative analysis of test data criteria in software testing is considered, and an attempt is made to investigate how criteria have been and should be compared to each other. It is argued that there are two fundamentally different goals in comparing criteria: (1) to compare the error-exposing ability of criteria, and (2) to compare the cost of using the criteria for selecting and/or evaluating test data. Relations such as the power relation and probable correctness are clearly in the first category, and test case counting is clearly in the second category. Subsumption, in contrast, is not entirely in either category. It is shown that the subsumption relation primarily compares the difficulty of satisfying two criteria. If one assumes that the criteria being compared are applicable, then one can infer their relative power and size complexities from the subsumption relation. In addition, it is shown that, while the size complexity of a criterion gives some indication of the relative cost of using the criterion, it is by no means a sufficient measure of the overall difficulty of using that criterion, which also includes the process of checking whether the predicate defined by the criterion has been satisfied, which may not only be difficult, but impossible.<<ETX>>","PeriodicalId":127509,"journal":{"name":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126600539","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}

引用次数: 10