A Model Based Testing Approach for Java Bytecode Programs

Safaa Achour; Mohammed Benattou

首页> 外文期刊>Journal of Computers >A Model Based Testing Approach for Java Bytecode Programs

【24h】

A Model Based Testing Approach for Java Bytecode Programs

机译：

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

In this paper, we propose an approach to detect non-conformance between a given Java Bytecode program and its specification in the context of unit testing. The main goal of the proposed work is to use the specification pre-state, i.e. the invariant and the precondition, to guide the generation of the test data and the post-state, i.e. invariant and post-condition, as test oracle. In other hand, the code structure makes it possible to know the execution paths of testing method that not be conform to its specification. However, the specification and the System Under Test are not at the same level of abstraction. In the sense, we propose to express the specification at the Bytecode level using static Bytecode instrumentation.

著录项

来源
《Journal of Computers》 |2018年第9期|1098-1114|共17页
作者
Safaa Achour; Mohammed Benattou;
展开▼
作者单位

LASTID Laboratory, Ibn Tofail University, Kenitra, Morocco;

展开▼
收录信息
原文格式 PDF
正文语种英语
中图分类计量学;
关键词
Java Bytecode; model-based testing; static Bytecode instrumentation; constraint model;

相似文献

外文文献
中文文献
专利

1. A Mathematical Model of Parallel Programs and an Approach to Verification of MPI Programs Based on the Proposed Model [J] . Mironov A. M. Automatic Control and Computer Sciences . 2022,第7期

机译：A Mathematical Model of Parallel Programs and an Approach to Verification of MPI Programs Based on the Proposed Model
2. An Informative Test Code Approach for Code Writing Problem in Java Programming Learning Assistant System [J] . Khin KHIN ZAW, Nobuo FUNABIKI 電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science . 2017,第248期

机译：An Informative Test Code Approach for Code Writing Problem in Java Programming Learning Assistant System
3. An Informative Test Code Approach for Code Writing Problem in Java Programming Learning Assistant System [J] . Khin KHIN ZAW, Nobuo FUNABIKI 電子情報通信学会技術研究報告. ディペンダブルコンピュ-ティング. Dependable Computing . 2017,第249期

机译：An Informative Test Code Approach for Code Writing Problem in Java Programming Learning Assistant System
4. Model of Learning Management System Based on Artificial Intelligence in Team-Based Learning Framework [C] . Bens Pardamean, Teddy Suparyanto, Tjeng Wawan Cenggoro, International Conference on Information Management and Technology . 2021

机译：Model of Learning Management System Based on Artificial Intelligence in Team-Based Learning Framework
5. Um olhar sobre o Programa de Saúde da Família: a perspectiva ecológica na psicologia do desenvolvimento segundo Bronfenbrenner e o modelo da vigilância da saúde The Family Health Program: an echological approach in the developmental psychology and a health care model [O] . Anamélia Lins e Silva Franco, Ana Cecília de Sousa Bastos 2002

机译：Um olhar sobre o programadesaúdedaFamília：aperspectivaecológicapipsologologia do desenvolvimento segundo Bronfenbrenner e o modelodapeitilânciadaaúúTheFamily Health program：echological approach in the developmental psychology and a health care model
6. Instrumentation of Java Bytecode for Runtime Analysis [R] . Goldberg, Allen, Haveland, Klaus 2003

机译：Java Bytecode用于运行时分析的工具

A Model Based Testing Approach for Java Bytecode Programs

摘要

著录项

相似文献

相关主题

期刊订阅