Journal Article10.1016/J.JSS.2007.05.036
A relation-based method combining functional and structural testing for test case generation
Shaoying Liu,Yuting Chen +1 more
32
TL;DR: A relation-based test method is described that combines the specification-based and the implementation-based testing approaches, establishing a set of relations for test case generation, and investigating the effectiveness and weakness of the method through an experiment on testing a software tool system.
read more
About: This article is published in Journal of Systems and Software. The article was published on 01 Feb 2008. The article focuses on the topics: White-box testing & Non-regression testing.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Black box and white box testing techniques -a literature review
Srinivas Nidhra,Jagruthi Dondeti +1 more
- 30 Jun 2012
TL;DR: This paper conducted a literature study on all testing techniques together that are related to both Black and White box testing techniques, moreover it assumes a case situation of Insurance premium calculation for driver and derives the test cases and test data for white box testing methods.
A Unified Model Checking Approach with Projection Temporal Logic
Zhenhua Duan,Cong Tian +1 more
- 27 Oct 2008
TL;DR: A unified model checking approach with Projection Temporal Logic (PTL) based on Normal Form Graphs (NFGs) is presented, and a Modeling, Simulation and Verification Language (MSVL) is defined based on PTL.
75
Formal Specification-Based Inspection for Verification of Programs
TL;DR: The result shows that the method may be more effective in detecting function-related defects than PBR but slightly less effective in Detecting implementation- related defects.
48
Complexity of propositional projection temporal logic with star
Cong Tian,Zhenhua Duan +1 more
TL;DR: The lower bound of the complexity for the satisfiability of PPTL* formulas is proved to be non-elementary, and a decision algorithm for checking the satisfiable formulas is formalised using LNFGs.
42
A Novel Approach to Modeling and Verifying Real-Time Systems for High Reliability
TL;DR: The unified model checking approach to verifying real-time systems via dynamical program execution is implemented and a timed modeling, simulation, and verification language (TMSVL) for real- time systems is defined.
23
References
•Book
Using Z: Specification, Refinement, and Proof
Jim Woodcock,Jim Davies +1 more
- 01 Jan 1996
TL;DR: The book discusses data Refinement, Relaxing and Unwinding Data Refinement and Z, and the importance of Equality and Definite Description in the application of data refinement.
1.2K
Software testing techniques
P. David Coward
- 01 Jan 1990
TL;DR: This chapter discusses the different aspects of software testing techniques and an important component of functional testing is an oracle, which treats the program as a box with its contents hidden from view.
1.1K
Model-based testing in practice
Siddhartha R. Dalal,Ashish Jain,N. Karunanithi,J. M. Leaton,C. M. Lott,Gardner C. Patton,B. M. Horowitz +6 more
- 16 May 1999
TL;DR: Four case studies presented here offer details and results of applying combinatorial test-generation techniques on a large scale to diverse applications and their insights into what works in practice and thoughts about obstacles to transferring this technology into testing organizations.
544
Software testing based on formal specifications: a theory and a tool
TL;DR: The paper presents the actual procedures used to mechanically produce such test sets, using Horn clause logic, embedded in an interactive system which, given some general hypotheses schemes and an algebraic specification, produces a test set and the corresponding hypotheses.
Model Based Testing
Larry Apfelbaum,John Doyle +1 more
- 01 Jan 1997
TL;DR: This paper will focus on the testing benefits and review some of the historical challenges that prevented model based testing and present the solutions that overcame these challenges.
Related Papers (5)
A.J. Offutt,Yiwei Xiong,Shaoying Liu +2 more
- 18 Oct 1999
Muhammad Farhan Bashir,S.H.K. Banuri +1 more
- 01 Oct 2008