On the basis of static test tool Splint and ARM Developer Suite, a static test approach for embedded software was designed and implemented in the platform ARM test for embedded software testing. This approach selects different parameters for static test according to the requirements, invokes Splint to enforce the test, arranges and categorizes test results, and associates the results with the program to be tested. Experiments showed that this static test approach based on Splint and ADS can perform static test of embedded software precisely and efficiently.
{"title":"Design and Implementation of a Static Test Approach for Embedded Software","authors":"Wang Zhong-min, Huo Yi-wei, Liang Chen","doi":"10.1109/WCSE.2012.30","DOIUrl":"https://doi.org/10.1109/WCSE.2012.30","url":null,"abstract":"On the basis of static test tool Splint and ARM Developer Suite, a static test approach for embedded software was designed and implemented in the platform ARM test for embedded software testing. This approach selects different parameters for static test according to the requirements, invokes Splint to enforce the test, arranges and categorizes test results, and associates the results with the program to be tested. Experiments showed that this static test approach based on Splint and ADS can perform static test of embedded software precisely and efficiently.","PeriodicalId":244586,"journal":{"name":"2012 Third World Congress on Software Engineering","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126625305","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}
The friction coefficient of road is the primary factor of the traction control system. In this paper, a real-time estimation of road coefficient based on the distributed driven electric vehicle is developed. The simplified quarter car model and the Burckhardt tire model are selected and optimized. The algorithm based on recursive least square with forgetting factor is used for road estimation. The test data under a wide range of road conditions are analyzed. The results show that the algorithm is able to estimate two surfaces: asphalt and ice road. The proposed approach has several advantages such as accurate, effective, short cycle and low cost. Also, it has the ability to provide with reliable information for vehicle active safety control.
{"title":"Real-time Estimation of Road Friction Coefficient for the Electric Vehicle","authors":"Lin Cheng, Wang Gang, Cao Wan-ke, Zhou Feng-jun","doi":"10.1109/WCSE.2012.41","DOIUrl":"https://doi.org/10.1109/WCSE.2012.41","url":null,"abstract":"The friction coefficient of road is the primary factor of the traction control system. In this paper, a real-time estimation of road coefficient based on the distributed driven electric vehicle is developed. The simplified quarter car model and the Burckhardt tire model are selected and optimized. The algorithm based on recursive least square with forgetting factor is used for road estimation. The test data under a wide range of road conditions are analyzed. The results show that the algorithm is able to estimate two surfaces: asphalt and ice road. The proposed approach has several advantages such as accurate, effective, short cycle and low cost. Also, it has the ability to provide with reliable information for vehicle active safety control.","PeriodicalId":244586,"journal":{"name":"2012 Third World Congress on Software Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130544265","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}
Based on analyzing of two basic modeling methods of Extended-Range Electric Bus (E_REB), this paper had established a E_REB's Forward-Simulation model, and described main sub models in detail. Basised to the parameters of a certain E_REB, the Forward model was simulated under UDDS driving cycle, and some significant characteristic curves and dynamics, economics simulation data were obtained. Compared with experimental values of the E_REB, the error was within allowable range. So the results have proven that the Forward-Simulation model was rational and practical.
{"title":"Study on Forward Simulation Model for Extended-Range Electric Bus","authors":"C. Jiang, Lin Cheng, S. Fengchun","doi":"10.1109/WCSE.2012.49","DOIUrl":"https://doi.org/10.1109/WCSE.2012.49","url":null,"abstract":"Based on analyzing of two basic modeling methods of Extended-Range Electric Bus (E_REB), this paper had established a E_REB's Forward-Simulation model, and described main sub models in detail. Basised to the parameters of a certain E_REB, the Forward model was simulated under UDDS driving cycle, and some significant characteristic curves and dynamics, economics simulation data were obtained. Compared with experimental values of the E_REB, the error was within allowable range. So the results have proven that the Forward-Simulation model was rational and practical.","PeriodicalId":244586,"journal":{"name":"2012 Third World Congress on Software Engineering","volume":"202 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134539327","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}
In the current internet, it is hard to manage users' identities because of all kinds of security threats. To solve this problem, several elements to build secure internet identity management are introduced: global unified digital identity, cloud computing, and identity as a service and so on.
{"title":"Build Up Secure Internet Identity Management","authors":"Qiuyan Lv, Zhang Fan","doi":"10.1109/WCSE.2012.25","DOIUrl":"https://doi.org/10.1109/WCSE.2012.25","url":null,"abstract":"In the current internet, it is hard to manage users' identities because of all kinds of security threats. To solve this problem, several elements to build secure internet identity management are introduced: global unified digital identity, cloud computing, and identity as a service and so on.","PeriodicalId":244586,"journal":{"name":"2012 Third World Congress on Software Engineering","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132002859","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}
Usually, conformance testing is done in a way that testers having a running application and its specification, test whether the implementation of the application conforms to its specification. Only when deploying the web application on the server, users can access it through the client software called web browsers. The features of web browsers influence the functionalities of web applications. So, even if we can ensure that the implementation of the web application conforms to its specification, still there is no guarantee that the specification conforms to its implementation. This paper proposes a model checking based approach to automatically executing conformance testing of web applications and can ensure that the implementation conforms to its specification and the specification conforms to its implementation, respectively. The implementation models are abstracted from the running web applications As for unsatisfied CTL formulas, according to the counterexamples, we can locate the uncomformance in implementation or in specification.
{"title":"Model Checking Based Conformance Testing for Web Applications","authors":"Shengbo Chen","doi":"10.1109/WCSE.2012.18","DOIUrl":"https://doi.org/10.1109/WCSE.2012.18","url":null,"abstract":"Usually, conformance testing is done in a way that testers having a running application and its specification, test whether the implementation of the application conforms to its specification. Only when deploying the web application on the server, users can access it through the client software called web browsers. The features of web browsers influence the functionalities of web applications. So, even if we can ensure that the implementation of the web application conforms to its specification, still there is no guarantee that the specification conforms to its implementation. This paper proposes a model checking based approach to automatically executing conformance testing of web applications and can ensure that the implementation conforms to its specification and the specification conforms to its implementation, respectively. The implementation models are abstracted from the running web applications As for unsatisfied CTL formulas, according to the counterexamples, we can locate the uncomformance in implementation or in specification.","PeriodicalId":244586,"journal":{"name":"2012 Third World Congress on Software Engineering","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132871111","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}
According to the application demand of provincial environmental monitoring, designed and developed water environment monitoring information system based on B/S model, realized integration applications of spatial information and water environmental monitoring information, GIS functions developed by ArcGIS Flex API in ArcGIS Server10 platform, other functions developed using C# language in the ASP.NET framework, system functions including: monitoring quality management, monitoring data upload, inspection, audit, evaluation, query statistics and spatial query and online editing of monitoring stations and monitoring points, achieved centralized management and sharing of the provincial monitoring data, unified evaluation methods from all levels of monitoring stations, improved the accuracy and effectiveness of the monitoring information and flexibility of evaluation methods, effectively improved work efficiency of management department, the system has strong extended value.
{"title":"Water Environment Monitoring Information System Based on ASP.NET and ArcGIS Server","authors":"W. Jianhua, Peng Zhenwen","doi":"10.1109/WCSE.2012.51","DOIUrl":"https://doi.org/10.1109/WCSE.2012.51","url":null,"abstract":"According to the application demand of provincial environmental monitoring, designed and developed water environment monitoring information system based on B/S model, realized integration applications of spatial information and water environmental monitoring information, GIS functions developed by ArcGIS Flex API in ArcGIS Server10 platform, other functions developed using C# language in the ASP.NET framework, system functions including: monitoring quality management, monitoring data upload, inspection, audit, evaluation, query statistics and spatial query and online editing of monitoring stations and monitoring points, achieved centralized management and sharing of the provincial monitoring data, unified evaluation methods from all levels of monitoring stations, improved the accuracy and effectiveness of the monitoring information and flexibility of evaluation methods, effectively improved work efficiency of management department, the system has strong extended value.","PeriodicalId":244586,"journal":{"name":"2012 Third World Congress on Software Engineering","volume":"118 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115198652","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}
Methods used for ordinary differential equations cannot generally be used to solve delay differential equation, which is reflected in the choice of suitable software. The paper shows possibilities of software solution of delay differential equations. The aim of the paper is to present the possibilities of current software packages and programme systems (e.g. Matlab, Maple, R). The paper further shows how the aforementioned equations can be used in solutions of dynamical models. The conclusion of the papers demonstrates a solution of a specific dynamical model - the Phillips curve applied to the Czech Republic. Setting up the model required the use of analytic and synthetic methods, dynamical modelling and solving the system of two delay differential equations. In the conclusion the authors claim that although the quality of the available software, suitable for solving delay differential equations, is not as good as that of software used for solving ordinary differential equations, such software that meets basic requirements can be found. Therefore such software can be used as a supportive tool for exact modelling methods in practice.
{"title":"Software Solution of Delay Differential Equations","authors":"J. Kr̆íž, V. Novotná, J. Luhan","doi":"10.1109/WCSE.2012.47","DOIUrl":"https://doi.org/10.1109/WCSE.2012.47","url":null,"abstract":"Methods used for ordinary differential equations cannot generally be used to solve delay differential equation, which is reflected in the choice of suitable software. The paper shows possibilities of software solution of delay differential equations. The aim of the paper is to present the possibilities of current software packages and programme systems (e.g. Matlab, Maple, R). The paper further shows how the aforementioned equations can be used in solutions of dynamical models. The conclusion of the papers demonstrates a solution of a specific dynamical model - the Phillips curve applied to the Czech Republic. Setting up the model required the use of analytic and synthetic methods, dynamical modelling and solving the system of two delay differential equations. In the conclusion the authors claim that although the quality of the available software, suitable for solving delay differential equations, is not as good as that of software used for solving ordinary differential equations, such software that meets basic requirements can be found. Therefore such software can be used as a supportive tool for exact modelling methods in practice.","PeriodicalId":244586,"journal":{"name":"2012 Third World Congress on Software Engineering","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125910183","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}
As the functional requirements of software keep growing, the structure and scale of software systems become more and more complicated. In order to analyze the topology and quality of complex software systems, the theory of complex networks has been introduced to model and solve software engineering problems. This paper regards functions in the source code of the software as nodes, function-calls in the source code of the software as directed edges, and defines the weight of edges, then presents a method of constructing the weighted software dynamic execution network model. The results on the statistical analysis of the networks obtained from three software programs, TAR, GEDIT and EMACS, show that the weighted networks of the software execution process fit in with the small-world effect and the scale-free property of complex networks. Based on that, we further take advantage of the CML model in complex networks to simulate and analyze the cascading effect for software systems and discover the main factors that influence the final scale and spread speed of cascading failures in software systems, which will give an important support for the research of software quality assurance.
{"title":"Network Model Construction and Cascading Effect Analysis for Software Systems","authors":"Gang Hou, Xiaolong Wang, Kuanjiu Zhou","doi":"10.1109/WCSE.2012.10","DOIUrl":"https://doi.org/10.1109/WCSE.2012.10","url":null,"abstract":"As the functional requirements of software keep growing, the structure and scale of software systems become more and more complicated. In order to analyze the topology and quality of complex software systems, the theory of complex networks has been introduced to model and solve software engineering problems. This paper regards functions in the source code of the software as nodes, function-calls in the source code of the software as directed edges, and defines the weight of edges, then presents a method of constructing the weighted software dynamic execution network model. The results on the statistical analysis of the networks obtained from three software programs, TAR, GEDIT and EMACS, show that the weighted networks of the software execution process fit in with the small-world effect and the scale-free property of complex networks. Based on that, we further take advantage of the CML model in complex networks to simulate and analyze the cascading effect for software systems and discover the main factors that influence the final scale and spread speed of cascading failures in software systems, which will give an important support for the research of software quality assurance.","PeriodicalId":244586,"journal":{"name":"2012 Third World Congress on Software Engineering","volume":"415 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126696682","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}
Innovation of Complex product systems (CoPS) represents the trend of future technology development. CoPS are high cost, high technology, engineering intensive, multi-layer structure systems. As the most urgent problem in CoPS development is how to improve intelligence and knowledge systematically. Case-based reasoning (CBR) is a knowledge-based problem solving method. Aimed at the coarse-grained problem existed in single-layer case-based reasoning of the CoPS. Based on the characteristics of the multi-layer of CoPS, the domain knowledge and the similarity of components function are considered, the approach framework of multi-layer intelligent case-based reasoning is proposed. In the framework, the XML is used for description language of components replacement rules in order to realize the adjustment and modification of deep-layer details of the case. The improvement and application of the framework are feasible solutions for case-based reasoning of multi-layer CoPS. Finally, an illustrative example for conceptual design of complex product systems is given to clarify the feasibility and effectiveness of the multi-layer intelligent CBR approach framework.
{"title":"Multi-layer Case-based Reasoning Approach of Complex Product System","authors":"Sihai Guo, W. Zhou, Kaizhi Li","doi":"10.1109/WCSE.2012.27","DOIUrl":"https://doi.org/10.1109/WCSE.2012.27","url":null,"abstract":"Innovation of Complex product systems (CoPS) represents the trend of future technology development. CoPS are high cost, high technology, engineering intensive, multi-layer structure systems. As the most urgent problem in CoPS development is how to improve intelligence and knowledge systematically. Case-based reasoning (CBR) is a knowledge-based problem solving method. Aimed at the coarse-grained problem existed in single-layer case-based reasoning of the CoPS. Based on the characteristics of the multi-layer of CoPS, the domain knowledge and the similarity of components function are considered, the approach framework of multi-layer intelligent case-based reasoning is proposed. In the framework, the XML is used for description language of components replacement rules in order to realize the adjustment and modification of deep-layer details of the case. The improvement and application of the framework are feasible solutions for case-based reasoning of multi-layer CoPS. Finally, an illustrative example for conceptual design of complex product systems is given to clarify the feasibility and effectiveness of the multi-layer intelligent CBR approach framework.","PeriodicalId":244586,"journal":{"name":"2012 Third World Congress on Software Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131150168","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}
Aiming at the problems of the global image matching, an area based on image matching algorithm is presented. In the paper, the principle of area based image matching is given firstly and the algorithm is analyzed in detail. In the algorithm, in order to diminish the influence of the segmentation to image matching, color key feature points are chosen as the feature of image and weighted distance measurement are used to achieve the coarse image matching and get candidate locations. Dominant color extraction to candidate locations according to human vision, the final result is achieved by precise matching which is measured by color measurement. A large number of experimental results demonstrate the feasibility and efficiency of the algorithm.
{"title":"An Area Based Image Matching Algorithm and Its Implementation","authors":"G. Yue, Yu Xu","doi":"10.1109/WCSE.2012.35","DOIUrl":"https://doi.org/10.1109/WCSE.2012.35","url":null,"abstract":"Aiming at the problems of the global image matching, an area based on image matching algorithm is presented. In the paper, the principle of area based image matching is given firstly and the algorithm is analyzed in detail. In the algorithm, in order to diminish the influence of the segmentation to image matching, color key feature points are chosen as the feature of image and weighted distance measurement are used to achieve the coarse image matching and get candidate locations. Dominant color extraction to candidate locations according to human vision, the final result is achieved by precise matching which is measured by color measurement. A large number of experimental results demonstrate the feasibility and efficiency of the algorithm.","PeriodicalId":244586,"journal":{"name":"2012 Third World Congress on Software Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130932442","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
扫码关注我们
求助内容：
应助结果提醒方式：