检索结果-内蒙古大学图书馆

2011 10th IEEE/ACIS International Conference on computer and Information Science, ICIS 2011

作者： Chen, Ying Tian, Ye Zeng, Hongwei School of Computer Engineering and Science Shanghai University 200072 Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing 201112 Shanghai China

ISBN: (纸本)9780769544014

In this paper, we propose a test generation method that combines compositional reasoning theory and counterexample guided abstraction refinement framework. Firstly, the abstract model of system is produced by composing abstract components, then the abstract test cases can be generated by model checking based on abstract model, finally, the concrete test case of the complete original system is generated by refining the abstract model. The abstraction refinement keeps the state space small enough to alleviate the state space explosion problem. © 2011 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

An application of ontology to test case reuse

An application of ontology to test case reuse

引用

2011 International Conference on Mechatronic Science, Electric Engineering and computer, MEC 2011

作者： Guo, Shaojie Zhang, Juan Tong, Weiqin Liu, Zongheng School of Computer Engineering and Science Shanghai University Shanghai 200072 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 200072 China

ISBN: (纸本)9781612847221

Test case is one of the most important part of software testing. Reusing available test cases is an effective means to reduce the cost and improve the efficiency of software testing. In order to efficiently reuse test cases, a unified and standard format to describe test cases is needed. Therefore, this paper presents a reusing method based on ontology. The test case ontology is created by Prot00E9;Ontology Editor and described by OWL (Web Ontology Language). At last, an example to illustrate the application of this method is to be discussed. © 2011 IEEE.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Axiomatic assessment of FSM-based test adequacy criteria for web application

Axiomatic assessment of FSM-based test adequacy criteria for...

引用

IEEE/International Association for computer and Information Science International Conference on computer and Information Science

作者： Zhou, Xiaokang Miao, Huaikou School of Computer Engineering and Science Shanghai University Shanghai 200072 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China

ISBN: (纸本)9780769541471

Compared with traditional software testing, Web application testing is quite different. It has become increasingly important to choose appropriate criteria during the testing. This paper presents a set of test adequacy criteria for FSM-based Web application, and proposes two new test criteria: complete function interaction coverage criteria and function loop interaction coverage criteria. Besides, an axioms system is proposed to assess the FSM-based Web application test coverage criteria. From this axioms system, some useful conclusions are educed as a guide for software engineers in practical testing application. © 2010 IEEE.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Model-based test generation for software product line

Model-based test generation for software product line

引用

2013 IEEE/ACIS 12th International Conference on computer and Information Science, ICIS 2013

作者： Cai, Xinying Zeng, Hongwei School of Computer Engineering and Science Shanghai University Shanghai 200072 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China

ISBN: (纸本)9781479901746

Taking advantage of the reusability of domain engineering artifacts and variability description, SPLE reduces greatly development costs and time-to-market. This paper presents a model-based approach to test generation for SPLs. Reusable domain test scenarios are generated from activity diagrams extended with variation points, and then test scenarios for a specific application are derived by specifying and banding variants according to variation points. © 2013 IEEE.

关键词： Reusability

来源：评论

学校读者我要写书评

暂无评论

Template-based Formalization of Feature Models for Product Family 13

Template-based Formalization of Feature Models for Product F...

引用

13th IEEE International Conference on software Engineering and Service Science, ICSESS 2022

作者： Liu, Hongbo Wang, Xi Wang, Weiwei Shanghai University School of Computer Engineering and Science Shanghai China Shanghai University Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai200444 China

ISBN: (数字)9781665410328

ISBN: (纸本)9781665410311

The feature model considers several products as a collection of features and describes the commonality and variability of the family in terms of feature relationships. Traditional informal feature models lacked the support of tools to automate the process of feature modeling, so formal methods were introduced implement automated support for feature modeling tools. For large software, writing formal specifications for feature models directly is quite difficult and requires technical background and experience. In this paper, we propose a formal template-based approach to constructing feature models and their formal descriptions, each template is used to formalize a class of PFA expressions. We give a structural definition of the templates and for constructing feature models from templates and generating formal descriptions of the corresponding features. We give a case study to illustrate the effectiveness of our method. © 2022 IEEE.

关键词： Writing Reliability engineering software software reliability Formal specifications testing software engineering

来源：评论

学校读者我要写书评

暂无评论

SP-E: Security evaluation Framework of In-vehicle Infotainment System based on Threat Analyses and Penetration Tests 2

SP-E: Security Evaluation Framework of In-vehicle Infotainme...

引用

2022 2nd International Conference on Communication Technology and Information Technology, ICCTIT 2022

作者： Li, Shuang Zhang, Xin Zhou, Yue Zhang, Meng School of Computer Science Fudan University 200433 China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Development Center of Computer Software Technology 201112 China

With the increasing requirement of people, the functions of in-vehicle infotainment systems are becoming more and more abundant, and their security also affects the safety of vehicles. Therefore, it is more and more important to evaluate the security of the IVI system. This paper proposes a security evaluation framework for in-vehicle infotainment systems based on threat analyses and penetration tests. By constructing the data flow diagram of application scenarios, analyzing threats, combing the attack link diagram, combining white-box audit and black-box test, we use the characteristics of high efficiency of automatic tools and high accuracy of manual methods to set factor sets, and then the whole IVI system is evaluated by Analytic Hierarchy Process and Fuzzy Comprehensive evaluation. © Published under licence by IOP Publishing Ltd.

关键词： Data flow analysis

来源：评论

学校读者我要写书评

暂无评论

Reusing Test Cases Based on the Function Point

引用

Journal of Donghua University(English Edition) 2014年第4期31卷 441-446页

作者：张娟童维勤蔡立志黄文彬 HWANG Jenq-Neng School of Electronic and Electrical Engineering Shanghai University of Engineering Science Shanghai Key Laboratory of Computer Software Evaluating & Testing School of Computer Engineering and Science Shanghai University School of Communication and Information Engineering Shanghai University Department of Electrical Engineering University of Washington

Reusing test cases from existing test case library is quite common in the software testing field. testing practice tells us that there is a strong relationship between the granularity of a function unit under testing and that of the test case. A function unit with small granularity usually results in the test cases with the same small granularity. Therefore a test case defined as the function point,i. e.,the smallest size function unit,was provided for the first *** test cases with smaller granularity usually have better reusability,the cost of accurately reusing and integrating such test cases is also higher. In order to balance the test case reusability and the cost of test case reuse,a novel test case reuse model based on the function point was proposed in this paper. In this model,a reusable test case for specification-based testing was defined and some reuse strategies and three formal reuse methods were given. Finally,the complete automatic software process was realized by a reusing generation tool. The new method has improved reuse accuracy,while greatly enhances the software productivity.

关键词： function point function unit test case test case suite reuse RG tool Z specification language

来源：评论

学校读者我要写书评

暂无评论

Towards practical modeling of web applications and generating tests

Towards practical modeling of web applications and generatin...

引用

2010 4th International Symposium on Theoretical Aspects of software Engineering, TASE 2010

作者： Chen, Shengbo Miao, Huaikou Song, Bo Chen, Yihai School of Computer Engineering and Science Shanghai University 200072 Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing 201112 Shanghai China State Key Laboratory of Software Engineering Wuhan University 430072 Wuhan China

ISBN: (纸本)9780769541488

As Web applications evolve, their structures become more and more complex. Web browsers may influence on the correctness of the Web applications, and Web browser's interactions can cause further complications of Web application. Existing navigation models are static ones on the whole. Users' navigation paths are all determined on stage of model design. Web browser interactions have not been taken into account make them different from practical navigation in Web applications. Moreover, as Web applications evolve and new technologies emerge, adaptive navigation was wildly incorporated in current Web applications. It aggravates the complexity of Web navigations. In this paper, a practical approach to modeling of Web applications and generating tests was proposed. And special care is taken on Web browser's interactions and adaptive navigation during the user's traversal within hypermedia space. At last, test generation is given out which satisfy the corresponding coverage. © 2010 IEEE.

关键词： Web browsers

来源：评论

学校读者我要写书评

暂无评论

Desensitization Method of Image Data in the Internet of Vehicles Based on Instance Segmentation 2

Desensitization Method of Image Data in the Internet of Vehi...

引用

2nd International Conference on Algorithms, Microchips, and Network Applications, AMNA 2023

作者： Li, Shuang Zhou, Yue Zhang, Xin Zhang, Meng School of Computer Science Fudan University 200433 China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Development Center of Computer Software Technology 201112 China

ISBN: (纸本)9781510664791

With the continuous development of intelligent connected vehicle industry, cameras and other vehicle-mounted devices are widely used, so the amount of data collection is increasing. There is a large amount of sensitive information hidden in the image data generated by connected vehicles. Once the data leakage event occurs, it may cause very serious consequences. In order to improve the security of connected vehicle data and reduce the threat of sensitive information leakage in image data, this paper provides a desensitization process of connected vehicle image data, and desensitizes sensitive information based on instance segmentation technology. In this paper, a real road image dataset is collected, and realizes desensitization of the modified dataset based on proposed framework. © 2023 SPIE.

关键词： Vehicles

来源：评论

学校读者我要写书评

暂无评论

Based on the analysis of mobile terminal application software performance test 18

Based on the analysis of mobile terminal application softwar...

引用

18th IEEE/ACIS International Conference on software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2017

作者： Chunye, Du Wei, Song Jianhua, Wu Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Development Center of Computer Software Technology Shanghai China Shanghai Ruanzhong Information Technology Co. Ltd. Shanghai China

ISBN: (纸本)9781509055043

With the rapid development of mobile terminal, mobile applications are gradually penetrated into all aspects of people's life and work. Mobile games, mobile streaming media, location services, mobile Internet news, instant messaging, mobile music and other rich and colorful information era are changing the social life. In view of this, we propose the application software performance test based on the mobile terminal, and analyze the performance test technology and method of the mobile application. Experimental results show that the performance test of the application system can predict the pressure in real environment, the system will be applied in the problems exposed, through the analysis of the data of the test, it will provide help for performance optimization of application system. © 2017 IEEE.

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：