Malware Behavior Analysis Technique Based on Approach to Sensitive Behavior Functions

2012 ◽  
Vol 263-266 ◽  
pp. 3034-3040
Author(s):  
Yan Feng Qin ◽  
Qing Xian Wang ◽  
Yong Jun Zeng ◽  
Qi Xi
Keyword(s):  
Behavior Analysis ◽  
Test Data ◽  
Symbolic Execution ◽  
Behavior Detection ◽  
Analysis Technique ◽  
Path Search ◽  
Function Identification ◽  
Behavior Function ◽  
Generate Test Data ◽  
Sensitive Behavior

Currently, the malware behavior analysis technique spends a lot of time to generate test data. To improve it, this paper proposes a method of malware behavior analysis based on approach to sensitive behavior function. And the techniques of sensitive behavior function identification, sensitive path search and approaching sensitive behavior function are discussed in this paper. This method detects and analyzes the malware behavior by combining the concrete execution and symbolic execution together. It shows that this method can improve the efficiency of malware behavior detection by comparing it with fuzz and full path traversing technique.

scholarly journals Covering User-Defined Data-flow Test Requirements Using Symbolic Execution

2014 ◽  
Author(s):  
Marcelo Medeiros Eler ◽  
André Takeshi Endo ◽  
Vinícius Durelli
Keyword(s):  
Test Data ◽  
Data Flow ◽  
Symbolic Execution ◽  
Control Flow ◽  
Preliminary Evaluation ◽  
Data Generation ◽  
Specific Test ◽  
Java Programs ◽  
Generate Test Data ◽  
Test Requirements

Symbolic execution has been used in software testing as a effective technique to automatically generate test data. Most of approaches are based only on control-flow criteria and generate input data only for a whole program or function. However, testers may want to generate test data for covering data-flow criteria and also for satisfying specific test requirements. This paper presents an approach for generating test data to cover only test requirements selected by users, considering both control- and data-flow criteria. A prototype was implemented to support test data generation for Java programs and to perform a preliminary evaluation of the approach. The results, although in a limited context, are encouraging and motivate future experiments.

MENINGKATKAN KETERAMPILAN MENULIS PUISI MELALUI MEDIA TULISAN BERGAMBAR (MEME) DI INSTAGRAM PADA PESERTA DIDIK KELAS VIII G SMPN 24 SURABAYA

Buana Bastra ◽  
2020 ◽  
Vol 7 (2) ◽  
pp. 26-31
Author(s):  
Prily Yulia Utomo Putri ◽  
Tri Indrayanti
Keyword(s):  
Data Analysis ◽  
Data Collection ◽  
Test Data ◽  
Writing Skills ◽  
Test Results ◽  
Population Activity ◽  
Data Analysis Technique ◽  
Analysis Technique ◽  
Class Viii

This research is a research follow class by using the secound cycle that there is the first cycle and cycle II. On the cycle I and cycle II each cycle there four stage of the (1) planning, (2) implementation of action, (3) observations, and (4) reflection. Each cycle has two meetings in one week, namely the first meeting and the second meeting with the allocation 2 x 40 minutes of each meeting. Subject in research is learners class VIII G SMPN 24 Surabaya totaling 37 learners contained 16 learners men and 21 learners woman. This school is located in Jl. Kebraon Indah Permai Blok K/23 A Surabaya. Data collection techniques to use the observation and test, data analysis technique using the percentage of. Based on the results of data analysis, it can be concluded that using pictorial writing media on the meme on Instagram can improve the writing skills of class students VIII G SMPN 24 Surabaya. This can be seen from (1) population activity in the cycle I 84,61% on the cycle II 100%, (2) activity learners in cycle I 83,44% on the cycle II 90,20%, (3) the test results writing skills poerty in cycle I 56,73% one the cycle of II increased 83,70%.

scholarly journals PENINGKATAN KEMAMPUAN MENULIS TEKS PIDATO MENGGUNAKAN MODEL PEMBELAJARAN KUMON SISWA KELAS X MA AL-MUHAJIRIN TUGUMULYO

2019 ◽  
Vol 7 (2) ◽  
pp. 122
Author(s):  
DIAN RAMADAN LAZUARDI
Keyword(s):  
Data Analysis ◽  
Action Research ◽  
Data Collection ◽  
Test Data ◽  
Research Approach ◽  
Text Learning ◽  
Average Value ◽  
Action Research Approach ◽  
Analysis Technique ◽  
Classroom Action Research

AbstrakPenelitian ini bertujuan untuk meningkatkan kemampuan menulis teks pidato siswa kelas X MA Al-Muhajirin Tugumulyo menggunakan model pembelajaran kumon yang berjumlah 32 orang siswa. Penelitian ini menggunakan pendekatan penelitian tindakan kelas (classroom action research). Teknik pengumpulan data dalam penelitian ini�menggunakan teknik tes. Hasil data tes dianalisis dengan melihat nilai rata-rata peningkatan pada pratindakan, siklus I, dan siklus II. Teknik analisis data dilakukan dengan cara menjumlahkan skor dari indikator penilaian yang diperoleh siswa. Pada kegiatan pratindakan nilai rata-rata siswa sebesar 71,71% dengan ketuntasan sebesar 34,38% dengan jumlah siswa tuntas sebanyak 11 orang dan yang tidak tuntas sebanyak 21 orang. Tindakan siklus I, nilai rata-rata siswa 75,53 dan ketuntasan hanya mencapai 71,88% dengan jumlah siswa tuntas sebanyak 23 orang dan tidak tuntas sebanyak 9orang. Sedangkan pada siklus II nilai rata-rata mencapai 80,93 dengan jumlah siswa tuntas sebanyak 30 orang dan tidak tuntas 2 orang, berarti dari siklus I sampai siklus II meningkat sebesar 21,87%.. Simpulan, melalui model pembelajaran kumon kemampuan menulis teks pidato meningkat.Kata Kunci: Teks pidato, pembelajaran, kumon.AbstractThis study aims to improve the ability to write speech texts in class X MA Al-Muhajirin Tugumulyo using a kumon learning model of 32 students. This research uses a classroom action research approach. Data collection techniques in this study used test techniques. The results of the test data were analyzed by looking at the average value of the increase in pre-action, cycle I, and cycle II. Data analysis technique is done by adding up scores from assessment indicators obtained by students. In the pre-action activities the average value of students was 71.71% with completeness of 34.38% with the number of students as many as 11 people and as many as 21 people who did not complete. The first cycle of action, the average value of students 75.53 and completeness only reached 71.88% with the total number of students as many as 23 people and not as many as 9 people. While in cycle II the average value reached 80.93 with 30 students completing as many students and not completing 2 people, meaning that from cycle I to cycle II increased by 21.87%. increased.Keywords: Speech text, learning, kumon.

Cost and Effectiveness of Search-Based Techniques for Model-Based Testing: An Empirical Analysis

2017 ◽  
Vol 27 (04) ◽  
pp. 601-622 ◽  
Author(s):  
Aneesa Saeed ◽  
Siti Hafizah Ab Hamid ◽  
Asmiza Abdul Sani
Keyword(s):  
Test Data ◽  
Random Search ◽  
Test Cases ◽  
Optimal Test ◽  
Model Driven ◽  
Model Based ◽  
Model Based Testing ◽  
Generate Test Data ◽  
The Cost ◽  
Model Driven Approach

Model-based testing (MBT) seems to be gaining interest in industry and academia due to its provision of systematic, automated and comprehensive testing. The challenge in MBT is to generate optimal test data to execute test cases. Recently, researchers have successfully applied search-based techniques (SBTs) by automating the search for an optimal set of test data at reasonable cost compared to other more expensive techniques. In real complex systems, effectiveness and cost of SBTs for MBT in industrial context are little known. The objective of this study is to empirically evaluate the cost and the effectiveness of SBTs for MBT on industrial case studies. We applied a model-driven approach and SBTs to automatically generate executable feasible test cases. The results show that the model-driven approach generated high number of infeasible test cases with less time while genetic algorithm (GA) and simulating annealing (SA) outperformed significantly random search (RS) with high generation time. We concluded that local SBTs are more appropriate to generate test data when the type of the constraints is simple. Current work on analyzing the cost and effectiveness on SBTs for MBT indicates possible enhancement using the model-driven approach to detect the infeasible paths and SBTs to achieve optimal success rate.

scholarly journals Prediction of the Ultimate Strength of Notched and Unnotched IM7/977-3 Laminated Composites Using a Micromechanics Approach

Polymers ◽  
2021 ◽  
Vol 13 (20) ◽  
pp. 3491
Author(s):  
Manzar Masud ◽  
Moosa S. M. Al Kharusi ◽  
Muhammad Umair Ali ◽  
Aamir Mubashar ◽  
Shaik Javeed Hussain ◽  
...  
Keyword(s):  
Ultimate Strength ◽  
Test Data ◽  
Experimental Test ◽  
Laminated Composites ◽  
Compressive Load ◽  
Failure Criteria ◽  
Analysis Technique ◽  
Proposed Model ◽  
Tension And Compression ◽  
Failure Loads

This paper proposes a multi-scale analysis technique based on the micromechanics of failure (MMF) to predict and investigate the damage progression and ultimate strength at failure of laminated composites. A lamina’s representative volume element (RVE) is developed to predict and calculate constituent stresses. Damages that occurred in the constituents are calculated using separate failure criteria for both fiber and matrix. Subsequently, the volume-based damage homogenization technique is utilized to prevent the localization of damage throughout the total matrix zone. The proposed multiscale analysis procedure is then used to investigate the notched and unnotched behavior of three multi-directional composite layups, [30, 60, 90, −60, 30]2s, [0, 45, 90, −45]2s, and [60, 0, −60]3s, subjected to static tension and compression loading. The specimen is fabricated from unidirectionally reinforced composite (IM7/977-3). The prediction of ultimate strength at failure and equivalent stiffness are then benchmarked against the experimental test data. The comparative analysis with various failure models is also carried out to validate the proposed model. MMF demonstrated the capability to correctly predict the ultimate strength at failure for a range of multidirectional composites laminates under tensile and compressive load. The numerically predicted findings revealed a good agreement with the experimental test data. Out of the three investigated composite layups, the simulated results for the quasi-isotropic [0, 45, 90, −45]2S layup agreed extremely well with the experimental results with all the percentage errors within 10% of the measured failure loads.

Sign in / Sign up

Export Citation Format

Share Document