Filters








4,159,497 Hits in 7.5 sec

Model-based testing in practice

S. R. Dalal, A. Jain, N. Karunanithi, J. M. Leaton, C. M. Lott, G. C. Patton, B. M. Horowitz
1999 Proceedings of the 21st international conference on Software engineering - ICSE '99  
Based on the four projects, we offer our insights into what works in practice and our thoughts about obstacles to transferring this technology into testing organizations.  ...  Model-based testing is a new and evolving technique for generating a suite of test cases from requirements.  ...  Four large-scale applications of model-based testing are presented in Section 4. Finally, we offer some lessons learned about what works and does not work in practice in Section 5.  ... 
doi:10.1145/302405.302640 dblp:conf/icse/DalalJKLLPH99 fatcat:jes6yokdmzbjfbxeexlrolhumm

Model Based Testing in Practice at Microsoft

Keith Stobie
2005 Electronical Notes in Theoretical Computer Science  
One approach being extensively investigated and used is Model Based Testing.  ...  With a Finite State Machine modeling tool (TMT) successfully deployed and in use by many test groups, a need for more powerful and flexible modeling has arisen.  ...  Gurevich, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes) and many testers within the Indigo test team, especially Sara Wong.  ... 
doi:10.1016/j.entcs.2004.12.004 fatcat:hlmwbsluzvfi3m3pyhpsgsy57q

Using Evidence Based Practice in LIS Education: Results of a Test of a Communities of Practice Model

Joyce Yukawa
2010 Evidence Based Library and Information Practice  
a conceptual framework to guide evidence -based practice.  ...  Further testing and refinement of the model in other contexts and by other educators are needed to ensure that the model is robust and broadly applicable.  ...  The model was iteratively tested and refined during implementation.  ... 
doi:10.18438/b8m04v fatcat:isjhh2tmpbd6fdhckpbqiw7a34

Modelling Dynamic Memory Management in Constraint-Based Testing

Florence Charreteur, Bernard Botella, Arnaud Gotlieb
2007 Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007)  
In this paper, we address this problem by proposing a new constraint model of C programs based on operators that model dynamic memory management.  ...  Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques.  ...  As a result, this constraint model allows us to implement goal-oriented test data generation in a constraint-based approach.  ... 
doi:10.1109/taic.part.2007.22 fatcat:fn36swfrkfgedoc5f6xq2mf2he

A practical model-based statistical approach for generating functional test cases: application in the automotive industry

Roy Awedikian, Bernard Yannou
2012 Software testing, verification & reliability  
models, Model-Based specifications).  ...  title: A practical model-based statistical approach for generating functional test cases: application in the automotive industry Authors: Roy AWEDIKIAN (Corresponding Author) Affiliation 1 : (  ... 
doi:10.1002/stvr.1479 fatcat:2lrwm2dzazc6dnhlzlk5ao2oay

Modelling Dynamic Memory Management in Constraint-Based Testing

Florence Charreteur, Bernard Botella, Arnaud Gotlieb
2007 Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007)  
In this paper, we address this problem by proposing a new constraint model of C programs based on operators that model dynamic memory management.  ...  Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques.  ...  As a result, this constraint model allows us to implement goal-oriented test data generation in a constraint-based approach.  ... 
doi:10.1109/taicpart.2007.4344106 fatcat:j7jniycyxnahbg52t7tnly3npq

Development and testing of an evidence-based model of mentoring nursing students in clinical practice

Kristina Mikkonen, Marco Tomietto, Giancarlo Cicolini, Boris Miha Kaucic, Bojana Filej, Olga Riklikiene, Erika Juskauskiene, Flores Vizcaya-Moreno, Rosa M. Pérez-Cañaveras, Paul De Raeve, Maria Kääriäinen
2020 Nurse Education Today  
This study aimed to develop and test an evidence-based model of mentoring nursing students in clinical practice.  ...  In summary: mentors' characteristics related to their motivation and reflection are positively related to mentoring practices in the workplace, which (together with constructive feedback) are positively  ...  Evidence-based model of mentoring in clinical practice of nursing students All the postulated hypotheses were confirmed and all parameters in the model were significant (p<0.01) (Figure 2 and Table  ... 
doi:10.1016/j.nedt.2019.104272 pmid:31785572 fatcat:qbxc7gn4uvaz5h4zp7vdo4mhuy

Improving model-based testing in automotive software engineering

Stefan Kriebel, Johannes Richenhagen, Matthias Markthaler, Karin Samira Salman, Timo Greifenberg, Steffen Hillemacher, Bernhard Rumpe, Christoph Schulze, Andreas Wortmann, Philipp Orth
2018 Proceedings of the 40th International Conference on Software Engineering Software Engineering in Practice - ICSE-SEIP '18  
Model-based development can reduce the test case derivation effort by capturing requirements in structured models from which test cases can be generated with reduced effort.  ...  To facilitate the automated test case derivation at BMW, we conducted an anonymous survey among its testing practitioners and conceived a model-based improvement of the testing activities.  ...  Practice Similar challenges are being addressed successfully in other domains through model-based development [7] and model-based testing [5] (MBT), which aims at leveraging more abstract, domainspecific  ... 
doi:10.1145/3183519.3183533 dblp:conf/icse/KriebelMSGHRSWO18 fatcat:cx3ri3iwkva27btqnvont246zi

Can changing referral patterns based on ACC/AHA practice guidelines for coronary angiography be measured? Validation of a decision analysis model of test appropriateness in coronary artery disease patients

D.Douglas Miller, Edward J. Dougherty, Debra E. Messinger
2003 Journal of the American College of Cardiology  
deaths. traditional lipid profiles in clinical practice, we are not aware of studies on the impact of the availability of lipoprotein subclass tests oh the process of care.  ...  We tested whether pravastatin and aspihn have additive benefits in the two large trials (LIPID and CARE).  ... 
doi:10.1016/s0735-1097(03)82828-0 fatcat:thblw2rgandl7pfabvfikitirm

Generation of tests of various complexity levels in e-learning system based on educational text formalization model // Modern Aspects of Software Development: Proceedings of VI International Scientific and Practical Virtual Conference of Software Development Specialists, June, 24 2019 р. – Kyiv: Igor Sikorsky KPI, 2019. – pp. 121- 133 [article]

V. Nerodenko, S. Tytenko
2021 figshare.com  
The most common way of testing knowledge in educational systems is testing. A significant amount of research in the field of testing knowledge focuses on quality and validity of tests [1].  ...  Therefore the presented method greatly complicates the previous formalization of didactic text in comparison with the basic model of CTM and requires a large number of homogeneous language constructs in  ...  When passing a test based on Low complexity model, the results of testing in the majority corresponded to a score of 90%. At the Middle level -75%, while on Hard -65%.  ... 
doi:10.6084/m9.figshare.16814782.v1 fatcat:vkvlgswusbbs3pijavkyyfupsq

10421 Summary – Model-Based Testing in Practice

Wolfgang Grieskamp, Robert M. Hierons, Alexander Pretschner
2011
the adoption in practice.  ...  Model-based testing (MBT) has matured as a rich research area in the last decade, with a significant body of research and applications.  ...  -Challenge 9: Model based testing of non-functional properties: Most theory, methods, and tools for model-based testing have been devoted to testing of functionality.  ... 
doi:10.4230/dagsemproc.10421.2 fatcat:7ax6yvsym5gcro5dukbx7axn5e

Best Practices for Verification, Validation, and Test in Model-Based Design

Brett Murphy, Amory Wakefield, Jon Friedman
2008 SAE Technical Paper Series   unpublished
This paper presents best practices in verification, validation, and test that are applicable to any program, but are critical when applying Model-Based Design in production programs.  ...  The demands of production programs drive an even greater need for tools and practices that enable automation and rigor in the area of verification, validation, and test.  ...  A best practice in VV&T for Model-Based Design is to develop model tests with the design.  ... 
doi:10.4271/2008-01-1469 fatcat:mrttjkv6mvhghnt2vsbdoavjhq

Software Testing Process Models Benefits & Drawbacks: a Systematic Literature Review [article]

Katarína Hrabovská, Bruno Rossi, Tomáš Pitner
2019 arXiv   pre-print
Results: From 35 primary studies and survey-based articles, we collected 17 testing models.  ...  We focus on characteristics such as the context of use, practices applied in different testing process phases, and reported benefits & drawbacks.  ...  -Content-based models describe different testing practices in detail without pre-defined paths for the improvement process in the form of different maturity levels [74] .  ... 
arXiv:1901.01450v1 fatcat:hbfl7wr6xzghffpxjpme7on4sm

The Effectiveness of Smart Learning Based on Expert Systems in Cryptography Courses

Mochammad Iswan, M. Syaifuddin, Rian Farta Wijaya
2021 JURNAL TEKNOLOGI DAN OPEN SOURCE  
Product validation by experts, practicality tests carried out by users and effectiveness tests with student learning outcomes.  ...  Based on the results of data analysis, the results of this study are: 1) Research has successfully developed a project-based blended learning model in Cryptography courses. 2) The developed learning model  ...  Practicality tests by lecturers include practicality tests of project-based blended learning models, teaching guides and teaching modules.  ... 
doi:10.36378/jtos.v4i2.1795 fatcat:bo5gz67l4vhj3ja3shjhmqj56i

Practical Learning Model Assisted by Mobile Workshop for Enhancing Practical Skills and Entrepreneurial Spirit for Prospective Vocational High School Graduates

Faizal Fakhri, Hadromi Hadromi, Dwi Widjanarko
2018 Journal of vocational and career education  
The problem revealed in this practical learning model developing assisted by mobile workshops research is to find out the validity, practicality and effectiveness of the learning model assisted by mobile  ...  Based on the assessment of effectiveness using the t test for a 95% significance level obtained the probability value / p value of the test t paired is 0,000 < 0,05.  ...  Acknowledgments to the coordinator of the Vocational Education study program, Sultan Fattah Demak Principal and Vocational Teacher, expert validate and thesis testing team and editor of the UNNES Postgraduate  ... 
doi:10.15294/jvce.v3i2.16704 fatcat:dzpjutk7lrcfxp7l2hfec6qc3m
« Previous Showing results 1 — 15 out of 4,159,497 results