Functional Testing of Java Programs

Author(s):  
Clara Benac Earle ◽  
Lars-Åke Fredlund
2018 ◽  
Vol 6 (9) ◽  
pp. 457-461
Author(s):  
Pooja Kapila ◽  
A. Sharma ◽  
N. Kaur
Keyword(s):  

2011 ◽  
Vol 37 (1) ◽  
pp. 79-86
Author(s):  
Ming-Xia WANG ◽  
Xiang GAO ◽  
Qi-Jiao CHEN ◽  
Jian DONG ◽  
Wan-Chun ZHAO ◽  
...  

2019 ◽  
pp. 38-42
Author(s):  
S. Yu. Strakhov ◽  
A. A. Karasev

Authors explore issue of applicability of the methodology of building diagnostic software using network formal models in the functional testing of electronic equipment as part of complex technical systems. Using methods of system analysis allows to perform a decomposition of interdependent subsystems and to reveal basic acts of interaction between the control‑verification equipment and the object of diagnosis. Mathematical apparatus of Petri nets should be employed for the formalized description of such acts and determined the cause‑and‑effect relations in the diagnosed complex system`s processes. Network models properties studying (such as safety and accomplishment of the final positions) allows us to move to the test object`s algorithm`s developing. The article presents an approach of a formalized description for basic acts of interaction between the diagnosis system and the object.


Author(s):  
Lom Messan Hillah ◽  
Ariele-Paolo Maesano ◽  
Libero Maesano ◽  
Fabio De Rosa ◽  
Fabrice Kordon ◽  
...  

2006 ◽  
Vol 41 (5) ◽  
pp. 21-29 ◽  
Author(s):  
Sewon Moon ◽  
Byeong-Mo Chang

Sign in / Sign up

Export Citation Format

Share Document