Skip to content

Glossary

Formal Testing

Initializing search

Glossary

1
1
1
- 1
- 100 Mbps---Fast Ethernet
5
5
- 5
- 5ESS
- 5G
8
8
A
A
- A-law
- AA
- AAC
- AAL1
- AAL2
- AAL5
- AD
- ADSL
- AES
- AIS
- ALCAP
- AMP
- AMR-NB
- AMR-WB
- ANDSF
- ANSI
- AOP
- API
- APN
- ARP spoofing
- ASCII
- ASN.1
- ATDD
- ATM
- AWS
- Acceptance Test
- Acceptance Testing
- Activity Model
- Activity
- Ad Hoc Testing
- Ada
- Agent
- Agile Manifesto
- Agile development
- Agile
- Amazon EC2
- Analogy Estimation
- Android
- Antipattern
- Anycast
- Architecture
- Artifact
- Assessment
- Audio Codecs
- Audit
- Author
- Authority
- Automated Build
- Automated Testing
- Awk
- Azure
- A
- Authoritative Answer
B
B
- B2B
- B2C
- BASIC
- BAU
- BDD
- BER
- BGCF
- BGP
- BNF
- BNG
- BOOTP
- BPEL
- BPMN
- BRAS
- BSC
- BSS
- BT 21CN
- BTNUP
- BTS
- BYOD
- Backhaul
- Backlog Grooming
- Backlog
- Bandwidth
- Baseline
- Bash
- Bench Test
- Best Practice Description
- Best Practice
- Bjarne Stroustrup
- Black-Box Testing
- Bluetooth
- Boston Matrix
- Bottom-Up Estimation
- Broadcast
- Build Environment
- Build Machine
- Build
- Burndown Chart
- Burst
- Business Agility Ownership
- Business Requirement
- Business Schedule
- B
- bug
- build tool
C
C
- C Language
- C#
- C++
- C-Tag
- CA
- CAM Item
- CAMEL
- CAP
- CCITT
- CCS
- CCTA
- CDMA
- CDMA2000
- CDR
- CE
- CER
- CESG
- CFi
- CGI
- CHAP
- CLF
- CMDB
- CNG
- COFDM
- COLO
- COTS
- CPE
- CPM
- CPS
- CRC Cards
- CRC
- CSCF
- CSI
- CSMA
- CSS
- CUE
- CVSD
- Cacti
- Cadence
- Calendar Days
- Camel Case
- Capability Maturity Model
- Cat 5
- Cat 5e
- Cat 6
- Ceremonies
- Change Control Board
- Change Control Plan
- Change Control
- Change Management
- Change Request
- Chrome OS
- Circuit Switched
- Class 4 Softswitch
- Class 5 Softswitch
- Class Model
- CoE
- CoS
- Cobol
- Code and Fix Lifecycle
- Codecs
- Coding Standard
- Coding
- Collaboration Model
- Collaborative Construction
- Collective code ownership
- Compatibility Test
- Compiled Language
- Compiler Back end
- Compiler Front end
- Compiler Middle end
- Compiler preprocessor
- Complier
- Component Test
- Component
- Cone of Uncertainty
- Configuration Item
- Configuration Management
- Configuration Test
- Construction Environment
- Construction Lead
- Construction Standard
- Construction Test Environment
- Construction Testing
- Construction
- Construx Knowledge Area
- Continuous Deployment
- Control Plane
- Copyleft
- Corrective Activity Management
- C
- Customer Development
- C
- Continuous Integration
- csh
D
D
- DAD
- DASS1
- DASS2
- DCE
- DDK
- DDOS
- DER
- DES
- DHCP
- DLE
- DLP
- DMZ
- DN
- DNB
- DNS - A
- DNS - AAAA
- DNS - CNAME
- DNS - DNAME
- DNS - SRV
- DNS - TXT
- DNS Spoofing
- DNS
- DP
- DPI
- DPNSS
- DQ
- DSCP
- DSDM
- DSL
- DSLAM
- DTE
- DTMF
- DTT
- DTV
- DVSR
- Daily Meeting
- Daily Scrum
- Dark Fibre
- Data Plane
- Database Lead
- Date Warehouse
- Decomposition Estimation
- Defect Management
- Defect Report
- Defect
- Definition of Done
- Definition of Ready
- Deliverable
- Deplhi
- Deployment Lead
- Deployment Plan
- Deployment
- Design Lead
- Design Pattern
- Design to Tools
- Design
- Desk Check
- Detailed Design
- Detailed Schedule
- DevOps
- Developer Integration Test
- Developer
- Diagram
- Docker
- Document Collaboration
- Domain Name
- Dot1Q trunking
- Dot1Q
- Downstream
- Draft
- Duplex
- D
- data modeling
- Development Environment
- development process
- .NET
- driver
E
E
F
F
- FCS
- FDDI
- FIPS 140-2
- FIPS
- FNA
- FQDN
- FSK
- FTP
- FTPS
- FXO
- FXS
- Facilitation
- Feature Test
- Feature
- FemtoCell
- Firewall
- Formal Testing
- Fortran
- Forwarding plane
- Frame Relay
- Frequent Releases
- Frequently Asked Question
- Full duplex
- Function Point
- Functional Requirement
- Functional Testing
- Fuzzy Front End
- Fuzzy Logic
- F
- feature creep
G
G
- G.711.1
- G.711
- G.719
- G.722
- G.723.1
- G.726
- G.729
- G.Fast
- GBE / GE
- GCHQ
- GERAN
- GGSN
- GMSC
- GNU
- GPL
- GPRS
- GSM AMR
- GSM-FR
- GSM-R
- GSM
- GSN
- Gantt chart
- Gate Checklist
- Gate
- Geocast
- Gherkin
- Gigabit Ethernet
- Git
- Given When Then
- Go
- GoF
- Goals
- Google Cloud Platform
- The first example has two steps
- The second example has three steps
- G
- gap analysis
H
H
- H.248
- H.323
- HDF
- HDLC
- HDSL
- HLR
- HSRP
- HSS
- HTTP
- HTTPS
- Half Duplex
- Happy Path
- Hash Function
- Heartbeat Retrospective
- HiFi Prototype
- High Fidelity Prototype
- High Level Design
- Hotfix
- How Requirement
- How Well Requirement
- Hub
- Hungarian notation
- H
- human factors
I
I
- BRI
- IA
- ICE
- ICMP
- ICMPv6
- IDE
- IDQ
- IEC
- IEEE 802.1ah
- IEEE
- IETF
- IGMP
- IGP
- IGRP
- IIS
- IKE
- IMAP
- IMS
- IMSI
- IN
- INAP
- INVEST
- IOS cisco OS
- IPS
- IPSC
- IPSec
- IPTV
- IPv4
- IPv6
- ISDN
- ISDN2
- ISDN30
- ISO
- ISP
- ISUP
- ITIL
- ITU-T
- ITU
- IUP
- IVR
- IaaS
- Implementation Lead
- Implementation
- Implicit Change Control
- Implicit Risk Management
- Inch-Pebble
- Incremental Development
- Informal Review
- Informal Testing
- Information Radiators
- Ingress
- Inspection
- Inspector
- Institute of Electrical and Electronics Engineers
- Integrated Development Environment
- Integration Test
- Integration
- International Organization for Standardization
- Internet Protocol Suite
- Interpreted Language
- Intrinsic Risk Management
- Issue Management
- Issue tracker
- Issue
- Item
- Iteration
- Iterative Development
- PRI
- I
- iLBC
- iManager
- information architecture
- information design
J
J
- JSON-RPC
- JSON
- Java
- Javascript
- Jitter buffer
- Jitter
- Joint Application Development
- J
K
K
- K & R C
- K & R indent style
- K & R
- KDL
- KISS Principle
- KPI
- Kanban Board
- Kanban
- Kerberos
- Kernel
- Knowledge Management
- K
- ksh
L
L
- L1
- L2
- L2F
- L2S
- L2TP
- L2VPN
- L3VPN
- LAC
- LACP
- LAG
- LAN
- LANE
- LAS
- LCR
- LDAP
- LL
- LNS
- LPS
- LSP
- LSR
- LTE (4G)
- LTE and Mobile Internet
- LTS
- Latency
- Lawful intercept
- LeSS
- Lead Time
- Lean
- Leased Line
- Lifecycle
- Lines of Code
- Link
- Linux
- Lite
- LoFi Prototype
- Local Build
- Local Development Environment
- Local Loop
- Local Test Environment
- Low Fidelity Prototype
- Low Level Design
- Lua
- L
- lean programming
- lisp
M
M
- M2M
- MAC Address
- MAC Flooding
- MAC Spoofing
- MAC
- MAG
- MAN
- MANET
- MAP
- MAS
- MBMS
- MBORC
- MD5
- MDF
- MELP
- MGCF
- MGCP
- MGW
- MIB
- MIMO
- MME
- MMF
- MNC
- MOS
- MP3
- MPEG
- MPEG4
- MPF
- MPS
- MQTT
- MRF
- MRS
- MRTIE
- MSAN
- MSC
- MTP
- MTR
- MTU
- MVNE
- MVNO
- MVP
- Machine code
- Macro Estimation
- Maintenance Plan
- Maintenance
- Management Plane
- Management by Walking Around
- Manual Testing
- Material
- Mediation
- Metric
- Micro Estimation
- Microservice
- Microstone
- Mil-COTS
- Milestone Release
- Milestone Retrospective
- Milestone Schedule
- Milestone
- Miniature Milestone
- Mob Programming
- Mobile Cell
- Mobile Networks 2G/3G
- Mock Objects
- Model
- Modeling
- Moderator
- Multicast
- Multiplex
- Mutex
- Mutual Exclusion
- M
N
N
- NAPT
- NAS
- NAT
- NBAP
- NCSC
- NFS
- NGN
- NGWFQ
- NIST
- NNI
- NNTP
- NOC
- NPE
- NSS
- NTP
- NTS
- NTU
- NYB
- NaaS
- Native Risk Management
- Network Topologies
- Niko-niko Calendar
- NoSQL
- Node B
- Nominal Path
- Non-functional Requirement
- N
O
O
- ODF
- OFC
- OFDMA
- OO
- OPUS
- OS X
- OSA-FC
- OSPF
- OSS
- OTN
- Objective C
- Objectives
- Ofcom
- Operations Plan
- Out-of-order delivery
- Overlap Dialling
- O
P
P
- PAF
- PAP
- PCM
- PCP
- PCRF
- PCS
- PDCP
- PDH
- PDU
- PEAP
- PER
- PERT chart
- PGP
- PGW
- PHP
- PLL
- PNT
- POP
- POSIX
- POTS
- PPP
- PPPoE
- PPTP
- PRINCE2
- PSTN
- PTP
- PTT
- PVC
- PW
- PWFQ
- PaaS
- Packet Switched
- Pair Programming
- Parametric Estimation
- Pascal
- Pattern
- Pen testing
- Performance
- Perl
- Personas
- Perspective
- Phase
- Phased Estimation
- Planning Poker
- Planning and Tracking Lead
- Points
- Postmortem
- Preemption
- Preview
- Process Flow
- Process
- Product Owner
- Product Release
- Programming paradigm
- Progressive Elaboration
- Project Build
- Project Business Manager
- Project Charter
- Project Chartering
- Project Estimate
- Project Headlights
- Project History
- Project Log
- Project Management Body of Knowledge
- Project Management Institute
- Project Management
- Project Manager
- Project Plan
- Project Reviewer
- Project Sponsor
- Project
- Python (2.x & 3.x)
- P
- packet sniffing
- peer review
- polymorphism
- portability
- programming language
- pseudocode
Q
Q
- Q.931
- QA Lead
- QAM
- QSIG
- QoS
- Quality Assurance Plan
- Quality Assurance
- Quality Control
- Quality Plan
- Quality
- Quick Design Session
- Q
R
R
- R Language
- RACI
- RAD Environment
- RAD
- RAN
- RANAP
- RANCID
- RARP
- RAS
- RDBMS
- RDP
- REST
- RFC
- RIP
- RNC
- RNSAP
- RPC
- RRC
- RSTP
- RSVP
- RTCP
- RTOS
- RTP
- RTSP
- RUP
- Radius
- Rainbow
- Rapid Application Development
- Reading Inspection
- Reference
- Regular expression
- Relative Estimation
- Release Management
- Release Test
- Release
- Requirement
- Requirements Lead
- Requirements
- Review
- Reviewer
- Revision Control
- Revision
- Rework
- Risk Analysis
- Risk Identification
- Risk List
- Risk Management
- Risk Mitigation
- Risk Reward Matric
- Risk
- Role-feature-reason
- Rolling Wave Planning
- Round Robin
- Router
- Ruby on rails
- Ruby
- Rule of Simplicity
- R
- Refactoring
- regression testing
S
S
- S- Tag
- S-GW
- SAAL
- SAE
- SAFe
- SBC
- SC-FDMA
- SCCP
- SCM
- SCTP
- SDES
- SDH
- SDK
- SDLC
- SDMA
- SDN
- SDP
- SDSL
- SF
- SFTP
- SGML
- SGSN
- SGW
- SHA
- SIM
- SIMPLE
- SIP Trunk
- SIP
- SISO
- SLA
- SLIP
- SME
- SMP
- SMPF
- SMSC
- SNMP
- SNTP
- SOA
- SOAP
- SONET
- SPEEX
- SPI
- SQL
- SS7
- SSADM
- SSH
- SSID
- SSIS
- SSL
- STB
- STP
- STUN
- SVC
- SaaS
- Scala
- Scaled Agile
- Scenario
- Schedule
- Scheduler
- Scratch
- Scribe
- Scrum Master
- Scrum of Scrums
- Scrum
- Sed
- Semaphore
- Sematic Versioning
- Sequence Model
- Sh
- Shell Scripting
- Sidetone
- Sign Up
- Simple Design
- Simplex
- Single Step Test
- Skew
- Smoke Test
- Snake Case
- SoGEA
- Softswitch
- Software Change Request
- Software Configuration Management
- Software Development Plan
- Software Engineering Body of Knowledge
- Software Engineering Lab
- Software Engineering Process Group
- Software Requirements Specification
- Source Code
- Spiral Lifecycle
- Sponsor
- Sprial Model
- Sprint Planning
- Sprint retrospective
- Sprints
- Stack
- Staff Days
- Stage
- Staged Delivery Lifecycle
- Stakeholder
- Standard
- Statistical Estimation
- Story Mapping
- Story Splitting
- Storyboard
- Strategy
- Subversion
- Sustainable Pace
- Swift
- Switch
- System Test Environment
- System Test
- System
- SystemX
- S
- smoke testing
T
T
- T-Shirt Sizing
- TCAP
- TCP
- TDD
- TDM
- TIA
- TKIP
- TLS
- TLV
- TOML
- TTY
- TUP
- Task Board
- Task Estimate
- Task
- Tcl/tk
- Tcsh
- Team Room
- Team
- Technical Debt
- Template
- Test Activity
- Test Case Specification
- Test Case
- Test Design Specification
- Test Design
- Test Level
- Test Plan
- Test Technique
- Test Type
- Test
- Testing
- Three Amigos
- Three C's
- Three Questions
- Timebox
- Token Ring
- Top Level Schedule
- Top-Down Estimation
- Triple DES
- Twisted pair
- T
U
U
- UA
- UDP
- UER
- UML
- UMTS
- UNI
- URI
- URL
- URN
- UTC
- UTF-16
- UTF-8
- UTRAN
- Ubiquitous Language
- Unicode
- Unified Communications
- Unified Modeling Language
- Unit Test
- Unit Testing
- Unix
- Update
- Upstream
- Usability Testing
- Use Case Model
- Use Case Specification
- Use Case
- User Experience
- User Interface Design
- User Interface Prototype
- User Interface
- User Plane
- User Stories
- U
- unicast
V
V
- V Model
- V.90
- V.92
- VAD
- VB
- VBS
- VC
- VCI
- VCID
- VDSL
- VHDL
- VISP
- VLAN
- VLR
- VM
- VOD
- VPI
- VPLS
- VPN
- VPWS
- VRF
- Velocity
- Verifier
- Version Control
- Version
- VoIP
- VoLTE
- Vorbis
- V
W
W
- W-CDMA
- W3C
- WAN
- WANET
- WAP
- WBC
- WBCC
- WBMC
- WEP
- WIN-T
- WISP
- WLR
- WMA
- WPA2
- WPS
- WS-BPEL
- WSDL
- Walkthrough
- Waterfall Lifecycle
- Waterfall
- Weekly Individual Plan
- What Requirement
- Why Requirement
- Wi-Fi
- WiMAX
- Wiki
- Wireless Mesh Network
- Wireless Repeater
- Wireshark
- Work Breakdown Structure
- Work Item
- Work Package
- Work Plan
- Work Product
- W
- write-only code
X
X
- X.25
- X.509
- XML Schema
- XML-RPC
- XML
- XMPP
- XP
- XSS
- X
- xsd
Y
Y
- YAML
- Y
Z
Z
- ZigBee
- Z
Μ
Μ
- μ-law
- μ

Formal Testing¶

Execution of testing using documented test cases. Compare to informal testing.

Made with Material for MkDocs