从Java卡字节码生成控制流图

2014 Third IEEE International Colloquium in Information Science and Technology (CIST) Pub Date : 2014-10-01 DOI:10.1109/CIST.2014.7016620

A. Amine, M. Benattou, Jean-Louis Lanet

{"title":"从Java卡字节码生成控制流图","authors":"A. Amine, M. Benattou, Jean-Louis Lanet","doi":"10.1109/CIST.2014.7016620","DOIUrl":null,"url":null,"abstract":"The verification process in industrial context of embedded software in smart card is considered difficult, extremely time-consuming, and costly, with very few tools and techniques available to aid in the verification process. The work proposed in this paper consist to define the main architecture of testing java card application and a specific test model which consists of reducing a given java-card application to one method which have one input and one output data which correspond with the real communication between the card and the off-card applications. The paper details the first step of testing constraint specifications which consist of modeling and generating control flow graph in inter and intra procedural level from the byte code of java-card applications.","PeriodicalId":106483,"journal":{"name":"2014 Third IEEE International Colloquium in Information Science and Technology (CIST)","volume":"219 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2014-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"Generating control flow graph from Java card byte code\",\"authors\":\"A. Amine, M. Benattou, Jean-Louis Lanet\",\"doi\":\"10.1109/CIST.2014.7016620\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The verification process in industrial context of embedded software in smart card is considered difficult, extremely time-consuming, and costly, with very few tools and techniques available to aid in the verification process. The work proposed in this paper consist to define the main architecture of testing java card application and a specific test model which consists of reducing a given java-card application to one method which have one input and one output data which correspond with the real communication between the card and the off-card applications. The paper details the first step of testing constraint specifications which consist of modeling and generating control flow graph in inter and intra procedural level from the byte code of java-card applications.\",\"PeriodicalId\":106483,\"journal\":{\"name\":\"2014 Third IEEE International Colloquium in Information Science and Technology (CIST)\",\"volume\":\"219 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2014-10-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2014 Third IEEE International Colloquium in Information Science and Technology (CIST)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CIST.2014.7016620\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2014 Third IEEE International Colloquium in Information Science and Technology (CIST)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CIST.2014.7016620","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 6

摘要

智能卡中嵌入式软件的验证过程在工业环境中被认为是困难的，非常耗时和昂贵的，并且很少有工具和技术可以帮助验证过程。本文提出的工作包括定义测试java卡应用程序的主要体系结构和一个特定的测试模型，该模型包括将给定的java卡应用程序简化为具有一个输入和一个输出数据的方法，该方法与卡与卡外应用程序之间的实际通信相对应。本文详细介绍了测试约束规范的第一步，即从java卡应用程序的字节码中建模和生成程序间和程序内的控制流图。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Generating control flow graph from Java card byte code

The verification process in industrial context of embedded software in smart card is considered difficult, extremely time-consuming, and costly, with very few tools and techniques available to aid in the verification process. The work proposed in this paper consist to define the main architecture of testing java card application and a specific test model which consists of reducing a given java-card application to one method which have one input and one output data which correspond with the real communication between the card and the off-card applications. The paper details the first step of testing constraint specifications which consist of modeling and generating control flow graph in inter and intra procedural level from the byte code of java-card applications.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2014 Third IEEE International Colloquium in Information Science and Technology (CIST)

自引率

0.00%

发文量