A model based program comparison test method

Author(s):  
Shan-ling Li ◽  
Zhan-wei Hui
2019 ◽  
Vol 20 (2) ◽  
pp. 227-266
Author(s):  
Rohmat Rohmat

Securing religious and multicultural character values ​​is very important to be instilled as early as possible through education. This is due to education not only providing increased intellectual ability, but also is responsible for integrating character values ​​in students. At least there are some aspects that need to be developed in the education phase of school children including intellectual aspects, emotional aspects, social aspects, physical aspects, aspects of movement, aesthetic aspects, and moral aspects. Based on this opinion it can be seen that the cultivation of religious and multicultural character values ​​in madrasa ibtidaiyah level students needs to be done in order to realize a future generation of adults and character. On the other hand, the cultivation of multicultural values ​​is also an urgent matter to do.This study aims to find a character education management model based on the integration of religious and multicultural values ​​in MI Banyumas Regency. The research method with research and development methods. The results of the study of the character education management model based on the integration of religious and multicultural values ​​that were developed effectively for use in character education in Madrasah Ibtidaiyah. The results of the t test through the paired t test method showed that there were significant differences between the character values ​​before and after the implementation of character education in Madrasah Ibtidaiyah. These results reinforce that character education is effectively used in Madrasah Ibtidaiyah.


2018 ◽  
Vol 2 (3) ◽  
pp. 275
Author(s):  
Ni ketut Feby puspita ◽  
I wayan Darsana ◽  
I b g s Abadi

This study aimed to know about the affect of reciprocal teaching model based on performance assessment againts the competence science knowledge of fourth grade students of elementary school Gugus I Gianyar district in 2017/2018. This research type is quasi experiment research with nonequivalent control group design. The population of this study is all students of class IV elementary school Gugus I Gianyar district which 440 students. Sample were taken by random sampling technique, so that the IVA class in elementary school 7 Gianyar as the experimental group and the IVB class in elementary school 6 Gianyar as the control group with the total students in each group of 30 students. The data collection was done by the test method, the type of test was the usual multiple-choice objective test. The data obtained were analyzed using t-test analysis of separated variance. The result of data analysis is tcount = 7.067> ttable = 2,000 at 5% significance and dk = 58, then H0 is rejected and Ha accepted. The average value of science knowledge competence of the experimental group X ̅ = 0,46 , while average science knowledge competence of control group X ̅ = 0,26. Based on the results of this research, it can be concluded that the Reciprocal Teaching learning model based on performance assesment affect the knowledge competence of science students fourth grade students of elementary school Gugus I Gianyar districts year 2017/2018


Author(s):  
Justyna Zander ◽  
Ina Schieferdecker

The purpose of this chapter is to introduce the test methods applied for embedded systems addressing selected problems in the automotive domain. Model-based test approaches are reviewed and categorized. Weak points are identified and a novel test method is proposed. It is called model-in-the-loop for embedded system test (MiLEST) and is realized in MATLAB®/Simulink®/Stateflow® environment. Its main contribution refers to functional black-box testing based on the system and test models. It is contrasted with the test methods currently applied in the industry that form dedicated solutions, usually specialized in a concrete testing context. The developed signal-feature-oriented paradigm developed herewith allows the abstract description of signals and their properties. It addresses the problem of missing reference signal flows and allows for a systematic and automatic test data selection. Processing of both discrete and continuous signals is possible, so that the hybrid behavior of embedded systems can be handled.


2015 ◽  
Vol 713-715 ◽  
pp. 466-470
Author(s):  
Guo Li Deng ◽  
Tao He ◽  
Yong Wei ◽  
Hua Zhong Li ◽  
Shou Xiang Xu ◽  
...  

This paper puts forwards the problems during the process of conformance test based on the enhanced finite state machine and looks for the description method of the state machine for protocol. Through the analysis of model based on test principle, the protocol conformance testing will be applied based on the enhanced finite state machine test. Through comparing with the traditional test method, study how to design model for protocol, and through executing model produced test, verify the advantage and applicability of model based testing method by testing cases.


2017 ◽  
Vol 17 (3) ◽  
pp. 1-10 ◽  
Author(s):  
Kyungsuk Cho ◽  
◽  
Seungun Chae ◽  
Jihun Choi ◽  
Heungyoul Kim ◽  
...  

Author(s):  
KAZUHIRO ESAKI ◽  
MUNEO TAKAHASHI

There are two types of models for predicting software reliability at the end of testing. One is the software reliability growth model (dynamic model) based on a given set of time series data. The other is the software complexity model (static model) based on the development environmental factors which have an influence on the software reliability. As the dynamic model depends on the time factor and the test method used, its prediction accuracy does not necessarily correspond to the data of practical projects. On the other hand, the static model needs the many significant parameters to accurately predict the software reliability. However, it is very difficult to select the main factors that determine the significant parameters out of a great number of factors which affect software reliability. In order to resolve these problems, this paper proposes a model to predict the number of embedded errors in a program at the end of testing phase. This model is based on the testing characteristics such as error detection rate and test case density. The result of an experiment shows that the proposed model is more reliable than the conventional models.


2019 ◽  
Vol 3 (2) ◽  
pp. 135
Author(s):  
Luh Sri Widiasih ◽  
I Made Suarjana ◽  
Ndara Tanggu Renda

This study aims to determine the difference of the students’ mathematics achievementbetween the students who are taught with student facilitator and explaining (SFAE) learning model based on Tri Kaya Parisudhaand those are taught with conventional learning in third-grade students of Gugus IV Gerokgak, Bulelengregency in academic year 2017/2018. The design of this study was quasi experimentalwith posttest only control group design. The population of this study was all the third-grade students of Gugus IV, Gerokgak which were 186 students. The sample of this study was the third-grade students of SD Negeri 2 Gerokgak with 34 students as experimental group and the third-grade students of SD Negeri 3 Gerokgak with 40 students as control group. Data collection was obtained by using objective test method. The data were analyzed by using T-test. The result of this study wasthitung = 7,38 with the significant level 55 and dk = 72 with ttabel= 1.99 so thitung = 7,38>ttabel = 1,99. Based on the test criteria, then H0 was rejected and Ha was accepted. The average score of mathematics learning achievement in the experimental group was 14.71, while the average score for the control group was 11.2. Based on the results above, it can be concluded that there was a significant effect toward the students’ mathematics achievementbetween the students who are taught with Student Facilitator and Explaining (SFAE) learning model based on Tri Kaya Parisudha and those are taught with conventional learning in third grade students of Gugus IV Gerokgak, Bulelengregency in academic year 2017/2018.


2019 ◽  
Vol 3 (2) ◽  
pp. 167
Author(s):  
Gd. Roni Cahyana ◽  
Dewa Nyoman Sudana

This study aimed at investigating whether or not there was a significant effect on science learning achievement of students who were taught by using Word Square learning model based on Tri Kaya Parisudha and who were not taught by using Word Square learning model based on Tri Kaya Parisudha in the fifth grade students at SDN Gugus 6 Sutasoma Kubutambahan Sub-District in accademic year 2017/2018. This study was a quasi-experimental research. The population of this study was the 141 students of fifth grade students at SDN Gugus 6 Sutasoma Kubutambahan Sub-district. The research sample were 14 students of the fifth grade students at SD Negeri 5 Tajun and 16 students of the fifth grade students in SD Negeri 6 Tajun. The data were collected by using test method, the instrument was science learning achievement test and used in the form of multiple choice test. The obtained data were analyzed by using descriptive statistical analysis techniques and inferential statistical analysis which was t-test. The average value of the two classes, namely the experimental group was 23.64 while the control group was 16.25. The result of data analysis showed that thitung = 5.28> ttable = 2.048. Based on the results of this study,  it can be concluded that there was an effect of Word Square-learning model based on Tri Kaya Parisudha on students’ science learning achievement of the fifth grade students at SDN Gugus 6 Sutasoma Kubutambahan Sub-district in academic year 2017/2018.


2015 ◽  
Vol 724 ◽  
pp. 327-333
Author(s):  
Yu Zhu Zhang ◽  
Yi Gang He ◽  
Li Fen Yuan ◽  
Mao Xu Liu

NoC is a expand for SoC.The architecture of NoC is huge and complex,it leads to the crosstalk fault between internal transmission of NoC increasingly serious. Crosstalk serious impact on the signal integrity of on-chip system.A new test codes generator was designed by PSpice simulation software based on improved HT model. The generator was composed of a 16-bit counter and a 16-bit data selector.The generator was tested by PSpice software,the result showed that it satisfied the test requirements and had the advantage of portable. A crossstalk test method was proposed in this paper,we used this method on a test circuit,the result showed that the method could reduce the number of tests and save resource effectively.


Sign in / Sign up

Export Citation Format

Share Document