检索结果-南通市图书馆

Comparing logic coverage criteria on test case prioritization

在线全文

学校读者我要写书评

暂无评论

Science china(Information Sciences) 2012年第12期55卷 2826-2840页

作者： FANG Chunrong 1,2,CHEN ZhenYu 1,2 & XU BaoWen 1 1 state key laboratory for novel software technology,nanjing university,nanjing 2.0093,china 2 software Institute,nanjing university,nanjing 2.0093,china state key laboratory for novel software technology Nanjing University Nanjing China software Institute Nanjing University Nanjing China

Logic coverage criteria have been widely used in the testing of safety-critical *** the past few years,fault-based logic coverage criteria have been studied intensively both in theory and in ***,there is a lack of authentic evidence of the comparison of fault-based logic coverage criteria with other logic coverage criteria,such as branch coverage and modified condition/decision coverage(MC/DC).In this paper,we present a comprehensive empirical study that compares these logic coverage criteria on test case prioritization,which is currently a hot topic in software *** useful conclusions are drawn from our research:(1) Fine-grained coverage criteria are always more effective and efficient.(2) The effectiveness of fault-based logic coverage criteria is not significantly different from that of MC/DC in terms of statistics,but the former is more stable.(3) A random strategy is more effective than branch coverage if a certain number of test cases are redundant.

关键词： fault detection capability logic coverage fault-based testing test case prioritization

Exploiting remote learners in Internet environment with agents

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Information Sciences) 2010年第1期53卷 64-76页

作者： LI Ming, WANG Wei & ZHOU ZhiHua National key laboratory for novel software technology, nanjing university, nanjing 2.0093, china National key laboratory for novel software technology Nanjing University

Data in the Internet are scattered on different sites indeliberately, and accumulated and updated frequently but not synchronously. It is infeasible to collect all the data together to train a global learner for prediction; even exchanging learners trained on different sites is costly. In this paper, aggregative-learning is proposed. In this paradigm, every site maintains a local learner trained from its own data. Upon receiving a request for prediction, an aggregative-learner at a local site activates and sends out many mobile agents taking the request to potential remote learners. The prediction of the aggregative-learner is made by combining the local prediction and the responses brought back by the agents. Theoretical analysis and simulation experiments show the superiority of the proposed method.

关键词： machine learning data mining aggregative-learning mobile agent Internet environment

Loop reduction techniques for reachability analysis of linear hybrid automata

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Information Sciences) 2012年第12期55卷 2663-2674页

作者： pAN MinXue,LI You,BU Lei & LI XuanDong state key laboratory for novel software technology,Department of Computer Science and technology,nanjing university,nanjing 2.0093,china state key laboratory for novel software technology Department of Computer Science and Technology Nanjing University Nanjing China

The problem of reachability analysis of linear hybrid automata(LHA) is very *** paper considers to improve the efficiency of the reachability analysis by optimizing the structures of *** identify two types of loops called the flexible loops and the zero loops,and present the techniques to replace the repetitions of those loops in the behavior of LHA with finite sequences of locations and in the meantime simplify the associated *** techniques work not only for the polyhedral computing based algorithms but also for the bounded model checkers.

关键词： real-time and hybrid systems linear hybrid automata reachability analysis

Study of the Security in Network Management Based on Mobile Agents

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

The Journal of china Universities of posts and Telecommunications 2004年第4期11卷 37-42页

作者： CHEN Zhi~1 WANG ru-chuan~(1,2)1.Department of Computer Science and technology,nanjing university of posts and Telecommunications,nanjing 210003,p.r.china 2.state key laboratory for novel software technology,nanjing university,nanjing 2.0093,p.r.china Department of Computer Science and technology Nanjing University of Posts ard Telecommunications Nanjing 210003

Security of mobile-agent based network management must be considered due to the widespread adoption of mo-bile agents in network management,which involves the protections of mobile agents,management station and managed *** integrated security model proposed in our paper incorporates the effective security countermeasures of these entitiesinto a trusted execution environment and two security protection *** based on Java virtual machine and Javacard independent on the network devices also with the cryptography technology in this model together protect the networkmanagement process.

关键词： network management mobile agent security Java card cryptography

Technical framework for Internetware: An architecture centric approach

在线全文

学校读者我要写书评

暂无评论

Science in china(Series F) 2008年第6期51卷 610-622页

作者： YANG FuQing1,2, Lü Jian3,4 & MEI Hong1,2 1 key laboratory of High Confidence software Technologies (peking university), Ministry of Education, Beijing 100871, china 2 School of Electronics Engineering and Computer Science, peking university, Beijing 100871, china 3 state key laboratory for novel software technology, nanjing 2.0093, china 4 Department of Computer Science and technology, nanjing university, nanjing 2.0093, china key laboratory of High Confidence software Technologies (peking university) Ministry of Education School of Electronics Engineering and Computer Science Peking University state key laboratory for novel software technology Department of Computer Scien

Being a new software paradigm evolved by the Internet, Internetware brings many challenges to the traditional software methods and techniques. Sponsored by the national basic research program （973）, researchers in china have developed an architecture centric technical framework for the definition, incarnation and engineering of Internetware. First of all, a software model for Internetware is defined for what to be, including that Internetware entities should be packaged as components, behaving as agents, interoperating as services, collaborating in a structured and on demand manner, etc. Secondly, a middleware for Internetware is designed and implemented for how to be, including that Internetware entities are incarnated by runtime containers, structured collaborations are enabled by runtime software architecture, Internetware can be managed in a reflective and autonomic manner, etc. Thirdly, an engineering methodology for Internetware is proposed for how to do, including the way to develop Internetware entities and their collaborations by transforming and refining a set of software architectures which cover all the phases of software lifecycle, the way to identify and organize the disordered software assets by domain modeling, etc.

关键词： Internetware component software architecture agent middleware

pivotal technology research of Grid Based on Mobile Agent

在线全文

学校读者我要写书评

暂无评论

The Journal of china Universities of posts and Telecommunications 2004年第4期11卷 60-64页

作者： CHEN Hong-wei~1 WANG ru-chuan~(1,2)1.Department of Computer Science and technology,nanjing university of posts and Telecommunications,nanjing 210003,p.r.china 2.state key laboratory for novel software technology,nanjing university,nanjing 2.0093,p.r.china Department of Computer Science and technology Nanjing University of Posts and Telecommunications Nanjing 210003

Grid Based on Mobile Agent is a new grid *** purpose of the paper is to solve the pivotal technology ofGrid Based on Mobile Agent(GBMA)combined with thought of Virtual Organization(VO).In GBMA,virtual orga-nization is viewed as the basic management unit of the grid,and mobile agent is regarded as an important *** architecture,grid resource management and grid task management are the core technology problem of *** simulation results showy that Inter-VO pattern has the obvious advantage because it can make full use of resourcesfrom other virtual organizations in GBMA environment.

关键词： grid mobile agent virtual organization pivotal technology

research on Applications of Cryptography for Multi-Mobile Agent System

在线全文

学校读者我要写书评

暂无评论

The Journal of china Universities of posts and Telecommunications 2004年第4期11卷 29-32页

作者： HUANG Hai-ping~1 WANG ru-chuan~(1,2) XU Xiao-long~11.Department.of Computer Science and technology,nanjing university of posts and Telecommunications,nanjing 210003,p.r.china 2.state key laboratory for novel software technology,nanjing university,nanjing 2.0093,p.r.china Department. of Computer Science and technology Nanjing University of Posts and Telecommunications Nanjing 210003

With the development of information network and agent technology,Multi-Mobile Agents'Cooperation can notonly improve the computing efficiency,but also have a comprehensive applicative value in solving the security issues of mo-bile agent *** at the security and flexibility,this paper proposes a kind of basic architecture and the designpattern of Multi-Mobile Agent System(MMAS).Combined with cryptography,it builds the security mechanism on keys'distribution and management and Coalition Signature of *** the analysis of security and validity,the in-troduction and application of cryptography can improve the performance of MMAS.

关键词： Multi-Mobile Agents System (MMAS) cryptography keys' distribution coalition signature

Contourlet HMT model with directional feature

在线全文

学校读者我要写书评

暂无评论

Science china(Information Sciences) 2012年第7期55卷 1563-1578页

作者： WANG XiangHai 1,2,3 ,CHEN MingYing 1 ,SONG ChuanMing 1,2 ,XU MengChun 1 & FANG LingLing 3 1 College of Computer and Information technology,Liaoning Normal university,Dalian 116029,china 2.state key laboratory for novel software technology,nanjing university,nanjing 2.0093,china 3 provincial key laboratory for Computer Information processing technology,Soochow university,Suzhou 215006,china College of Computer and Information technology Liaoning Normal University Dalian China state key laboratory for novel software technology Nanjing University Nanjing China provincial key laboratory for Computer Information processing technology Soochow University Suzhou China

According to Shanno's information theory,the directional feature of texture is defined as the value of directional variable when an image signal attains a singularity of random *** terms of this definition,we calculate the texture's directional features using Tamura's method and study the directional probability distribution of Contourlet *** we find that the directional features tend to be conveyed across parent and child *** on this conclusion,we establish a novel probability distribution model of hidden direction variables under the condition of hidden state variable's distribution,named Contourlet HMT model with directional *** structure and training method of the model are presented as ***,an unsupervised context-based image segmentation algorithm is proposed on the basis of the proposed *** effectiveness is verified via extensive experiments carried out on several synthesized images and remote sensing images.

关键词： directional feature Contourlet HMT Contourlet HMT with directional feature unsupervised texture segmentation

Sensitive biosensing strategy based on functional nanomaterials

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china Chemistry 2011年第8期54卷 1202-1217页

作者： JU HuangXian state key laboratory of Analytical Chemistry for Life Science Department of Chemistry, nanjing university, nanjing 2.0093, china state key laboratory of Analytical Chemistry for Life Science Department of Chemistry Nanjing University Nanjing China

The first decade of the 21st century has been labeled as "the sensing decade". The functional nanomaterials offer excellent platforms for fabrication of sensitive biosensing devices, including optical and electronic biosensors. A lot of works have fo- cused on the biofunctionalization of different nanomaterials, such as metal nanoparticles, semiconductor nanoparticles and carbon nanostructures, by physical adsorption, electrostatic binding, specific recognition or covalent coupling. These biofunc- tionalized nanomaterials can be used as catalysts, electronic conductors, optical emitters, carriers or tracers to obtain the ampli- fied detection signal and the stabilized recognition probes or biosensing interface. The designed signal amplification strategies have greatly promoted the development of stable, specific, selective and sensitive biosensors in different fields. This review in- troduces some novel principles and detection strategies in the area of biosensing, based on functional nanomaterials. The gen- eral methods for biofunctionalization of nanomaterials with biomolecules and their biosensing application in immunoassay of protein, DNA detection, carbohydrate analysis and cytosensing are also described.

关键词： nanobiosensing biosensors nanomaterials biofunctionalization signal amplification bioanalysis biological recognition