发布求助
文献互助 智能选刊 最新文献

2012 Third World Congress on Software Engineering最新文献

筛选
英文 中文
Design and Implementation of a Static Test Approach for Embedded Software 嵌入式软件静态测试方法的设计与实现
2012 Third World Congress on Software Engineering Pub Date : 2012-11-06 DOI: 10.1109/WCSE.2012.30
Wang Zhong-min, Huo Yi-wei, Liang Chen
{"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}
引用次数: 2
Real-time Estimation of Road Friction Coefficient for the Electric Vehicle 电动汽车道路摩擦系数的实时估计
2012 Third World Congress on Software Engineering Pub Date : 2012-11-06 DOI: 10.1109/WCSE.2012.41
Lin Cheng, Wang Gang, Cao Wan-ke, Zhou Feng-jun
{"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}
引用次数: 2
Study on Forward Simulation Model for Extended-Range Electric Bus 增程式电动客车正演仿真模型研究
2012 Third World Congress on Software Engineering Pub Date : 2012-11-06 DOI: 10.1109/WCSE.2012.49
C. Jiang, Lin Cheng, S. Fengchun
{"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}
引用次数: 1
Build Up Secure Internet Identity Management 建立安全的互联网身份管理
2012 Third World Congress on Software Engineering Pub Date : 2012-11-06 DOI: 10.1109/WCSE.2012.25
Qiuyan Lv, Zhang Fan
{"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}
引用次数: 0
Model Checking Based Conformance Testing for Web Applications 基于模型检查的Web应用程序一致性测试
2012 Third World Congress on Software Engineering Pub Date : 2012-11-06 DOI: 10.1109/WCSE.2012.18
Shengbo Chen
{"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}
引用次数: 0
Water Environment Monitoring Information System Based on ASP.NET and ArcGIS Server 基于ASP的水环境监测信息系统。. NET和ArcGIS Server
2012 Third World Congress on Software Engineering Pub Date : 2012-11-06 DOI: 10.1109/WCSE.2012.51
W. Jianhua, Peng Zhenwen
{"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}
引用次数: 1
Software Solution of Delay Differential Equations 延迟微分方程的软件解
2012 Third World Congress on Software Engineering Pub Date : 2012-11-06 DOI: 10.1109/WCSE.2012.47
J. Kr̆íž, V. Novotná, J. Luhan
{"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}
引用次数: 0
Network Model Construction and Cascading Effect Analysis for Software Systems 软件系统网络模型构建与级联效应分析
2012 Third World Congress on Software Engineering Pub Date : 2012-11-06 DOI: 10.1109/WCSE.2012.10
Gang Hou, Xiaolong Wang, Kuanjiu Zhou
{"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}
引用次数: 3
Multi-layer Case-based Reasoning Approach of Complex Product System 复杂产品系统的多层案例推理方法
2012 Third World Congress on Software Engineering Pub Date : 2012-11-06 DOI: 10.1109/WCSE.2012.27
Sihai Guo, W. Zhou, Kaizhi Li
{"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}
引用次数: 2
An Area Based Image Matching Algorithm and Its Implementation 一种基于区域的图像匹配算法及其实现
2012 Third World Congress on Software Engineering Pub Date : 2012-11-06 DOI: 10.1109/WCSE.2012.35
G. Yue, Yu Xu
{"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}
引用次数: 0
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信