Reishi Yokomori, Fumiaki Ohata, Y. Takata, H. Seki, Katsuro Inoue
{"title":"Analysis and implementation method of program to detect inappropriate information leak","authors":"Reishi Yokomori, Fumiaki Ohata, Y. Takata, H. Seki, Katsuro Inoue","doi":"10.1109/APAQS.2001.989996","DOIUrl":"https://doi.org/10.1109/APAQS.2001.989996","url":null,"abstract":"For a program which handles secret information, it is very important to prevent inappropriate information leaks from a program with secret data. D.E. Denning (1976) proposed a mechanism to certify the security of program by statically analyzing information flow, and S. Kuninobu et al. (2000) proposed a more practical analysis framework including recursive procedure handling, although no implementation has been yet made. We propose a method of security analysis implementation, and show a security analysis tool implemented for a procedural language. We extend Kuninobu's algorithm by devising various techniques for analysis of practical programs that have recursive calls and global variables. This method is validated by applying our tools to a simple credit card program, and we confirm that the validation of program security is very useful.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123412605","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}
{"title":"A fast algorithm to compute maximum likelihood estimates for the hypergeometric software reliability model","authors":"Frank Padberg","doi":"10.1109/APAQS.2001.990000","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990000","url":null,"abstract":"We present a fast and exact algorithm to compute maximum likelihood estimates for the number of faults initially contained in a software, using the hypergeometric software reliability model. The algorithm is based on a rigorous mathematical analysis of the growth behavior of the likelihood function for the model. We also clarify the stochastic process underlying the model and prove a recursion formula which is central for most previous work on the hypergeometric software reliability model.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130001352","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}
C. Hwang, Shih-Kun Huang, Deng-Jyi Chen, David T. K. Chen
{"title":"Object-oriented program behavior analysis based on control patterns","authors":"C. Hwang, Shih-Kun Huang, Deng-Jyi Chen, David T. K. Chen","doi":"10.1109/APAQS.2001.990005","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990005","url":null,"abstract":"Code-patterns are statically recurring structures specific to a programming language. It can be parallel to aid in designing software systems for solving particular problems. Contrary to compilation assistance of code-patterns, control-patterns are dynamically recurring structures invoked during program execution time. It can be used for benchmarking OO-programs and underlying architecture like Java and Java-VM. We propose a run-time profiler based on control patterns and show that all run-time trace can be represented by a directed graph, a constrained output and a Boolean function. A transformed graph can be fed into a data-mining analyzer to find out the recurring structure representing run-time behaviors.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"103 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124607018","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}
{"title":"A path to virtual software inspection","authors":"L. Harjumaa, H. Hedberg, I. Tervonen","doi":"10.1109/APAQS.2001.990032","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990032","url":null,"abstract":"A number of computer tools have been introduced to overcome the difficulties in traditional software inspection. Actual inspection tools are rarely used, however, as the current tool implementations have some critical inadequacies. The paper briefly summarizes the evolution of computer-supported software inspection and outlines the concept of virtual software inspection, which introduces two important aspects: flexibility and integration of the tools. Paying attention to these dimensions could result in more attractive and comprehensive tools for inspection collaboration.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133891541","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}
{"title":"Computing executable slices for concurrent logic programs","authors":"Jianjun Zhao, Jingde Cheng, K. Ushijima","doi":"10.1109/APAQS.2001.989997","DOIUrl":"https://doi.org/10.1109/APAQS.2001.989997","url":null,"abstract":"Program slicing has many applications in software engineering activities. However, until recently, no slicing algorithm has been presented that can compute executable slices for concurrent logic programs. We present a dependence-graph based approach to computing executable slices for concurrent logic programs. The dependence-based representation used in the paper is called the Argument Dependence Net which can be used to explicitly represent various types of program dependences in a concurrent logic program. Based on the ADN, we can compute static executable slices for concurrent logic programs at argument level.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116104448","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}
{"title":"Requirements management for the incremental development model","authors":"Qing Wang, Xufang Lai","doi":"10.1109/APAQS.2001.990034","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990034","url":null,"abstract":"Requirements management is a crucial process in software engineering. Nowadays, information technology is applied in many fields of society. The change in requirements becomes an inevitable fact. However, good quality means conformance to customer requirements. A good and suitable software engineering model and efficient requirements management is required. The paper discusses the method of requirements management for the incremental development model, the goal of the management, the structure of data collection, and the metrics of the capability measurement.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116105320","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}
{"title":"DLOTOS: a LOTOS extension for clock synchronization in distributed systems","authors":"Wassem Hassan","doi":"10.1109/APAQS.2001.990013","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990013","url":null,"abstract":"The paper introduces a solution to the clock synchronization and timing problem in a distributed system. We present a grammar extension to LOTOS called DLOTOS and give an example of implementing discrete clocks. The resulting extension supports distributed processing and Internet computing.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122725211","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}
{"title":"Incremental quality network","authors":"S. Coronado, J. Jaén","doi":"10.1109/APAQS.2001.990002","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990002","url":null,"abstract":"The effects of the late detection of a defect in a software life cycle could be modeled in the planning of software projects through a model we have called Incremental Quality Network (IQN). Late detection of defects is a common problem in software projects, and many improvements have been accomplished in detection techniques. But defects still occur, mainly because of the uncertainties in software projects, and the analysis of their impact is necessary in order to plan, prevent and understand the possible rework required. This paper presents a model to express, in project planning terms, the impact generated by the rework produced by late detection of a defect in a software development.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125075806","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}
{"title":"Assurance of conceptual data model quality based on early measures","authors":"M. Genero, M. Piattini, C. Calero","doi":"10.1109/APAQS.2001.990007","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990007","url":null,"abstract":"The increasing demand for quality information systems (IS), has become quality the most pressing challenge facing IS development organisations. In the IS development field it is generally accepted that the quality of an IS is highly dependent on decisions made early in its development. Given the relevant role that data itself plays in an IS, conceptual data models are a key artifact of the IS design: Therefore, in order to build \"better quality \" IS it is necessary to assess and to improve the quality of conceptual data models based on quantitative criteria. It is in this context where software measurement can help IS designers to make better decision during design activities. We focus this work on the empirical validation of the metrics proposed by Genero et al. for measuring the structural complexity of entity relationship diagrams (ERDs). Through a controlled experiment we will demonstrate that these metrics seem to be heavily correlated with three of the sub-factors that characterise the maintainability of an ERD, such as understandability, analysability and modifiability.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127285038","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}
Jian Hu, Jiamin Zhao, K. Shima, Y. Takemura, Ken-ichi Matsumoto
{"title":"Comparison of Chinese and Japanese in designing B2C Web pages toward impressional usability","authors":"Jian Hu, Jiamin Zhao, K. Shima, Y. Takemura, Ken-ichi Matsumoto","doi":"10.1109/APAQS.2001.990037","DOIUrl":"https://doi.org/10.1109/APAQS.2001.990037","url":null,"abstract":"The paper proposes a method to evaluate the relation between visitors' impressions and the design of a B2C Web page. We also compared the impressions of Japanese with those of Chinese to find whether there was a difference in impressions due to culture and nationality, etc. Two empirical studies based on self-report questionnaires were conducted in Japan and China. The studies measured the subjects' impressions of various B2C Web pages that showed eight design factors. The evaluation values for the impressions were collected in the questionnaires. The study in China was conducted using the same procedure as in Japan except that all experimental materials were translated into Chinese. Sign test of the study results shows a significant difference in visitors' impressions corresponding to changes in design factors. The paper concludes by showing the implication of the empirical results on the design of B2C Web pages intended for international use.","PeriodicalId":145151,"journal":{"name":"Proceedings Second Asia-Pacific Conference on Quality Software","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129577088","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}