Pub Date : 1994-12-21DOI: 10.1109/STRQA.1994.526381
G. Karakitsos
Large computer programs have to be maintained and hence understood by many different people most of whom are not their original authors. Such programs need to be evaluated and transformed into semantically equivalent but maintainable code. The paper introduces a tool that is designed to work on abstract representations, and directly manipulate them. The proposed tool is capable of performing program transformations based on formal language theory and the abstract program representations (introduced as abstract syntax by McCarthy (1962)). The definition of an abstract program representation is extended to mean a simple view of the program with respect to some program attributes that help us to concentrate on, clarify and simplify our manipulations.
{"title":"A language for specifying program transformations","authors":"G. Karakitsos","doi":"10.1109/STRQA.1994.526381","DOIUrl":"https://doi.org/10.1109/STRQA.1994.526381","url":null,"abstract":"Large computer programs have to be maintained and hence understood by many different people most of whom are not their original authors. Such programs need to be evaluated and transformed into semantically equivalent but maintainable code. The paper introduces a tool that is designed to work on abstract representations, and directly manipulate them. The proposed tool is capable of performing program transformations based on formal language theory and the abstract program representations (introduced as abstract syntax by McCarthy (1962)). The definition of an abstract program representation is extended to mean a simple view of the program with respect to some program attributes that help us to concentrate on, clarify and simplify our manipulations.","PeriodicalId":125322,"journal":{"name":"Proceedings of 1994 1st International Conference on Software Testing, Reliability and Quality Assurance (STRQA'94)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128726833","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 : 1994-12-21DOI: 10.1109/STRQA.1994.526383
C. Chung, Huan-Chao Ken, Ying-Hong Wang, Wei-Chuan Lin, Ying-Feng Kou
Many software testing criteria have been proposed which demonstrate different testing capacities. However, there is still less research exploring what the quantitative difference is among different testing criteria. A quantitative difference among different criteria is apparently a good guideline for selecting appropriate testing methodologies. All-statements and all-branches testing criteria are well known, and both of them have been widely applied in software testing. This research infers a quantitative analysis to measure the difference between the all-statements criterion and all-branches criterion. The quantitative analysis provides a theoretical basis for measuring testing efforts between different testing methodologies. A testing metric is proposed to compare the all-statements criterion with all-branches. A CASE tool for this metric is presented.
{"title":"A quantitative analysis for different testing criteria through program decomposition","authors":"C. Chung, Huan-Chao Ken, Ying-Hong Wang, Wei-Chuan Lin, Ying-Feng Kou","doi":"10.1109/STRQA.1994.526383","DOIUrl":"https://doi.org/10.1109/STRQA.1994.526383","url":null,"abstract":"Many software testing criteria have been proposed which demonstrate different testing capacities. However, there is still less research exploring what the quantitative difference is among different testing criteria. A quantitative difference among different criteria is apparently a good guideline for selecting appropriate testing methodologies. All-statements and all-branches testing criteria are well known, and both of them have been widely applied in software testing. This research infers a quantitative analysis to measure the difference between the all-statements criterion and all-branches criterion. The quantitative analysis provides a theoretical basis for measuring testing efforts between different testing methodologies. A testing metric is proposed to compare the all-statements criterion with all-branches. A CASE tool for this metric is presented.","PeriodicalId":125322,"journal":{"name":"Proceedings of 1994 1st International Conference on Software Testing, Reliability and Quality Assurance (STRQA'94)","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121801249","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 : 1994-12-21DOI: 10.1109/STRQA.1994.526400
P. K. Kapur, M. Xie, S. Younes
Object oriented design techniques are the most powerful way of developing software in the foreseen future. The techniques help in reducing the cost of development and increase the reliability of the software. We develop a software reliability growth model for an object oriented software system. The model is validated by simulating the error data. The goodness of fit and predictive validity is also tested.
{"title":"Reliability growth model for object oriented software system","authors":"P. K. Kapur, M. Xie, S. Younes","doi":"10.1109/STRQA.1994.526400","DOIUrl":"https://doi.org/10.1109/STRQA.1994.526400","url":null,"abstract":"Object oriented design techniques are the most powerful way of developing software in the foreseen future. The techniques help in reducing the cost of development and increase the reliability of the software. We develop a software reliability growth model for an object oriented software system. The model is validated by simulating the error data. The goodness of fit and predictive validity is also tested.","PeriodicalId":125322,"journal":{"name":"Proceedings of 1994 1st International Conference on Software Testing, Reliability and Quality Assurance (STRQA'94)","volume":"22 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114035950","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 : 1994-12-21DOI: 10.1109/STRQA.1994.526382
I. Bashir, A. Goel
We present a semi-exhaustive approach to testing of a C++ class as a unit of testing. The general approach is outlined by an algorithm. This approach determines the correctness of a class by considering the manipulation of each of its data members by all possible sequences of member functions of the class. Member functions manipulating a data member are divided into different categories and each category is tested individually. A preliminary analysis of the algorithm determines the maximum number of test cases required for a given class.
{"title":"Testing C++ classes","authors":"I. Bashir, A. Goel","doi":"10.1109/STRQA.1994.526382","DOIUrl":"https://doi.org/10.1109/STRQA.1994.526382","url":null,"abstract":"We present a semi-exhaustive approach to testing of a C++ class as a unit of testing. The general approach is outlined by an algorithm. This approach determines the correctness of a class by considering the manipulation of each of its data members by all possible sequences of member functions of the class. Member functions manipulating a data member are divided into different categories and each category is tested individually. A preliminary analysis of the algorithm determines the maximum number of test cases required for a given class.","PeriodicalId":125322,"journal":{"name":"Proceedings of 1994 1st International Conference on Software Testing, Reliability and Quality Assurance (STRQA'94)","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121379072","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 : 1994-12-21DOI: 10.1109/STRQA.1994.526395
N. S. Gill, P. Grover, D. Taneja
Designing a good software system is a very complex task. In order to produce a good software product, several measures need to be taken into account. System complexity generally affects attributes such as software reliability, maintainability, and testability of software systems which are considered of immense importance in designing a better software product. For achieving these software qualities, its system complexity must be controlled by modularizing the system into various modules of appropriate complexities. The paper reports the system complexity which is comprised of internal and external complexities. External complexity, a result of software decomposition, which is mainly contributed by the coupling or interaction among modules, is derived by taking into account the proposed reasonable modular coupling complexities.
{"title":"System complexity as an aid to quality assurance","authors":"N. S. Gill, P. Grover, D. Taneja","doi":"10.1109/STRQA.1994.526395","DOIUrl":"https://doi.org/10.1109/STRQA.1994.526395","url":null,"abstract":"Designing a good software system is a very complex task. In order to produce a good software product, several measures need to be taken into account. System complexity generally affects attributes such as software reliability, maintainability, and testability of software systems which are considered of immense importance in designing a better software product. For achieving these software qualities, its system complexity must be controlled by modularizing the system into various modules of appropriate complexities. The paper reports the system complexity which is comprised of internal and external complexities. External complexity, a result of software decomposition, which is mainly contributed by the coupling or interaction among modules, is derived by taking into account the proposed reasonable modular coupling complexities.","PeriodicalId":125322,"journal":{"name":"Proceedings of 1994 1st International Conference on Software Testing, Reliability and Quality Assurance (STRQA'94)","volume":"181 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114265759","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 : 1994-12-21DOI: 10.1109/STRQA.1994.526378
Sungback Hong, J. Hwang, Byeongdo Kang, Moungho Lee, Haesook Kim, Young-Soon Kim
We present an empirical model to evaluate reliability of a large software system. We take as a target system a large real-time switching system which is under development in our research institute. The results obtained from our reliability model indicate that there is close relation between software failures collected during the development of the system and reliability of the system. We also analyze, through a statistical analysis of the observed failure data, the development procedure and reliabilities of respective subsystems constituting the target system in order to investigate the effects of individual reliabilities of the subsystems on the state of the whole system. The results show both relationships among subsystem groups and the dependencies between subsystems and the whole system. Our empirical reliability model can be used as a reference model to study the reliability of real-time systems similar to ours in functional structure.
{"title":"An empirical study on reliability evaluation for a real time switching system","authors":"Sungback Hong, J. Hwang, Byeongdo Kang, Moungho Lee, Haesook Kim, Young-Soon Kim","doi":"10.1109/STRQA.1994.526378","DOIUrl":"https://doi.org/10.1109/STRQA.1994.526378","url":null,"abstract":"We present an empirical model to evaluate reliability of a large software system. We take as a target system a large real-time switching system which is under development in our research institute. The results obtained from our reliability model indicate that there is close relation between software failures collected during the development of the system and reliability of the system. We also analyze, through a statistical analysis of the observed failure data, the development procedure and reliabilities of respective subsystems constituting the target system in order to investigate the effects of individual reliabilities of the subsystems on the state of the whole system. The results show both relationships among subsystem groups and the dependencies between subsystems and the whole system. Our empirical reliability model can be used as a reference model to study the reliability of real-time systems similar to ours in functional structure.","PeriodicalId":125322,"journal":{"name":"Proceedings of 1994 1st International Conference on Software Testing, Reliability and Quality Assurance (STRQA'94)","volume":"111 3S 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131170459","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 : 1994-12-21DOI: 10.1109/STRQA.1994.526398
I. Forgács
Though lots of data flow analysis techniques were proposed that handle array variables, they are restricted to the application of different compiler optimizations and give no precise result. We present a new method that determines definition-use (du) pairs more precisely and it also gives the program path of each du pair. Therefore, this is the first array analysis technique that is well-applicable for data flow testing.
{"title":"An efficient array reference analysis for data flow testing","authors":"I. Forgács","doi":"10.1109/STRQA.1994.526398","DOIUrl":"https://doi.org/10.1109/STRQA.1994.526398","url":null,"abstract":"Though lots of data flow analysis techniques were proposed that handle array variables, they are restricted to the application of different compiler optimizations and give no precise result. We present a new method that determines definition-use (du) pairs more precisely and it also gives the program path of each du pair. Therefore, this is the first array analysis technique that is well-applicable for data flow testing.","PeriodicalId":125322,"journal":{"name":"Proceedings of 1994 1st International Conference on Software Testing, Reliability and Quality Assurance (STRQA'94)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133025277","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 : 1994-12-21DOI: 10.1109/STRQA.1994.526376
Ic V Subramaniam, Matthew J Thazliuthaveetil
Profilers are a class of program monitoring tools which aid in tuning performance. Profiling tools which employ PC (Program Counter) sampling to monitor program dynamics are popular owing to their low overhead. However, the effectiveness of such profilers depends on the accuracy and completeness of the measurements made. We study the methodology and effectiveness of PC sampling based software profilers.
{"title":"Effectiveness of sampling based software profilers","authors":"Ic V Subramaniam, Matthew J Thazliuthaveetil","doi":"10.1109/STRQA.1994.526376","DOIUrl":"https://doi.org/10.1109/STRQA.1994.526376","url":null,"abstract":"Profilers are a class of program monitoring tools which aid in tuning performance. Profiling tools which employ PC (Program Counter) sampling to monitor program dynamics are popular owing to their low overhead. However, the effectiveness of such profilers depends on the accuracy and completeness of the measurements made. We study the methodology and effectiveness of PC sampling based software profilers.","PeriodicalId":125322,"journal":{"name":"Proceedings of 1994 1st International Conference on Software Testing, Reliability and Quality Assurance (STRQA'94)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130830259","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 : 1994-12-21DOI: 10.1109/STRQA.1994.526389
H. Ghosh
ISO 9000 and CMM are two well-established models for a software quality system. The paper compares the two models in detail and analyses how they can be used to complement each other in establishing a quality system by a software engineering organization.
{"title":"A comparison of ISO 9000 and SEI/CMM for software engineering organizations","authors":"H. Ghosh","doi":"10.1109/STRQA.1994.526389","DOIUrl":"https://doi.org/10.1109/STRQA.1994.526389","url":null,"abstract":"ISO 9000 and CMM are two well-established models for a software quality system. The paper compares the two models in detail and analyses how they can be used to complement each other in establishing a quality system by a software engineering organization.","PeriodicalId":125322,"journal":{"name":"Proceedings of 1994 1st International Conference on Software Testing, Reliability and Quality Assurance (STRQA'94)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133632940","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 : 1994-12-21DOI: 10.1109/STRQA.1994.526379
P. K. Kapur, M. Xie, R. Garg, Abhishek Kumar Jha
We propose a discrete software reliability growth model with testing effort. The behaviour of the testing effort is described by a discrete Rayleigh curve. Assuming that the discrete failure intensity to the amount of current testing effort is proportional to the remaining error content, we formulate the model as a non-homogeneous poisson process. Parameters of the model are estimated. We then discuss a release policy based on cost and failure intensity criteria. Numerical results are also presented.
{"title":"A discrete software reliability growth model with testing effort","authors":"P. K. Kapur, M. Xie, R. Garg, Abhishek Kumar Jha","doi":"10.1109/STRQA.1994.526379","DOIUrl":"https://doi.org/10.1109/STRQA.1994.526379","url":null,"abstract":"We propose a discrete software reliability growth model with testing effort. The behaviour of the testing effort is described by a discrete Rayleigh curve. Assuming that the discrete failure intensity to the amount of current testing effort is proportional to the remaining error content, we formulate the model as a non-homogeneous poisson process. Parameters of the model are estimated. We then discuss a release policy based on cost and failure intensity criteria. Numerical results are also presented.","PeriodicalId":125322,"journal":{"name":"Proceedings of 1994 1st International Conference on Software Testing, Reliability and Quality Assurance (STRQA'94)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130531896","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
扫码关注我们
求助内容：
应助结果提醒方式：